rustc_trans::middle::infer

Modules

coercion combine doc equate error_reporting glb lattice lub region_inference resolve sub type_variable unify

Structs

CombinedSnapshot InferCtxt TypeFreshener TypeTrace

Enums

IntVarValue LateBoundRegionConversionTime RegionVariableOrigin SubregionOrigin TypeOrigin ValuePairs fixup_err

Functions

can_mk_eqty can_mk_subty common_supertype fixup_err_to_string mk_coercety mk_eqty mk_sub_poly_trait_refs mk_subr mk_subty new_infer_ctxt uok verify_param_bound

Module rustc_trans::middle::infer::glbExperimental [-] [+] [src]

Structs

Glb	"Greatest lower bound" (common subtype)

Functions

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