26 lines
323 B
C
26 lines
323 B
C
// Origin: PR c++/43953
|
|
|
|
template<typename T,
|
|
typename U,
|
|
typename T::type V> class bad;
|
|
|
|
// partial specialization
|
|
// for T = U
|
|
template<typename T, typename T::type V>
|
|
class bad<T, T, V>
|
|
{
|
|
public:
|
|
static void foo() {}
|
|
};
|
|
|
|
struct dummy
|
|
{
|
|
typedef int type;
|
|
};
|
|
|
|
int main()
|
|
{
|
|
bad<dummy, dummy, 0>::foo();
|
|
}
|
|
|