Code

add const-ub RFC#3016

Code

Merged

pnkfelix merged 18 commits intorust-lang:masterrust-lang/rfcs:masterfrom RalfJung:const-ubRalfJung/rfcs:const-ubCopy head branch name to clipboardMay 4, 2021

+111

Commits

Commits on Nov 10, 2020

• add const-ub RFC

  RalfJung

  committed
  bb47320

• typos

  RalfJung

  committed
  656a14a

Commits on Nov 12, 2020

• be mroe clear about the lack of stability

  RalfJung

  committed
  40abf68

Commits on Nov 15, 2020

• future possibility: a flag to disable UB checking

  RalfJung

  committed
  2781683

• extend discussion of intrinsics and library UB

  RalfJung

  committed
  e78333a

• tweak wording

  RalfJung

  committed
  a7c3034

Commits on Feb 27, 2021

• some clarifications

  RalfJung

  committed
  5045d5f

• more precise wording

  RalfJung

  committed
  e1a29a7

Commits on Mar 6, 2021

• clarify

  RalfJung

  committed
  a90a538

Commits on Mar 13, 2021

• better language and further clarification

  RalfJung

  committed
  60bef15

Commits on Mar 16, 2021

• require implementations to document the 'obvious'

  RalfJung

  committed
  9eead86

Commits on Mar 28, 2021

• rewrite RFC: do not require UB detection

  RalfJung

  committed
  6e1739f

Commits on Mar 29, 2021

• Update text/0000-const-ub.md

  Show description for 7983e46
  

  RalfJung

  and

  oli-obk

  authored
  7983e46

• edits

  RalfJung

  committed
  b515180

Commits on Mar 30, 2021

• clarify that CTFE remains consistent

  RalfJung

  committed
  3e9cbb5

Commits on May 4, 2021

• move to final text location.

  pnkfelix

  committed
  b1734f8

• My understanding is that RFC 3016 is just codifying existing behavior.

  Show description for 54f7286
  pnkfelix

  committed
  54f7286

• add link to RFC PR itself.

  pnkfelix

  committed
  fcf400b