@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(){} |