Type Definition rustc_infer::traits::CanonicalChalkEnvironmentAndGoal

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