Use trait selection to narrow down virtual method calls

[nrc]

See rust-lang/rust#26783, which does something similar-ish for lints

[eddyb]

I would not use the word "virtual", since they are still static dispatch, but usually only monomorphization cares about the actual implementation.