Repository navigation

Implement RFC 3323: restrictions - #106074

Closed

jhpratt wants to merge 46 commits into

rust-lang:masterfrom

jhpratt:restrictions

Commits on Jul 14, 2023

Introduce `MonoItemData`.
nnethercote
committed
54b5eae
Store item size estimate in `MonoItemData`.
nnethercote
committed
1159f43
Ignore unreachable inlined items in `debug_dump`.
nnethercote
committed
71bfc57
Remove `instance_def_size_estimate` query.
nnethercote
committed
f4c4602
Auto merge of #113684 - nnethercote:streamline-size-estimates, r=<try>
bors
committed
bef6ff6

Commits on Jul 15, 2023

Introduce restrictions to the AST
jhpratt
committed
2a30038
Parse `impl` restriction on trait definitions
jhpratt
committed
49cd517
rustfmt `impl` restriction
jhpratt
committed
b35b975
Lower `impl` restriction to `rustc_middle`
jhpratt
committed
a89c303
Error in implementation of restricted trait
jhpratt
committed
c938764
Place restrictions behind feature gate
jhpratt
committed
94bef5a
Update compiler error index
jhpratt
committed
f5ea0f7
Parse `mut` restriction on fields
jhpratt
committed
bb278ab
rustfmt `mut` restriction
jhpratt
committed
f6a6786
Lower `mut` restriction to `rustc_middle`
jhpratt
committed
c162277
Add query to obtain `mut` restriction
jhpratt
committed
ad7f018
Lower struct field mut restriction to MIR
jhpratt
committed
f7ffd59
Get field definition from `TyCtxt` and `Field`
jhpratt
committed
75830d4
Validate `mut` restriction on struct fields
jhpratt
committed
1d0f756
Test `mut` restriction
jhpratt
committed
9dfdfea
Validate `mut` restriction on enum variant fields
jhpratt
committed
4a7aab2
Split feature in two
jhpratt
committed
17ef482
Ban expressions with mut restricted fields
jhpratt
committed
0561a0b
Improve diagnostics
jhpratt
committed
e984d82
Turn construction restriction into a query
jhpratt
committed
3421cb9
Add stringify tests for restrictions
jhpratt
committed
400b4d0
Improve diagnostics
jhpratt
committed
8a85dc5
Remove kw-only restriction, use shorthand properly
jhpratt
committed
bd9c2db
Fix tidy errors

Urgau
authored and
jhpratt
committed
ae5d13c
Make impl restrictions work cross-crate
jhpratt
committed
cc4d414
Store mut restriction data in a table
jhpratt
committed
7e22f74
Remove outdated syntax
jhpratt
committed
ae7a6a2
Explicitly test tuple structs
jhpratt
committed
716ecbd
Simplify naming in impl restriction test
jhpratt
committed
011e7c6
Remove unnecessary FIXME
jhpratt
committed
bafce51
Change restriction kind into const generic
jhpratt
committed
23f53bf
Parse visibility as a restriction
jhpratt
committed
2f7037c
Bless HIR stats

Urgau
authored and
jhpratt
committed
497f535
Increase root limit path for newly added restrictions tests

Urgau
authored and
jhpratt
committed
7801c8f
Address review items
jhpratt
committed
eea7a35
Fix build errors
jhpratt
committed
5370b54
Address some review items
jhpratt
committed
fb12bf1
Invert `Restriction::is_restricted_in`
jhpratt
committed
731bbd8
Add type aliases for each restriction
jhpratt
committed
f4a661f
Enforce using correct restriction in rustc_middle
jhpratt
committed
c4c73cd
Use `LocalDefId` instead of `DefId`
jhpratt
committed
076a838