Function rustc_infer::infer::outlives::test_type_match::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