mirror of
https://github.com/rust-lang/rust.git
synced 2025-02-20 19:04:21 +00:00
17 lines
237 B
Rust
17 lines
237 B
Rust
![]() |
//@ known-bug: #116308
|
||
|
#![feature(adt_const_params)]
|
||
|
|
||
|
pub trait Identity {
|
||
|
type Identity;
|
||
|
}
|
||
|
|
||
|
impl<T> Identity for T {
|
||
|
type Identity = Self;
|
||
|
}
|
||
|
|
||
|
pub fn foo<const X: <i32 as Identity>::Identity>() {}
|
||
|
|
||
|
fn main() {
|
||
|
foo::<12>();
|
||
|
}
|