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