Type Definition rustc_infer::traits::ChalkCanonicalGoal

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