rustc_infer::infer::outlives::test_type_match

Function can_match_erased_ty

Source 
pub(super) fn can_match_erased_ty<'tcx>(
    tcx: TyCtxt<'tcx>,
    outlives_predicate: Binder<'tcx, TypeOutlivesPredicate<'tcx>>,
    erased_ty: Ty<'tcx>,
) -> bool
Expand description

True if a (potentially higher-ranked) outlives