Expand description

This calculates the types which has storage which lives across a suspension point in a generator from the perspective of typeck. The actual types used at runtime is calculated in rustc_mir_transform::generator and may be a subset of the types computed here.

Modules

Drop range analysis finds the portions of the tree where a value is guaranteed to be dropped (i.e. moved, uninitialized, etc.). This is used to exclude the types of those values from the generator type. See InteriorVisitor::record for where the results of this analysis are used.

Structs

Functions