Re: Using a generic type in 'raises' pragma's argument

[leorize]

>From what I understood, the `E` inside the pragma is not instantiated. Not 
>sure if it's a bug or intentional design.

For now just drop the `{.raises.}` annotation, the compiler can compute this on 
its own.