VerifyError for polymorphic function from Nothing

[TomasMikula]

Compiler version

3.0.2-RC1

Minimized code

@main def Test() =

  def go[F[_]](get: [x] => F[x] => x): Unit = {}
  go[Nothing]([x] => (fx: Nothing) => fx)

Output

java.lang.VerifyError: Bad type on operand stack
Exception Details:
  Location:
    repl$/rs$line$1$$anon$1.apply(Ljava/lang/Object;)Ljava/lang/Object; @1: athrow
  Reason:
    Type 'java/lang/Object' (current frame, stack[0]) is not assignable to 'java/lang/Throwable'
  Current Frame:
    bci: @1
    flags: { }
    locals: { 'repl$/rs$line$1$$anon$1', 'java/lang/Object' }
    stack: { 'java/lang/Object' }
  Bytecode:
    0000000: 2bbf bf                                
  Stackmap Table:
    full_frame(@2,{},{Object[#191]})

  ... 28 elided

[TomasMikula]

This is still reproducible in 3.3.3, but appears to be fixed in 3.4.0 and 3.4.1-RC1.

So this could be closed, but maybe you want to add a test first? @smarter

[bishabosha]

Well it would also be good to identify the commit that fixed it in case it can be/has-been backported