about summary refs log tree commit diff
path: root/src/test/ui/polymorphization/issue-74636.rs
AgeCommit message (Collapse)AuthorLines
2020-07-31interp: needs_subst -> ensure_monomorphic_enoughDavid Wood-0/+16
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>