Index: lib/Sema/SemaLookup.cpp =================================================================== --- lib/Sema/SemaLookup.cpp +++ lib/Sema/SemaLookup.cpp @@ -862,6 +862,17 @@ if (!Record->isCompleteDefinition()) return Found; + // For conversion operators, 'operator auto' should only match + // 'operator auto'. Since 'auto' is not a type, it shouldn't be considered + // as a candidate for template substitution. + if (R.getLookupName().getNameKind() == + DeclarationName::CXXConversionFunctionName) { + auto *Ty = + dyn_cast(R.getLookupName().getCXXNameType()); + if (Ty && Ty->isUndeducedType()) + return Found; + } + for (CXXRecordDecl::conversion_iterator U = Record->conversion_begin(), UEnd = Record->conversion_end(); U != UEnd; ++U) { FunctionTemplateDecl *ConvTemplate = dyn_cast(*U); Index: test/SemaCXX/cxx1y-deduced-return-type.cpp =================================================================== --- test/SemaCXX/cxx1y-deduced-return-type.cpp +++ test/SemaCXX/cxx1y-deduced-return-type.cpp @@ -55,6 +55,20 @@ return "goodbye"; } +// Allow 'operator auto' to call only the explicit operator auto. +struct BothOps{ + template operator T(); + operator auto() { return 0; } +}; +struct JustTemplateOp { + template operator T(); +}; + +auto c() { + BothOps().operator auto(); // ok + JustTemplateOp().operator auto(); // expected-error {{no member named 'operator auto' in 'JustTemplateOp'}} +} + auto *ptr_1() { return 100; // expected-error {{cannot deduce return type 'auto *' from returned value of type 'int'}} }