rustc::middle::typeck::infer

Modules

coercion combine doc error_reporting glb lattice lub region_inference resolve sub test unify

Structs

Bounds CombinedSnapshot InferCtxt TypeTrace

Traits

CresCompare ToUres then

Functions

can_mk_subty common_supertype fixup_err_to_str fold_regions_in_sig mk_coercety mk_eqty mk_sub_trait_refs mk_subr mk_subty new_infer_ctxt resolve_region resolve_type uok

rustc::middle::typeck::infer::ures [src]

type ures = cres<()>;

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 (or str), enum, trait, typedef (or tdef).