1
Fork 0

Simplify some redundant field names

This commit is contained in:
Michael Goulet 2024-08-21 01:29:52 -04:00
parent 636d7ff91b
commit 0b2525c787
16 changed files with 19 additions and 30 deletions

View file

@ -316,7 +316,7 @@ pub fn transform_instance<'tcx>(
.drop_trait()
.unwrap_or_else(|| bug!("typeid_for_instance: couldn't get drop_trait lang item"));
let predicate = ty::ExistentialPredicate::Trait(ty::ExistentialTraitRef {
def_id: def_id,
def_id,
args: List::empty(),
});
let predicates = tcx.mk_poly_existential_predicates(&[ty::Binder::dummy(predicate)]);