Code

tag/niche terminology cleanup#72497

Code

Merged

bors merged 3 commits intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:tag-termRalfJung/rust:tag-termCopy head branch name to clipboard

Jun 19, 2020

Commits

Commits on May 30, 2020

• tag/niche terminology cleanup

  RalfJung

  committed
  f7d745f

  Copy full SHA for f7d745f

• miri errors: rename InvalidDiscriminant -> InvalidTag

  RalfJung

  committed
  7a6d03c

  Copy full SHA for 7a6d03c

Commits on Jun 15, 2020

• add FIXME to EnumTagInfo

  RalfJung

  committed
  10c8d2a

  Copy full SHA for 10c8d2a