What kind of source do you have in mind? The arguments types that are valid will vary based on the content of the template string, and no type system (well a de

What kind of source do you have in mind? The arguments types that are valid will vary based on the content of the template string, and no type system (well a dependently typed language such as Idris could do it) for JS (flow, typescript) supports that. On the other hand, both TypeScript and Flow support type checking for JSX attributes (and child elements to some extent)