1 // PR c++/65734
2 // { dg-do compile { target c++11 } }
3 
4 template <typename T>
5 struct BVector
6 {
7   T t;
8 };
9 BVector<int> m;
10 
11 template <template <class> class T>
12 struct BV2
13 {
14   typedef T<float> value_type alignas (16);
15   value_type v;
16 };
17 BV2<BVector> m2;
18 
19 #define SA(X) static_assert((X),#X)
20 SA(alignof (BV2<BVector>::value_type) == 16);
21