impl_header -> impl_subject

This commit is contained in:
Santiago Pastorino 2022-03-22 10:35:17 -03:00
parent 0cd03c917c
commit 64df2ee1eb
No known key found for this signature in database
GPG key ID: 8131A24E0C79EFAF
2 changed files with 2 additions and 2 deletions

View file

@ -307,7 +307,7 @@ fn negative_impl<'cx, 'tcx>(
// create a parameter environment corresponding to a (placeholder) instantiation of impl1
let impl1_env = tcx.param_env(impl1_def_id);
match tcx.impl_header(impl1_def_id) {
match tcx.impl_subject(impl1_def_id) {
ImplSubject::Trait(impl1_trait_ref) => {
// Normalize the trait reference. The WF rules ought to ensure
// that this always succeeds.