Can't express sneakyThrow As Java

[He-Pin]

Compiler version

3.3.6

Minimized code

  @throws[T]
  def sneakyThrow[T <: Throwable, R](t: Throwable): R = {
    throw t.asInstanceOf[T]
  }

Output

[error] /Users/hepin/IdeaProjects/pekko/actor/src/main/scala/org/apache/pekko/japi/Throwables.scala:60:13: not found: type T
[error]     @throws[T]
[error]             ^

Expectation

Compiles as Java

    static <T extends Throwable, R> R sneakyThrow(Throwable t) throws T {
        throw (T) t;
    }

I can write ：

  def sneakyThrow[T <: Throwable, R](t: Throwable): R = {
    throw t.asInstanceOf[T]
  }

[Gedochao]

This feels like a feature request. Might require a SIP.

[He-Pin]

that will need a reference implementation...

[hamzaremmal]

We need to see what will happen with CanThrow before even considering this approach. If CanThrow creates checked exceptions in Java introp, then this is not needed anymore.