diff options
author | Jordan Rupprecht <rupprecht@google.com> | 2019-05-14 21:58:59 +0000 |
---|---|---|
committer | Jordan Rupprecht <rupprecht@google.com> | 2019-05-14 21:58:59 +0000 |
commit | b35a2aa71f76a334a9c98c0a3c3995b5d902d2b9 (patch) | |
tree | cdff4a5d1a715d4ad622fd8f190128b54bebe440 /test/SemaCXX/overload-template.cpp | |
parent | 3748d41833787fcbf59cc5624e8d2b042a8991bc (diff) | |
parent | 741e05796da92b46d4f7bcbee00702ff37df6489 (diff) |
Creating branches/google/stable and tags/google/stable/2019-05-14 from r360103upstream/google/stable
git-svn-id: https://llvm.org/svn/llvm-project/cfe/branches/google/stable@360714 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/SemaCXX/overload-template.cpp')
-rw-r--r-- | test/SemaCXX/overload-template.cpp | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/test/SemaCXX/overload-template.cpp b/test/SemaCXX/overload-template.cpp new file mode 100644 index 0000000000..0a23788ef3 --- /dev/null +++ b/test/SemaCXX/overload-template.cpp @@ -0,0 +1,35 @@ +// RUN: %clang_cc1 -fsyntax-only -verify %s + +enum copy_traits { movable = 1 }; + +template <int> +struct optional_ctor_base {}; +template <typename T> +struct ctor_copy_traits { + // this would produce a c++98-compat warning, which would erroneously get the + // no-matching-function-call error's notes attached to it (or suppress those + // notes if this diagnostic was suppressed, as it is in this case) + static constexpr int traits = copy_traits::movable; +}; +template <typename T> +struct optional : optional_ctor_base<ctor_copy_traits<T>::traits> { + template <typename U> + constexpr optional(U&& v); +}; +struct A {}; +struct XA { + XA(const A&); +}; +struct B {}; +struct XB { + XB(const B&); + XB(const optional<B>&); +}; +struct YB : XB { + using XB::XB; +}; +void InsertRow(const XA&, const YB&); // expected-note {{candidate function not viable: no known conversion from 'int' to 'const XA' for 1st argument}} +void ReproducesBugSimply() { + InsertRow(3, B{}); // expected-error {{no matching function for call to 'InsertRow'}} +} + |