// my code foo!(ArcaneType1, DubiousType2)(a, d);That's why the current object file model doesn't work very well.You'd have to extend the object file format to include compiler IR for templates, then the compiler can instantiate templates from that IR without needing access to the source. Which is a feature I've brought up several times, but nobody seems to be interested in doing anything aboutit. T
What information would / could that IR contain besides an AST?
