bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

fix known-bug link in normalize-tait-in-const

Browse source
This commit is contained in:
Ralf Jung 2025-01-15 09:32:30 +01:00
parent 620feadb38
commit 0922c191d5
2 changed files with 5 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

3
tests/ui/impl-trait/normalize-tait-in-const.rs
View file

@ -1,4 +1,5 @@
//@ known-bug: #103507 //! This is a regression test for <https://github.com/rust-lang/rust/issues/103507>.
//@ known-bug: #110395
#![feature(type_alias_impl_trait)] #![feature(type_alias_impl_trait)]
#![feature(const_trait_impl, const_destruct)] #![feature(const_trait_impl, const_destruct)]

6
tests/ui/impl-trait/normalize-tait-in-const.stderr
View file

@ -1,5 +1,5 @@
error: `~const` can only be applied to `#[const_trait]` traits error: `~const` can only be applied to `#[const_trait]` traits
--> $DIR/normalize-tait-in-const.rs:26:35 --> $DIR/normalize-tait-in-const.rs:27:35
| |
LL | const fn with_positive<F: for<'a> ~const Fn(&'a Alias<'a>) + ~const Destruct>(fun: F) { LL | const fn with_positive<F: for<'a> ~const Fn(&'a Alias<'a>) + ~const Destruct>(fun: F) {
| ^^^^^^ can't be applied to `Fn` | ^^^^^^ can't be applied to `Fn`
@ -8,7 +8,7 @@ note: `Fn` can't be used with `~const` because it isn't annotated with `#[const_
--> $SRC_DIR/core/src/ops/function.rs:LL:COL --> $SRC_DIR/core/src/ops/function.rs:LL:COL
error: `~const` can only be applied to `#[const_trait]` traits error: `~const` can only be applied to `#[const_trait]` traits
--> $DIR/normalize-tait-in-const.rs:26:35 --> $DIR/normalize-tait-in-const.rs:27:35
| |
LL | const fn with_positive<F: for<'a> ~const Fn(&'a Alias<'a>) + ~const Destruct>(fun: F) { LL | const fn with_positive<F: for<'a> ~const Fn(&'a Alias<'a>) + ~const Destruct>(fun: F) {
| ^^^^^^ can't be applied to `Fn` | ^^^^^^ can't be applied to `Fn`
@ -18,7 +18,7 @@ note: `Fn` can't be used with `~const` because it isn't annotated with `#[const_
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
error[E0015]: cannot call non-const closure in constant functions error[E0015]: cannot call non-const closure in constant functions
--> $DIR/normalize-tait-in-const.rs:27:5 --> $DIR/normalize-tait-in-const.rs:28:5
| |
LL | fun(filter_positive()); LL | fun(filter_positive());
| ^^^^^^^^^^^^^^^^^^^^^^ | ^^^^^^^^^^^^^^^^^^^^^^