| 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
|---|
| 2 | // RUN: %clang_cc1 -fsyntax-only -verify -std=c++98 %s |
|---|
| 3 | // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s |
|---|
| 4 | |
|---|
| 5 | // A type-parameter defines its identifier to be a type-name (if |
|---|
| 6 | // declared with class or typename) or template-name (if declared with |
|---|
| 7 | // template) in the scope of the template declaration. |
|---|
| 8 | template<typename T> struct X0 { |
|---|
| 9 | T* value; |
|---|
| 10 | }; |
|---|
| 11 | |
|---|
| 12 | template<template<class T> class Y> struct X1 { |
|---|
| 13 | Y<int> value; |
|---|
| 14 | }; |
|---|
| 15 | |
|---|
| 16 | // [Note: because of the name lookup rules, a template-parameter that |
|---|
| 17 | // could be interpreted as either a non-type template-parameter or a |
|---|
| 18 | // type-parameter (because its identifier is the name of an already |
|---|
| 19 | // existing class) is taken as a type-parameter. For example, |
|---|
| 20 | class T { /* ... */ }; // expected-note{{candidate constructor (the implicit copy constructor) not viable}} |
|---|
| 21 | #if __cplusplus >= 201103L // C++11 or later |
|---|
| 22 | // expected-note@-2 {{candidate constructor (the implicit move constructor) not viable}} |
|---|
| 23 | #endif |
|---|
| 24 | |
|---|
| 25 | int i; |
|---|
| 26 | |
|---|
| 27 | template<class T, T i> struct X2 { |
|---|
| 28 | void f(T t) |
|---|
| 29 | { |
|---|
| 30 | T t1 = i; // template-parameters T and i |
|---|
| 31 | ::T t2 = ::i; // global namespace members T and i \ |
|---|
| 32 | // expected-error{{no viable conversion}} |
|---|
| 33 | } |
|---|
| 34 | }; |
|---|
| 35 | |
|---|
| 36 | namespace PR6831 { |
|---|
| 37 | namespace NA { struct S; } |
|---|
| 38 | namespace NB { struct S; } |
|---|
| 39 | |
|---|
| 40 | using namespace NA; |
|---|
| 41 | using namespace NB; |
|---|
| 42 | |
|---|
| 43 | template <typename S> void foo(); |
|---|
| 44 | template <int S> void bar(); |
|---|
| 45 | template <template<typename> class S> void baz(); |
|---|
| 46 | } |
|---|
| 47 | |
|---|