Code

Implement RFC 3323: restrictions#106074

Code

Closed

jhpratt wants to merge 46 commits intorust-lang:masterrust-lang/rust:masterfrom

jhpratt:restrictionsjhpratt/rust:restrictionsCopy head branch name to clipboard

Commits

Commits on Jul 14, 2023

• Introduce `MonoItemData`.

  Show description for 54b5eae
  nnethercote

  committed
  54b5eae

  Copy full SHA for 54b5eae

• Store item size estimate in `MonoItemData`.

  Show description for 1159f43
  nnethercote

  committed
  1159f43

  Copy full SHA for 1159f43

• Ignore unreachable inlined items in `debug_dump`.

  Show description for 71bfc57
  nnethercote

  committed
  71bfc57

  Copy full SHA for 71bfc57

• Remove `instance_def_size_estimate` query.

  Show description for f4c4602
  nnethercote

  committed
  f4c4602

  Copy full SHA for f4c4602

• Auto merge of #113684 - nnethercote:streamline-size-estimates, r=<try>

  Show description for bef6ff6
  bors

  committed
  bef6ff6

  Copy full SHA for bef6ff6

Commits on Jul 15, 2023

• Introduce restrictions to the AST

  jhpratt

  committed
  2a30038

  Copy full SHA for 2a30038

• Parse `impl` restriction on trait definitions

  jhpratt

  committed
  49cd517

  Copy full SHA for 49cd517

• rustfmt `impl` restriction

  jhpratt

  committed
  b35b975

  Copy full SHA for b35b975

• Lower `impl` restriction to `rustc_middle`

  jhpratt

  committed
  a89c303

  Copy full SHA for a89c303

• Error in implementation of restricted trait

  jhpratt

  committed
  c938764

  Copy full SHA for c938764

• Place restrictions behind feature gate

  jhpratt

  committed
  94bef5a

  Copy full SHA for 94bef5a

• Update compiler error index

  jhpratt

  committed
  f5ea0f7

  Copy full SHA for f5ea0f7

• Parse `mut` restriction on fields

  jhpratt

  committed
  bb278ab

  Copy full SHA for bb278ab

• rustfmt `mut` restriction

  jhpratt

  committed
  f6a6786

  Copy full SHA for f6a6786

• Lower `mut` restriction to `rustc_middle`

  jhpratt

  committed
  c162277

  Copy full SHA for c162277

• Add query to obtain `mut` restriction

  jhpratt

  committed
  ad7f018

  Copy full SHA for ad7f018

• Lower struct field mut restriction to MIR

  jhpratt

  committed
  f7ffd59

  Copy full SHA for f7ffd59

• Get field definition from `TyCtxt` and `Field`

  jhpratt

  committed
  75830d4

  Copy full SHA for 75830d4

• Validate `mut` restriction on struct fields

  jhpratt

  committed
  1d0f756

  Copy full SHA for 1d0f756

• Test `mut` restriction

  jhpratt

  committed
  9dfdfea

  Copy full SHA for 9dfdfea

• Validate `mut` restriction on enum variant fields

  jhpratt

  committed
  4a7aab2

  Copy full SHA for 4a7aab2

• Split feature in two

  jhpratt

  committed
  17ef482

  Copy full SHA for 17ef482

• Ban expressions with mut restricted fields

  jhpratt

  committed
  0561a0b

  Copy full SHA for 0561a0b

• Improve diagnostics

  jhpratt

  committed
  e984d82

  Copy full SHA for e984d82

• Turn construction restriction into a query

  Show description for 3421cb9
  jhpratt

  committed
  3421cb9

  Copy full SHA for 3421cb9

• Add stringify tests for restrictions

  jhpratt

  committed
  400b4d0

  Copy full SHA for 400b4d0

• Improve diagnostics

  jhpratt

  committed
  8a85dc5

  Copy full SHA for 8a85dc5

• Remove kw-only restriction, use shorthand properly

  Show description for bd9c2db
  jhpratt

  committed
  bd9c2db

  Copy full SHA for bd9c2db

• Fix tidy errors

  

  Urgau

  authored and

  jhpratt

  committed
  ae5d13c

  Copy full SHA for ae5d13c

• Make impl restrictions work cross-crate

  jhpratt

  committed
  cc4d414

  Copy full SHA for cc4d414

• Store mut restriction data in a table

  jhpratt

  committed
  7e22f74

  Copy full SHA for 7e22f74

• Remove outdated syntax

  jhpratt

  committed
  ae7a6a2

  Copy full SHA for ae7a6a2

• Explicitly test tuple structs

  jhpratt

  committed
  716ecbd

  Copy full SHA for 716ecbd

• Simplify naming in impl restriction test

  jhpratt

  committed
  011e7c6

  Copy full SHA for 011e7c6

• Remove unnecessary FIXME

  jhpratt

  committed
  bafce51

  Copy full SHA for bafce51

• Change restriction kind into const generic

  Show description for 23f53bf
  jhpratt

  committed
  23f53bf

  Copy full SHA for 23f53bf

• Parse visibility as a restriction

  jhpratt

  committed
  2f7037c

  Copy full SHA for 2f7037c

• Bless HIR stats

  

  Urgau

  authored and

  jhpratt

  committed
  497f535

  Copy full SHA for 497f535

• Increase root limit path for newly added restrictions tests

  

  Urgau

  authored and

  jhpratt

  committed
  7801c8f

  Copy full SHA for 7801c8f

• Address review items

  jhpratt

  committed
  eea7a35

  Copy full SHA for eea7a35

• Fix build errors

  jhpratt

  committed
  5370b54

  Copy full SHA for 5370b54

• Address some review items

  Show description for fb12bf1
  jhpratt

  committed
  fb12bf1

  Copy full SHA for fb12bf1

• Invert `Restriction::is_restricted_in`

  jhpratt

  committed
  731bbd8

  Copy full SHA for 731bbd8

• Add type aliases for each restriction

  jhpratt

  committed
  f4a661f

  Copy full SHA for f4a661f

• Enforce using correct restriction in rustc_middle

  jhpratt

  committed
  c4c73cd

  Copy full SHA for c4c73cd

• Use `LocalDefId` instead of `DefId`

  jhpratt

  committed
  076a838

  Copy full SHA for 076a838