Module rustc_const_eval::transform::check_consts::resolver [−][src]
Expand description
Propagate Qualifs between locals and query the results.
This contains the dataflow analysis used to track Qualifs on complex control-flow graphs.
Structs
The dataflow analysis used to propagate qualifs on arbitrary CFGs.
A Visitor that propagates qualifs between locals. This defines the transfer function of
FlowSensitiveAnalysis.