Type Definition rustc_middle::traits::CanonicalChalkEnvironmentAndGoal

type CanonicalChalkEnvironmentAndGoal<'tcx> = Canonical<'tcx, ChalkEnvironmentAndGoal<'tcx>>;