trait_item_def_id -> trait_item_def_id()

Author: nilehmann

crates/flux-infer/src/projections.rs

@@ -223,7 +223,7 @@ impl<'a, 'infcx, 'genv, 'tcx> Normalizer<'a, 'infcx, 'genv, 'tcx> {
                 let assoc_type_id = tcx
                     .associated_items(impl_def_id)
                     .in_definition_order()
-                    .find(|item| item.trait_item_def_id == Some(obligation.def_id))
+                    .find(|item| item.trait_item_def_id() == Some(obligation.def_id))
                     .map(|item| item.def_id)
                     .ok_or_else(|| {
                         query_bug!("no associated type for {obligation:?} in impl {impl_def_id:?}")

crates/flux-refineck/src/checker.rs

@@ -400,7 +400,7 @@ fn find_trait_item(
         && let Some(impl_trait_ref) = genv.impl_trait_ref(impl_id)?
     {
         let impl_trait_ref = impl_trait_ref.instantiate_identity();
-        let trait_item_id = tcx.associated_item(def_id).trait_item_def_id.unwrap();
+        let trait_item_id = tcx.associated_item(def_id).trait_item_def_id().unwrap();
         return Ok(Some((impl_trait_ref, trait_item_id)));
     }
     Ok(None)