I’d expect type checker to complain that outer `th...

# announcements

[Dmitry Kandalov]

I’d expect type checker to complain that outer throw throws Nothing