Function rustc::traits::fully_normalize
[−]
[src]
pub fn fully_normalize<'a, 'gcx, 'tcx, T>(infcx: &InferCtxt<'a, 'gcx, 'tcx>,
cause: ObligationCause<'tcx>,
value: &T)
-> Result<T, Vec<FulfillmentError<'tcx>>> where T: TypeFoldable<'tcx>
🔬 This is a nightly-only experimental API. (
rustc_private
)