Here's how it works in Rust. You can imagine this working in Java with reified generics: https://gist.github.com/rust-play/214adf5bd15b18ec2d5c63d97f....

You know in this specific example, but not always. You could also do it in generic method where the collection type is parameterized.