Module rustc_const_eval::check_consts::resolver

source ยท
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.
  • State ๐Ÿ”’
  • TransferFunction ๐Ÿ”’
    A Visitor that propagates qualifs between locals. This defines the transfer function of FlowSensitiveAnalysis.