gcc/testsuite/g++.dg/modules/concept-3_b.C

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