Module rustc_mir::borrow_check::nll::type_check [−][src]
🔬 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?
This pass type-checks the MIR to ensure it is not broken.
Modules
constraint_conversion |
[ Experimental ]
|
free_region_relations |
[ Experimental ]
|
input_output |
[ Experimental ] This module contains code to equate the input/output types appearing
in the MIR with the expected input/output types from the function
signature. This requires a bit of processing, as the expected types
are supplied to us before normalization and may contain existential
|
liveness |
[ Experimental ]
|
relate_tys |
[ Experimental ]
|
Structs
BorrowCheckContext |
[ Experimental ]
|
MirTypeckRegionConstraints |
[ Experimental ] A collection of region constraints that must be satisfied for the program to be considered well-typed. |
TypeChecker |
[ Experimental ] The MIR type checker. Visits the MIR and enforces all the constraints needed for it to be valid and well-typed. Along the way, it accrues region constraints -- these can later be used by NLL region checking. |
TypeVerifier |
[ Experimental ] Verifies that MIR types are sane to not crash further checks. |
TypeckMir |
[ Experimental ]
|
Enums
FieldAccessError |
[ Experimental ]
|
Locations |
[ Experimental ] The |
Traits
AtLocation |
[ Experimental ]
|
NormalizeLocation |
[ Experimental ]
|
Functions
mirbug |
[ Experimental ]
|
type_check |
[ Experimental ] Type checks the given |
type_check_internal |
[ Experimental ]
|