Code

Test raw-ptr-cast without reborrow#1163

Code

Merged

bors merged 4 commits intorust-lang:masterrust-lang/miri:masterfrom RalfJung:raw-castRalfJung/miri:raw-castCopy head branch name to clipboardJan 30, 2020

+18-16

Commits

Commits on Jan 30, 2020

• add test that relies on non-reborrowing-cast-to-raw

  RalfJung

  committed
  acd156d

  Copy full SHA for acd156d

• new compile-fail test involving non-reborrowing-cast-to-raw

  RalfJung

  committed
  e0adfe4

  Copy full SHA for e0adfe4

• remove inadequate comment

  RalfJung

  committed
  3cf413e

  Copy full SHA for 3cf413e

• update another comment

  RalfJung

  committed
  b2c9871

  Copy full SHA for b2c9871