Skip to content

Panic when implicitly referring method tyarg #494

@yhara

Description

@yhara

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.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions