| // RUN: rm -rf %t |
| // RUN: split-file %s %t |
| // RUN: cd %t |
| // |
| // RUN: %clang_cc1 -std=c++20 %t/A.cppm -emit-module-interface -o %t/A.pcm |
| // RUN: %clang_cc1 -std=c++20 -fprebuilt-module-path=%t -I%t %t/Use.cppm -verify -fsyntax-only |
| |
| //--- foo.h |
| template <typename T, typename U = int> |
| class Templ; |
| |
| template <typename T, typename U> |
| class Templ { |
| public: |
| Templ(T t) {} |
| }; |
| |
| template <typename T> |
| Templ(T t) -> Templ<T, int>; |
| |
| //--- A.cppm |
| module; |
| #include "foo.h" |
| export module A; |
| |
| //--- Use.cppm |
| // expected-no-diagnostics |
| module; |
| #include "foo.h" |
| export module X; |
| import A; |
| void foo() { |
| Templ t(0); |
| } |