| // Based on C++20 10.2 example 6. | |
| // RUN: %clang_cc1 -std=c++20 -emit-module-interface %s -verify -o %t | |
| // expected-no-diagnostics | |
| export module M; | |
| export namespace N { | |
| int x; // OK | |
| static_assert(1 == 1); // No diagnostic after P2615R1 DR | |
| } // namespace N |