// { dg-additional-options -fmodules-ts }
import foo;

ting v = {1, 2, 3};