blob: 99d28eb773f84f0f651ed8a63f4a144f72cdd618 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
// Tests that the compiler does not ICE when const-evaluating a `panic!()` invocation with a
// non-`&str` argument.
const _: () = panic!(1);
//~^ ERROR: argument to `panic!()` in a const context must have type `&str`
static _FOO: () = panic!(true);
//~^ ERROR: argument to `panic!()` in a const context must have type `&str`
const fn _foo() {
panic!(&1);
//~^ ERROR: argument to `panic!()` in a const context must have type `&str`
//~| ERROR: erroneous constant used [const_err]
//~| WARNING: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
}
// ensure that conforming panics don't cause an error
const _: () = panic!();
static _BAR: () = panic!("panic in static");
const fn _bar() {
panic!("panic in const fn");
}
fn main() {}
|
