shiika icon indicating copy to clipboard operation
shiika copied to clipboard

Panic when implicitly referring method tyarg

Open yhara opened this issue 1 year ago • 1 comments

Given

class A   
  def self.foo<S>(s: S)                                             
    p Pair.new(s, s)   # == Pair<S, S>.new(s, s)
  end                                                               
end                                                                 
A.foo(3)

Expected

prints pair of 3 and 3

Actual

thread 'main' panicked at 'unexpected', lib/shiika_core/src/ty/term_ty.rs:158:18

Notes

We need to fix #493 before working on this.

yhara avatar Jul 08 '23 14:07 yhara

Got another error:

thread 'main' panicked at lib/shiika_core/src/ty/term_ty.rs:165:17:
assertion failed: !typaram_ref.as_class

yhara avatar Dec 18 '23 15:12 yhara