fn impl_trait_ref(tcx: TyCtxt<'_>, def_id: DefId) -> Option<TraitRef<'_>>