Code

Adjust for ptr_op changes#856

Code

Merged

bors merged 5 commits intorust-lang:masterrust-lang/miri:masterfrom RalfJung:type_dispatch_firstRalfJung/miri:type_dispatch_firstCopy head branch name to clipboardAug 3, 2019

+29-224

Commits

Commits on Aug 3, 2019

• adjust for ptr_op now being called type-based

  RalfJung

  committed
  bb6a91d

  Copy full SHA for bb6a91d

• implement all ptr comparisons through integer casts

  RalfJung

  committed
  82da68c

  Copy full SHA for 82da68c

• remove some compile-fail tests that now work

  RalfJung

  committed
  773f6ae

  Copy full SHA for 773f6ae

• simplify code

  RalfJung

  committed
  61d8a4e

  Copy full SHA for 61d8a4e

• bump Rust

  RalfJung

  committed
  5efacf6

  Copy full SHA for 5efacf6