Type Definition rustc_infer::traits::query::CanonicalTypeOpEqGoal

type CanonicalTypeOpEqGoal<'tcx> = Canonical<'tcx, ParamEnvAnd<'tcx, Eq<'tcx>>>;