More type safety for language keys#93

Open

JohannesMeierSE wants to merge 17 commits intomainfrom

jm/more-type-safety

Commits on Feb 11, 2026

make LanguageKeys type-safe
JohannesMeierSE
committed
exploit Specifics['LanguageKeys'] to simplify inference rules for functions and operators
JohannesMeierSE
committed
improved the changelog, wrote documentation
JohannesMeierSE
committed
refactorings: moved existing definitions into another file, used existing definitions even more
JohannesMeierSE
committed
some renamings to make names more clear
JohannesMeierSE
committed
refactoring: moved definitions into another file
JohannesMeierSE
committed
renamed internal <TypeType> generics
JohannesMeierSE
committed
investigated a strange TSC issue
JohannesMeierSE
committed
`languageProperty` supports only valid property names of the given `languageNode`, wrote documentation about validation
JohannesMeierSE
committed
fixes according to the review
JohannesMeierSE
committed
calculate union of language types for multiple language keys (as developed together with Markus and Insa)
JohannesMeierSE
committed
made registration options more explicit (result of joint discussion with Markus)
JohannesMeierSE
committed