Type Definition rustc_trait_selection::traits::CanonicalChalkEnvironmentAndGoal

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