rust/src/test/ui/polymorphization/issue-74636.rs, branch 1.56.0https://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=1.56.02020-07-31T15:36:42+00:00interp: needs_subst -> ensure_monomorphic_enough2020-07-31T15:36:42+00:00David Wooddavid@davidtw.co2020-07-24T12:16:54+00:00urn:sha1:59e621c1969fb03c5d367e9c713c0279461e772f
This commit adds a `ensure_monomorphic_enough` utility function which
checks whether a type needs substitution, but only for parameters
that the `unused_generic_params` query considers used.
`ensure_monomorphic_enough` is then used throughout interpret where
`needs_subst` checks previously existed (in particular, for some
pointer casts and for reflection intrinsics more precise).
Signed-off-by: David Wood <david@davidtw.co>