Module rustc_hir_typeck::expr_use_visitor
source · Expand description
A different sort of visitor for walking fn bodies. Unlike the
normal visitor, which just walks the entire body in one shot, the
ExprUseVisitor
determines how expressions are being used.
Macros
- If the MC results in an error, it’s because the type check failed (or will fail, when the error is uncovered and reported during writeback). In this case, we just ignore this part of the code.
Structs
- The ExprUseVisitor type
- A
Place
represents how a value is located in memory. - A
PlaceWithHirId
represents how a value is located in memory.
Enums
Traits
- This trait defines the callbacks you can expect to receive when employing the ExprUseVisitor.