Type Definition rustc_middle::traits::ChalkCanonicalGoal

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