Code

Rollup of 5 pull requests#99184

Code

Closed

Dylan-DPC wants to merge 22 commits intorust-lang:masterrust-lang/rust:masterfrom

Dylan-DPC:rollup-l6brpeoDylan-DPC/rust:rollup-l6brpeoCopy head branch name to clipboard

Commits

Commits on Jul 9, 2022

• Use constant eval to do strict validity checks

  5225225

  committed
  b361638

  Copy full SHA for b361638

• All init checks go through rustc_const_eval, cleanup

  5225225

  committed
  c84cfa4

  Copy full SHA for c84cfa4

• Adjust docs on old might_permit_raw_init, cleanup

  5225225

  committed
  ab4a80e

  Copy full SHA for ab4a80e

• Cleanup, move might_permit_raw_init to own file

  5225225

  committed
  b398fa5

  Copy full SHA for b398fa5

Commits on Jul 10, 2022

• Add some autolabels for A-bootstrap and T-infra

  jyn514

  committed
  bfb3afe

  Copy full SHA for bfb3afe

Commits on Jul 11, 2022

• Cleanup not needed arguments

  5225225

  committed
  b7c1868

  Copy full SHA for b7c1868

• Add test for uninit value with validity invariant in array

  5225225

  committed
  236c7c0

  Copy full SHA for 236c7c0

• factor 'is this type allowed as union field on stable' into separate function

  RalfJung

  committed
  b608043

  Copy full SHA for b608043

• allow unions with mutable references and tuples of allowed types

  RalfJung

  committed
  55a1ccf

  Copy full SHA for 55a1ccf

• also allow arrays of allowed types

  RalfJung

  committed
  cafbd73

  Copy full SHA for cafbd73

• remove untagged_union feature gate

  RalfJung

  committed
  1401396

  Copy full SHA for 1401396

• assigning to a union field can never drop now

  RalfJung

  committed
  1cf6f5c

  Copy full SHA for 1cf6f5c

• add array tests, cleanup, tidy, and bless

  RalfJung

  committed
  7a24f8e

  Copy full SHA for 7a24f8e

Commits on Jul 12, 2022

• check non_exhaustive attr and private fields for transparent types

  fee1-dead

  committed
  944c0e2

  Copy full SHA for 944c0e2

• add more tests

  fee1-dead

  committed
  e652147

  Copy full SHA for e652147

• fix documentation

  fee1-dead

  committed
  d812850

  Copy full SHA for d812850

• :arrow_up: rust-analyzer

  lnicola

  committed
  697dfb5

  Copy full SHA for 697dfb5

• Rollup merge of #97995 - RalfJung:union-more-nodrop, r=Mark-Simulacrum

  Show description for 4ef94c9
  Dylan-DPC

  authored
  4ef94c9

  Copy full SHA for 4ef94c9

• Rollup merge of #99020 - fee1-dead-contrib:repr_transparent_non_exhaustive, r=oli-obk

  Show description for 70408a0
  Dylan-DPC

  authored
  70408a0

  Copy full SHA for 70408a0

• Rollup merge of #99033 - 5225225:interpreter-validity-checks, r=oli-obk

  Show description for 224d9e5
  Dylan-DPC

  authored
  224d9e5

  Copy full SHA for 224d9e5

• Rollup merge of #99132 - jyn514:autolabel, r=Mark-Simulacrum

  Show description for 7de56f0
  Dylan-DPC

  authored
  7de56f0

  Copy full SHA for 7de56f0

• Rollup merge of #99176 - lnicola:rust-analyzer-2022-07-12, r=lnicola

  Show description for 9ef556f
  Dylan-DPC

  authored
  9ef556f

  Copy full SHA for 9ef556f