Function 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.