tests/ui/const-generics/adt_const_params/116308.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

//@ check-pass
#![feature(adt_const_params)]

// Regression test for #116308

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>();
}