1 template<typename T, T v> struct c {};
2 using d = c<bool, false>;
3 struct foo : public d {};
4