1 // { dg-additional-options {-fmodules-ts -fdump-lang-module-graph-blocks} }
2 
3 export module SPEC;
4 
5 export import TPL;
6 
7 // Body is emitted in module-unit itself
8 template <> int foo<int> (int y)
9 {
10   return 0;
11 }
12 
13 // { dg-final { scan-lang-dump {Dependencies of specialization function_decl:'::foo<int>'} module } }
14 // { dg-final { scan-lang-dump-not {Depending definition function_decl:'::foo<int>'} module } }
15 // { dg-final { scan-lang-dump {Cluster members:\n  \[0\]=specialization declaration '::foo<int>'} module } }
16 // { dg-final { scan-lang-dump {Pending specialization '::foo<int>' entity:[0-9]* section:. keyed to '::foo'} module } }
17 
18 // { dg-final { scan-assembler {_Z3fooIiEiT_:} } }
19