/// Tests emission of templates also referenced in speculative contexts.
/// Failure triggered with -inline.
module template13478;

import imports.template13478a;
import imports.template13478b;

int main() {
   return foo!int();
}