Function rustc_trait_selection::traits::wf::unnormalized_obligations

pub fn unnormalized_obligations<'tcx>(
    infcx: &InferCtxt<'tcx>,
    param_env: ParamEnv<'tcx>,
    arg: GenericArg<'tcx>
) -> Option<Vec<PredicateObligation<'tcx>>>

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.