Type Definition rustc_infer::traits::query::CanonicalTyGoal

type CanonicalTyGoal<'tcx> = Canonical<'tcx, ParamEnvAnd<'tcx, &'tcx TyS<'tcx>>>;