pub fn fully_normalize<'a, 'tcx, T>(infcx: &InferCtxt<'a, 'tcx>, closure_typer: &ClosureTyper<'tcx>, cause: ObligationCause<'tcx>, value: &T) -> Result<T, Vec<FulfillmentError<'tcx>>> where T: TypeFoldable<'tcx> + HasProjectionTypes + Clone + Repr<'tcx>
Keyboard shortcuts
- ?
- Show this help dialog
- S
- Focus the search field
- ⇤
- Move up in search results
- ⇥
- Move down in search results
- ⏎
- Go to active search result
Search tricks
Prefix searches with a type followed by a colon (e.g.
fn:) to restrict the search to a given type.
Accepted types are: fn, mod,
struct, enum,
trait, typedef (or
tdef).