Module rustc_const_eval::check_consts::resolver
source ยท Expand description
Propagate Qualif
s between locals and query the results.
This contains the dataflow analysis used to track Qualif
s on complex control-flow graphs.
Structsยง
- The dataflow analysis used to propagate qualifs on arbitrary CFGs.
- State ๐
- Transfer
Function ๐AVisitor
that propagates qualifs between locals. This defines the transfer function ofFlowSensitiveAnalysis
.