Type Definition rustc_infer::traits::query::CanonicalPredicateGoal

type CanonicalPredicateGoal<'tcx> = Canonical<'tcx, ParamEnvAnd<'tcx, Predicate<'tcx>>>;