// { dg-additional-options "-std=c++2a -fmodule-header" }
// { dg-module-cmi {} }
#include "nested-constr-1.h"