pub fn unnormalized_obligations<'tcx>(
infcx: &InferCtxt<'tcx>,
param_env: ParamEnv<'tcx>,
arg: GenericArg<'tcx>,
) -> Option<PredicateObligations<'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.