12 files changed +64
-8
lines changed Original file line number Diff line number Diff line change 1
1
// ICE #90691 Encountered error `Unimplemented` selecting ...
2
2
//@ build-pass
3
+ // issue: rust-lang/rust#90691
3
4
4
5
trait TError : std:: fmt:: Debug { }
5
6
impl TError for ( ) { }
Original file line number Diff line number Diff line change 1
1
//@ check-pass
2
-
2
+ // issue: rust-lang/rust#88421
3
3
#![ feature( adt_const_params) ]
4
4
#![ feature( generic_const_exprs) ]
5
5
#![ allow( incomplete_features) ]
Original file line number Diff line number Diff line change 1
1
// #83056 ICE "bad input type for cast"
2
+ // issue: rust-lang/rust#83056
2
3
3
4
struct S ( [ bool ; f as usize ] ) ;
4
5
fn f ( ) -> T { }
Original file line number Diff line number Diff line change 1
1
error[E0412]: cannot find type `T` in this scope
2
- --> $DIR/ice-bad-input-type-for-cast-83056.rs:4 :11
2
+ --> $DIR/ice-bad-input-type-for-cast-83056.rs:5 :11
3
3
|
4
4
LL | struct S([bool; f as usize]);
5
5
| ----------------------------- similarly named struct `S` defined here
Original file line number Diff line number Diff line change 1
1
// test for #52334 ICE when casting extern "C" fn when it has a non-FFI-safe argument
2
2
//@ check-pass
3
-
3
+ // issue: rust-lang/rust#52334
4
4
type Foo = extern "C" fn ( :: std:: ffi:: CStr ) ;
5
5
//~^ WARN `extern` fn uses type `[i8]`, which is not FFI-safe
6
6
extern "C" {
Original file line number Diff line number Diff line change 1
- // test for #80125
1
+ // issue: rust-lang/rust #80125
2
2
//@ check-pass
3
3
type ExternCallback = extern "C" fn ( * const u8 , u32 , str ) ;
4
4
//~^ WARN `extern` fn uses type `str`, which is not FFI-safe
Original file line number Diff line number Diff line change 1
1
// ICE #64784 already borrowed: BorrowMutError
2
2
//@ check-pass
3
+ // issue: rust-lang/rust#64784
3
4
#![ feature( decl_macro) ]
4
5
5
6
pub macro m ( $i: ident, $j: ident) {
Original file line number Diff line number Diff line change
1
+ error[E0391]: cycle detected when computing layout of `Foo`
2
+ |
3
+ = note: ...which requires computing layout of `<&'static Foo as core::ops::deref::Deref>::Target`...
4
+ = note: ...which again requires computing layout of `Foo`, completing the cycle
5
+ note: cycle used when const-evaluating + checking `_`
6
+ --> $DIR/stack-overflow-trait-infer-98842.rs:15:1
7
+ |
8
+ LL | const _: *const Foo = 0 as _;
9
+ | ^^^^^^^^^^^^^^^^^^^
10
+ = note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information
11
+
12
+ error[E0080]: it is undefined behavior to use this value
13
+ --> $DIR/stack-overflow-trait-infer-98842.rs:15:1
14
+ |
15
+ LL | const _: *const Foo = 0 as _;
16
+ | ^^^^^^^^^^^^^^^^^^^ a cycle occurred during layout computation
17
+ |
18
+ = note: the raw bytes of the constant (size: 4, align: 4) {
19
+ 00 00 00 00 │ ........
20
+ }
21
+
22
+ error: aborting due to 2 previous errors
23
+
24
+ Some errors have detailed explanations: E0080, E0391.
25
+ For more information about an error, try `rustc --explain E0080`.
Original file line number Diff line number Diff line change
1
+ error[E0391]: cycle detected when computing layout of `Foo`
2
+ |
3
+ = note: ...which requires computing layout of `<&'static Foo as core::ops::deref::Deref>::Target`...
4
+ = note: ...which again requires computing layout of `Foo`, completing the cycle
5
+ note: cycle used when const-evaluating + checking `_`
6
+ --> $DIR/stack-overflow-trait-infer-98842.rs:15:1
7
+ |
8
+ LL | const _: *const Foo = 0 as _;
9
+ | ^^^^^^^^^^^^^^^^^^^
10
+ = note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information
11
+
12
+ error[E0080]: it is undefined behavior to use this value
13
+ --> $DIR/stack-overflow-trait-infer-98842.rs:15:1
14
+ |
15
+ LL | const _: *const Foo = 0 as _;
16
+ | ^^^^^^^^^^^^^^^^^^^ a cycle occurred during layout computation
17
+ |
18
+ = note: the raw bytes of the constant (size: 8, align: 8) {
19
+ 00 00 00 00 00 00 00 00 │ ........
20
+ }
21
+
22
+ error: aborting due to 2 previous errors
23
+
24
+ Some errors have detailed explanations: E0080, E0391.
25
+ For more information about an error, try `rustc --explain E0080`.
Original file line number Diff line number Diff line change 1
1
// #98842 stack overflow in trait inference
2
+ // issue: rust-lang/rust#98842
2
3
//@ check-fail
3
4
//@ edition:2021
4
- //~^^^ ERROR cycle detected when computing layout of `Foo`
5
+ //@ stderr-per-bitwidth
6
+ //@ ignore-endian-big
7
+ //~^^^^^^ ERROR cycle detected when computing layout of `Foo`
5
8
6
9
// If the inner `Foo` is named through an associated type,
7
10
// the "infinite size" error does not occur.
Original file line number Diff line number Diff line change @@ -3,14 +3,14 @@ error[E0391]: cycle detected when computing layout of `Foo`
3
3
= note: ...which requires computing layout of `<&'static Foo as core::ops::deref::Deref>::Target`...
4
4
= note: ...which again requires computing layout of `Foo`, completing the cycle
5
5
note: cycle used when const-evaluating + checking `_`
6
- --> $DIR/stack-overflow-trait-infer-98842.rs:12 :1
6
+ --> $DIR/stack-overflow-trait-infer-98842.rs:13 :1
7
7
|
8
8
LL | const _: *const Foo = 0 as _;
9
9
| ^^^^^^^^^^^^^^^^^^^
10
10
= note: see https://rustc-dev-guide.rust-lang.org/overview.html#queries and https://rustc-dev-guide.rust-lang.org/query.html for more information
11
11
12
12
error[E0080]: it is undefined behavior to use this value
13
- --> $DIR/stack-overflow-trait-infer-98842.rs:12 :1
13
+ --> $DIR/stack-overflow-trait-infer-98842.rs:13 :1
14
14
|
15
15
LL | const _: *const Foo = 0 as _;
16
16
| ^^^^^^^^^^^^^^^^^^^ a cycle occurred during layout computation
Original file line number Diff line number Diff line change 1
1
// ICE size_and_align_of::<[closure@test.rs:15:5: 17:7]> not supported #88212
2
-
2
+ // issue: rust-lang/rust#88212
3
3
#![ feature( unsized_locals) ]
4
4
//~^ WARN the feature `unsized_locals` is incomplete and may not be safe to use and/or cause compiler crashes
5
5
0 commit comments