rustc_borrowck::polonius

Module dump

Source

Functions§

  • dump_polonius_mir 🔒
    -Zdump-mir=polonius dumps MIR annotated with NLL and polonius specific information.
  • emit_polonius_mir 🔒
    Produces the actual NLL + Polonius MIR sections to emit during the dumping process.