[][src]Module rustc_mir::borrow_check::nll::type_check::relate_tys

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Structs

BoundRegionScope [
Experimental
]
ScopeInstantiator [
Experimental
]

When we encounter a binder like for<..> fn(..), we actually have to walk the fn value to find all the values bound by the for (these are not explicitly present in the ty representation right now). This visitor handles that: it descends the type, tracking binder depth, and finds late-bound regions targeting the for<..>. For each of those, it creates an entry in bound_region_scope.

ScopesAndKind [
Experimental
]
TypeGeneralizer [
Experimental
]

The "type generalize" is used when handling inference variables.

TypeRelating [
Experimental
]
UniversallyQuantified [
Experimental
]

Functions

eq_types [
Experimental
]

Adds sufficient constraints to ensure that a == b.

relate_type_and_user_type [
Experimental
]

Adds sufficient constraints to ensure that a <: b, where b is a user-given type (which means it may have canonical variables encoding things like _).

sub_types [
Experimental
]

Adds sufficient constraints to ensure that a <: b.