| @import templates_top; | |
| template<typename T> class Vector; | |
| template<typename T> class Vector; | |
| template<typename T> class List; | |
| template<> class List<bool> { | |
| public: | |
| void push_back(int); | |
| }; | |
| namespace N { | |
| template<typename T> class Set; | |
| } | |
| namespace N { | |
| template<typename T> class Set { | |
| public: | |
| void insert(T); | |
| }; | |
| } | |
| template <typename T> | |
| void pendingInstantiationEmit(T) {} | |
| void triggerPendingInstantiation() { | |
| pendingInstantiationEmit(12); | |
| pendingInstantiationEmit(42.); | |
| } | |
| void redeclDefinitionEmit(){} |