1 // { dg-additional-options "-fmodules-ts -std=c++2a" }
2 
3 import foo;
4 
Add(T a,T b)5 template <foo::Addable T> T Add (T a, T b)
6 {
7   return a + b;
8 }
9 
frob()10 void frob ()
11 {
12   Add (1, 2);
13   Add ((int *)0, (int *)0); // { dg-error "no match"  }
14 }
15