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