[−][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 |
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 |
relate_type_and_user_type |
[ Experimental ] Adds sufficient constraints to ensure that |
sub_types |
[ Experimental ] Adds sufficient constraints to ensure that |