mirrors/rust
0
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2024-11-24 18:21:15 +01:00
Code Issues Releases Activity
e83c45a98b
rust/tests/crashes
History
Matthias Krüger a1c98ca160
Rollup merge of #132832 - compiler-errors:late-ty, r=cjgillot 
Deny capturing late-bound ty/const params in nested opaques

First, this reverts a7f609504c. I can't exactly remember why I approved this specific bit of https://github.com/rust-lang/rust/pull/132466; specifically, I don't know that the purpose of that commit is, and afaict we will never have an opaque that captures late-bound params through a const because opaques can't be used inside of anon consts. Am I missing something `@cjgillot?` Since I can't see a case where this matters, and no tests seem to fail.

The second commit adds a `deny_late_regions: bool` to distinguish `Scope::LateBoundary` which should deny *any* late-bound params or just ty/consts. Then, when resolving opaques we wrap ourselves in a `Scope::LateBoundary { deny_late_regions: false }` so that we deny late-bound ty/const, which fixes a bunch of ICEs that all vaguely look like `impl for<T> Trait<Assoc = impl OtherTrait<T>>`.

I guess this could be achieved other ways; for example, with a different scope kind, or maybe we could just reuse `Scope::Opaque`. But this seems a bit more verbose. I'm open to feedback anyways.

Fixes #131535
Fixes #131637
Fixes #132530

I opted to remove those crashes tests ^ without adding them as regular tests, since they're basically triggering uninteresting late-bound ICEs far off in the trait solver, and the reason that existing tests such as `tests/ui/type-alias-impl-trait/non-lifetime-binder-in-constraint.rs` don't ICE are kinda just coincidental (i.e. due to a missing impl block). I don't really feel motivated to add random permutations to tests just to exercise non-lifetime binders.

r? cjgillot
2024-11-16 21:05:46 +01:00
..
34127.rs
54888.rs
57276.rs
74451.rs
79409.rs
79590.rs
87577.rs
88296.rs
90110.rs
91985.rs
92004.rs
92470.rs
93182.rs
93237.rs
94846.rs
95134.rs
96304.rs
98322.rs
100041.rs
100618.rs
101036.rs
101557.rs
102047.rs
102252.rs
103708.rs
103899.rs
104685.rs
105238-1.rs
105238-2.rs
105249.rs
105275.rs
105299.rs
105937.rs
106473.rs
107362.rs
108499.rs
108814.rs
109681.rs
110378.rs
110534.rs
110627.rs
111419.rs
111709-2.rs
111709.rs
111742.rs
112201.rs
112623.rs
113280.rs
113379.rs
113846.rs
114198-2.rs
114198.rs
114212-2.rs
114212.rs
114317.rs
114484.rs
114663.rs
114920.rs
115435.rs
115994.rs
116519-2.rs
116519.rs
116554.rs
116947.rs
117392-2.rs
117392.rs
117460.rs
117496.rs
117629.rs
117696-1.rs
117696-2.rs
117795.rs
118038.rs
118244.rs
118590.rs
118603.rs
118952-2.rs
118952.rs
119095.rs
119692.rs
119694.rs
119701.rs
119729.rs
119783.rs
119786.rs
119824.rs
120016.rs
120033.rs
120254.rs
120811.rs
120873.rs
120911.rs
121097.rs
121127.rs
121363.rs
121411.rs
121429.rs
121538.rs
121575.rs
121623.rs
121858.rs
121963.rs
122259.rs
122529.rs
122630.rs
122681.rs
122704.rs
122710.rs
122823.rs
122903-1.rs
122904-2.rs
122904.rs
123140.rs
123141.rs
123157.rs
123456.rs
123629.rs
123690.rs
123809.rs
123810.rs
123887.rs
123893.rs
123959.rs
124020.rs
124021.rs
124189.rs
124340.rs
124350.rs
124352.rs
124375.rs
124436.rs
124440.rs
124751.rs
125014.rs
125059.rs
125185.rs
125323.rs
125476.rs
125553.rs
125680.rs
125758.rs
125768.rs
125769.rs
125772.rs
125801.rs
125810.rs
125841.rs
125874.rs
125879.rs
125957.rs
126182.rs
126267.rs
126268.rs
126269.rs
126359.rs
126443.rs
126646.rs
126667.rs
126680.rs
126696.rs
126942.rs
126944.rs
126982.rs
127033.rs
127351.rs
127353.rs
127628.rs
127643.rs
127676.rs
127742.rs
127804.rs
127916.rs
127972.rs
128094.rs
128097.rs
128119.rs
128176.rs
128190.rs
128346.rs
128695.rs
129075.rs
129095.rs
129109.rs
129127.rs
129209.rs
129214.rs
129372.rs
129425.rs
129444.rs
129556.rs
130104.rs
130310.rs
130346.rs
130411.rs
130425.rs
130521.rs
130524.rs
130627.rs
130687.rs
130779.rs
130956.rs
130967.rs
130970.rs
131046.rs
131048.rs
131050.rs
131052.rs
131101.rs
131102.rs
131103.rs
131227.rs
131292.rs
131294-2.rs
131294.rs
131295.rs
131298.rs
131342.rs
131347.rs
131373.rs
131406.rs
131507.rs
131534.rs
131538.rs
131668.rs
131758.rs
131762.rs
131787.rs
131886.rs
132126.rs
132127.rs
132142.rs
132320.rs
132330.rs
132335.rs
132391.rs
132430.rs
const_mut_ref_check_bypass.rs
README.md

README.md

This is serves as a collection of crashes so that accidental ICE fixes are tracked. This was formally done at https://github.com/rust-lang/glacier but doing it inside the rustc testsuite is more convenient.

It is imperative that a test in the suite causes an internal compiler error/panic or makes rustc crash in some other way. A test will "pass" if rustc exits with something other than 1 or 0.

When adding crashes from https://github.com/rust-lang/rust/issues, the issue number should be noted in the file name (12345.rs should suffice) and also inside the file via //@ known-bug #4321 if possible.

If you happen to fix one of the crashes, please move it to a fitting subdirectory in tests/ui and give it a meaningful name. Also please add a doc comment at the top of the file explaining why this test exists. :) Adding Fixes #NNNNN Fixes #MMMMM to the description of your pull request will ensure the corresponding tickets will be closed automatically upon merge. The ticket ids can be found in the file name or the known-bug annotation inside the testfile.

Please do not re-report any crashes that you find here!