1 // PR c++/62212
2 // { dg-do compile }
3 
4 typedef int my_int;
5 
6 template<typename T>
7 struct X {
8     enum {value = 1};
9 };
10 
11 template<typename T>
12 void f(const my_int(&)[X<T>::value]);
13 
main()14 int main() {
15     const my_int a[1] = {};
16     f<void>(a);
17 }
18 
19 // { dg-final { scan-assembler "_Z1fIvEvRAsr1XIT_E5value_Ki" } }
20