// { dg-additional-options -fmodules-ts }

module foo;

int main ()
{
  __is_constructible_impl<bool> x;
  return 0;
}