gcc/testsuite/g++.dg/template/nontype4.C

// { dg-do compile }

// Origin: Ivan Godard <igodard@pacbell.net>
//	   Volker Reichelt <reichelt@gcc.gnu.org>

// PR c++/13797: ICE invalid nontype template parameter

template <int> struct A
{
    typedef A<0> B;		// { dg-error "not a valid type|conflict" }
    template <B> struct B {};	// { dg-error "not a valid type|declaration" }
};

A<0> a;				// { dg-error "instantiated" }