diff options
Diffstat (limited to 'test/SemaObjCXX/deduction.mm')
-rw-r--r-- | test/SemaObjCXX/deduction.mm | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/test/SemaObjCXX/deduction.mm b/test/SemaObjCXX/deduction.mm index 0d2fc06dc3..6dd449d6ea 100644 --- a/test/SemaObjCXX/deduction.mm +++ b/test/SemaObjCXX/deduction.mm @@ -26,3 +26,33 @@ namespace test0 { RetainPtr<id> ptr(S); } } + +@class Test1Class; +@protocol Test1Protocol; +namespace test1 { + template <typename T> struct RemovePointer { + typedef T type; + }; + template <typename T> struct RemovePointer<T*> { + typedef T type; + }; + template <typename A, typename B> struct is_same {}; + template <typename A> struct is_same<A,A> { + static void foo(); + }; + template <typename T> struct tester { + void test() { + is_same<T, typename RemovePointer<T>::type*>::foo(); // expected-error 2 {{no member named 'foo'}} + } + }; + + template struct tester<id>; + template struct tester<id<Test1Protocol> >; + template struct tester<Class>; + template struct tester<Class<Test1Protocol> >; + template struct tester<Test1Class*>; + template struct tester<Test1Class<Test1Protocol>*>; + + template struct tester<Test1Class>; // expected-note {{in instantiation}} + template struct tester<Test1Class<Test1Protocol> >; // expected-note {{in instantiation}} +} |