gcc/testsuite/g++.dg/modules/cexpr-2_b.C

// { dg-additional-options "-fmodules-ts" }
import sqrt;

static_assert (sqrt(81) == 9, "waaa!");