pub fn associated_type_for_impl_trait_in_trait<'tcx>( _: TyCtxt<'tcx>, opaque_ty_def_id: &Key<'tcx>, ) -> bool