Code

Make borrowck use polonius output#51133

Code

Merged

bors merged 9 commits intorust-lang:masterrust-lang/rust:masterfrom spastorino:make_borrowck_use_outputspastorino/rust:make_borrowck_use_outputCopy head branch name to clipboardMay 29, 2018

+139-74

Commits

Commits on May 29, 2018

• bump polonius engine

  

  qmx

  authored and

  spastorino

  committed
  422fe7c

  Copy full SHA for 422fe7c

• expose -Zpolonius flag

  

  qmx

  authored and

  spastorino

  committed
  4f88283

  Copy full SHA for 4f88283

• it compiles, but we do not use the output yet

  

  qmx

  authored and

  spastorino

  committed
  b45aebf

  Copy full SHA for b45aebf

• store polonius output in MirBorrowCtx

  

  qmx

  authored and

  spastorino

  committed
  2cd09f2

  Copy full SHA for 2cd09f2

• store output in FlowState

  

  qmx

  authored and

  spastorino

  committed
  db39ec8

  Copy full SHA for db39ec8

• Use polonius_output

  spastorino

  committed
  9de4e34

  Copy full SHA for 9de4e34

• Run rustfmt

  spastorino

  committed
  a8b36c9

  Copy full SHA for a8b36c9

• Whitelist datafrog on tidy

  spastorino

  committed
  4c10a65

  Copy full SHA for 4c10a65

• WIP fix rustc-hash cargo.lock entry for polonius-engine

  nikomatsakis

  committed
  c3d6889

  Copy full SHA for c3d6889