Code

Towards dynamic const-qualify#27

Code

Merged

RalfJung merged 10 commits intorust-lang:masterrust-lang/const-eval:masterfrom

RalfJung:const-qualifRalfJung/const-eval:const-qualifCopy head branch name to clipboard

Oct 11, 2019

Commits

Commits on Aug 25, 2019

• note on consts

  RalfJung

  committed
  a18aafc

  Copy full SHA for a18aafc

• notes on dynamic checks

  RalfJung

  committed
  a9c7047

  Copy full SHA for a9c7047

• link to the must-not-err RFC

  RalfJung

  committed
  50a1829

  Copy full SHA for 50a1829

Commits on Aug 27, 2019

• clarify

  RalfJung

  committed
  cbd7e7e

  Copy full SHA for cbd7e7e

• link const -> const_safety

  RalfJung

  committed
  53d0200

  Copy full SHA for 53d0200

• mention rustc_promotable attribute

  RalfJung

  committed
  7f8c81c

  Copy full SHA for 7f8c81c

• we are less strict in const bodies

  RalfJung

  committed
  87c3c87

  Copy full SHA for 87c3c87

• update status of interning-time const check

  RalfJung

  committed
  95acdf2

  Copy full SHA for 95acdf2

Commits on Oct 9, 2019

• const_vec_new has been stabilized

  RalfJung

  committed
  a29f147

  Copy full SHA for a29f147

Commits on Oct 11, 2019

• clarify promotion-in-consts

  RalfJung

  committed
  1d2b7b1

  Copy full SHA for 1d2b7b1