// RUN: rm -rf %t
// RUN: mkdir %t
// RUN: split-file %s %t
//
// RUN: %clang_cc1 -std=c++20 %t/a.interface.cppm -emit-module-interface -o %t/a.pcm
// RUN: %clang_cc1 -std=c++20 %t/a.impl.cc -fmodule-file=a:interface=%t/a.pcm \
// RUN:     -verify -fsyntax-only

//--- a.interface.cppm
export module a:interface;
extern "C++" constexpr int a = 43;

//--- a.impl.cc
// expected-no-diagnostics
module a:impl;
import :interface;
static_assert(a == 43);