-
Notifications
You must be signed in to change notification settings - Fork 13k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add failing test for projections used as const generic
- Loading branch information
1 parent
b7463e8
commit 2d5d692
Showing
2 changed files
with
31 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,20 @@ | ||
// This is currently not possible to use projections as const generics. | ||
// More information about this available here: | ||
// https://github.com/rust-lang/rust/pull/104443#discussion_r1029375633 | ||
|
||
pub trait Identity { | ||
type Identity; | ||
} | ||
|
||
impl<T> Identity for T { | ||
type Identity = Self; | ||
} | ||
|
||
pub fn foo<const X: <i32 as Identity>::Identity>() { | ||
//~^ ERROR | ||
assert!(X == 12); | ||
} | ||
|
||
fn main() { | ||
foo::<12>(); | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,11 @@ | ||
error: `<i32 as Identity>::Identity` is forbidden as the type of a const generic parameter | ||
--> $DIR/projection-as-arg-const.rs:13:21 | ||
| | ||
LL | pub fn foo<const X: <i32 as Identity>::Identity>() { | ||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ||
| | ||
= note: the only supported types are integers, `bool` and `char` | ||
= help: more complex types are supported with `#![feature(adt_const_params)]` | ||
|
||
error: aborting due to previous error | ||
|