defin_ty_def_id -> definition_ty_def_id

This commit is contained in:
Santiago Pastorino 2021-06-08 16:45:44 -03:00
parent f07412db41
commit ecd78e985e
No known key found for this signature in database
GPG Key ID: 8131A24E0C79EFAF

View File

@ -503,13 +503,13 @@ impl<'cx, 'tcx> WritebackCx<'cx, 'tcx> {
let mut skip_add = false; let mut skip_add = false;
if let ty::Opaque(defin_ty_def_id, _substs) = *definition_ty.kind() { if let ty::Opaque(definition_ty_def_id, _substs) = *definition_ty.kind() {
if let hir::OpaqueTyOrigin::Misc | hir::OpaqueTyOrigin::TyAlias = opaque_defn.origin if let hir::OpaqueTyOrigin::Misc | hir::OpaqueTyOrigin::TyAlias = opaque_defn.origin
{ {
if def_id == defin_ty_def_id { if def_id == definition_ty_def_id {
debug!( debug!(
"skipping adding concrete definition for opaque type {:?} {:?}", "skipping adding concrete definition for opaque type {:?} {:?}",
opaque_defn, defin_ty_def_id opaque_defn, def_id
); );
skip_add = true; skip_add = true;
} }