Post #3192759

@terts@mastodon.online @jana@fedi.xirion.net the type inference here is what I would have expected, but huh didn't know that the right-hand side pf @ patterns could introduce identifiers too, that's funny :3