// { dg-do compile } | |
// Origin: jbrandmeyer at users dot sourceforge dot net | |
// PR c++/12573: COMPONENT_REFs must be inspected for dependness. | |
template <bool> struct S; | |
template <typename K> struct Y : K { | |
int x; | |
}; | |
template <class T> struct Z { | |
S< (bool)(&static_cast<Y<T> *>(0)->x == 0) > // { dg-error "" } | |
s; | |
}; |