Type Definition rustc_infer::traits::query::CanonicalTypeOpAscribeUserTypeGoal

type CanonicalTypeOpAscribeUserTypeGoal<'tcx> = Canonical<'tcx, ParamEnvAnd<'tcx, AscribeUserType<'tcx>>>;