| 1 | // RUN: %clang_cc1 -std=c++1z -verify %s |
|---|---|
| 2 | // expected-no-diagnostics |
| 3 | |
| 4 | namespace std_example { |
| 5 | template<typename T, typename U = int> struct S { |
| 6 | T data; |
| 7 | }; |
| 8 | template<typename U> S(U) -> S<typename U::type>; |
| 9 | |
| 10 | struct A { |
| 11 | using type = short; |
| 12 | operator type(); |
| 13 | }; |
| 14 | S x{A()}; |
| 15 | } |
| 16 |