Code

coherence: fix is_knowable logic#46192

Code

Merged

bors merged 6 commits intorust-lang:masterrust-lang/rust:masterfrom arielb1:locally-coherentarielb1/rust:locally-coherentCopy head branch name to clipboardDec 6, 2017

+453-141

Commits

Commits on Dec 5, 2017

• improve treatment of local types in "remote coherence" mode

  arielb1

  committed
  38747dd

  Copy full SHA for 38747dd

• refactor a bit

  arielb1

  committed
  1271ea4

  Copy full SHA for 1271ea4

• convert the new conflicts to a soft error

  arielb1

  committed
  2614cc5

  Copy full SHA for 2614cc5

• improve error reporting

  arielb1

  committed
  9d38541

  Copy full SHA for 9d38541

• add a comment and assertion explaining everything

  arielb1

  committed
  1769c63

  Copy full SHA for 1769c63

• convert errors to warnings

  arielb1

  committed
  425c2c3

  Copy full SHA for 425c2c3