Code

Miri: basic dyn* support#107728

Code

Merged

bors merged 6 commits intorust-lang:masterrust-lang/rust:masterfrom RalfJung:miri-dyn-starRalfJung/rust:miri-dyn-starCopy head branch name to clipboardFeb 21, 2023

+320-85

Commits

Commits on Feb 20, 2023

• basic dyn* support for Miri

  RalfJung

  committed
  b2f5814

  Copy full SHA for b2f5814

• slightly beef up dyn-star-to-dyn test

  RalfJung

  committed
  57056d7

  Copy full SHA for 57056d7

• fix Stacked Borrows interaction with dyn*

  RalfJung

  committed
  ad6dd60

  Copy full SHA for ad6dd60

• Deduplicate some logic between dyn* and dyn

  oli-obk

  committed
  472059d

  Copy full SHA for 472059d

• Remove commented out code

  oli-obk

  committed
  82f1e34

  Copy full SHA for 82f1e34

• Revert most of the custom place computation, it was unnecessary.

  oli-obk

  committed
  054c76d

  Copy full SHA for 054c76d