Yutaka HARA

Panic when implicitly referring method tyarg

1

## Given ``` class A def self.foo(s: S) p Pair.new(s, s) # == Pair.new(s, s) end end A.foo(3) ``` ## Expected prints pair of 3 and 3 ## Actual >...

I'm considering renaming `module` to `trait`. The biggest difference between Ruby modules and Rust traits is in the case of name confilicts. In Rust you can implement both traits A...

This code is wrong but compiler shows no error. ``` let f = fn(x: Int){} f("a") ```

``` p Array.repeat(" ", 100) # makes sense p Array.repeat(" ", 100) # does not make sense but works now ```

As reported in #474, this code fails to compile. ``` while true let y = 10 p y end let y = "Hello world" puts y ```

This should print `Void` (because `f` is declared as `Fn0`) but prints `123` instead. ``` class A def self.foo(f: Fn0) p f() end end A.foo{ 123 } ```

## Motivation - To encourage using immutable data structures - Immutable `Array` may be more convenient in some cases; For example ```sk class Shape; ...; end class Circle : Shape;...

so that we can print where the method is defined on such errors. ``` Error: Error: missing argument `c' of method `DefaultArgTest#foo(a: Int, b: Int, c: Int) -> Void' ╭─[./a.sk:14:16]...

## Given ```sk class A def self.initialize A.foo end def self.foo ... end end ``` This is safe if `foo` does not access an class instance variable of A. ##...