2023-08-13 04:02:31 -05:00
|
|
|
error: ~const can only be applied to `#[const_trait]` traits
|
|
|
|
|
--> $DIR/normalize-tait-in-const.rs:25:42
|
2023-07-29 03:20:25 -05:00
|
|
|
|
|
2023-08-13 04:02:31 -05:00
|
|
|
LL | const fn with_positive<F: ~const for<'a> Fn(&'a Alias<'a>) + ~const Destruct>(fun: F) {
|
|
|
|
|
| ^^^^^^^^^^^^^^^^^
|
2023-07-29 03:20:25 -05:00
|
|
|
|
2023-11-21 09:44:16 -06:00
|
|
|
error: aborting due to 1 previous error
|
2022-10-24 21:11:24 -05:00
|
|
|
|
