Type Definition rustc_infer::traits::query::CanonicalTypeOpProvePredicateGoal

pub type CanonicalTypeOpProvePredicateGoal<'tcx> = Canonical<'tcx, ParamEnvAnd<'tcx, ProvePredicate<'tcx>>>;