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

module foo;

new_allocator<char> y;