The "Disabling Import Elision" section is interesting - I didn't realize that modules used inside string formatters would be automatically removed by the unused module remover. It just goes to show how hard it is to anticipate all of the ways a given optimization might legitimately break code.
Wondering what other languages have precedent for the changes described in "Template String Types as Discriminants".
Wondering what other languages have precedent for the changes described in "Template String Types as Discriminants".