Code

Fix negative overlap check regions#93652

Code

Merged

bors merged 9 commits intorust-lang:masterrust-lang/rust:masterfrom spastorino:fix-negative-overlap-check-regionsspastorino/rust:fix-negative-overlap-check-regionsCopy head branch name to clipboardFeb 14, 2022

+134-33

Commits

Commits on Feb 14, 2022

• Remove extra negative_impl_exists check

  spastorino

  committed
  4e83924

  Copy full SHA for 4e83924

• Move FIXME text to the right place

  spastorino

  committed
  74c4318

  Copy full SHA for 74c4318

• Add debug calls for negative impls in coherence

  spastorino

  committed
  b61e1bb

  Copy full SHA for b61e1bb

• Properly check regions on negative overlap check

  spastorino

  committed
  3fd89a6

  Copy full SHA for 3fd89a6

• Call the method fork instead of clone and add proper comments

  spastorino

  committed
  f4bb450

  Copy full SHA for f4bb450

• Add failing test that should pass

  spastorino

  committed
  ff11dfd

  Copy full SHA for ff11dfd

• Add comments about outlives_env

  spastorino

  committed
  45983fe

  Copy full SHA for 45983fe

• Inline loose_check fn on call site

  spastorino

  committed
  8c4ffaa

  Copy full SHA for 8c4ffaa

• reveal_defining_opaque_types field doesn't exist after rebase

  spastorino

  committed
  3c7fa0b

  Copy full SHA for 3c7fa0b