Add a known-bug test for #102498
This commit is contained in:
parent
edadc7ccdd
commit
e2c5247701
2 changed files with 39 additions and 0 deletions
21
src/test/ui/consts/constifconst-call-in-const-position.rs
Normal file
21
src/test/ui/consts/constifconst-call-in-const-position.rs
Normal file
|
|
@ -0,0 +1,21 @@
|
|||
// known-bug: #102498
|
||||
|
||||
#![feature(const_trait_impl, generic_const_exprs)]
|
||||
|
||||
pub trait Tr {
|
||||
fn a() -> usize;
|
||||
}
|
||||
|
||||
impl Tr for () {
|
||||
fn a() -> usize {
|
||||
1
|
||||
}
|
||||
}
|
||||
|
||||
const fn foo<T: ~const Tr>() -> [u8; T::a()] {
|
||||
[0; T::a()]
|
||||
}
|
||||
|
||||
fn main() {
|
||||
foo::<()>();
|
||||
}
|
||||
|
|
@ -0,0 +1,18 @@
|
|||
warning: the feature `generic_const_exprs` is incomplete and may not be safe to use and/or cause compiler crashes
|
||||
--> $DIR/constifconst-call-in-const-position.rs:3:30
|
||||
|
|
||||
LL | #![feature(const_trait_impl, generic_const_exprs)]
|
||||
| ^^^^^^^^^^^^^^^^^^^
|
||||
|
|
||||
= note: see issue #76560 <https://github.com/rust-lang/rust/issues/76560> for more information
|
||||
= note: `#[warn(incomplete_features)]` on by default
|
||||
|
||||
error[E0080]: evaluation of `foo::<()>::{constant#0}` failed
|
||||
--> $DIR/constifconst-call-in-const-position.rs:15:38
|
||||
|
|
||||
LL | const fn foo<T: ~const Tr>() -> [u8; T::a()] {
|
||||
| ^^^^^^ calling non-const function `<() as Tr>::a`
|
||||
|
||||
error: aborting due to previous error; 1 warning emitted
|
||||
|
||||
For more information about this error, try `rustc --explain E0080`.
|
||||
Loading…
Add table
Add a link
Reference in a new issue