Function rustc_trait_selection::traits::wf::unnormalized_obligations
source ยท pub fn unnormalized_obligations<'tcx>(
infcx: &InferCtxt<'tcx>,
param_env: ParamEnv<'tcx>,
arg: GenericArg<'tcx>,
) -> Option<Vec<PredicateObligation<'tcx>>>
Expand description
Compute the predicates that are required for a type to be well-formed.
This is only intended to be used in the new solver, since it does not take into account recursion depth or proper error-reporting spans.