gabriele renzi
riffraff.mastodon.social.ap.brid.gy
gabriele renzi
@riffraff.mastodon.social.ap.brid.gy
Code Monkey, Professional Student, Geek

[bridged from https://mastodon.social/@riffraff on the fediverse by https://fed.brid.gy/ ]
mh, so the answer seems to be that type aliases are just replaced "as text" and they don't participate at all in type checking.

Seems odd, but ok.
December 11, 2025 at 9:50 AM