typeprof 0.9.2 → 0.14.0

Sign up to get free protection for your applications and to get access to all the features.
Files changed (189) hide show
  1. checksums.yaml +4 -4
  2. data/.github/workflows/main.yml +1 -1
  3. data/Gemfile.lock +6 -5
  4. data/doc/demo.md +2 -2
  5. data/doc/todo.md +133 -0
  6. data/lib/typeprof/analyzer.rb +201 -104
  7. data/lib/typeprof/block.rb +39 -4
  8. data/lib/typeprof/builtin.rb +217 -70
  9. data/lib/typeprof/cli.rb +7 -0
  10. data/lib/typeprof/config.rb +30 -14
  11. data/lib/typeprof/container-type.rb +24 -0
  12. data/lib/typeprof/export.rb +134 -74
  13. data/lib/typeprof/import.rb +87 -39
  14. data/lib/typeprof/iseq.rb +116 -41
  15. data/lib/typeprof/method.rb +29 -7
  16. data/lib/typeprof/type.rb +75 -13
  17. data/lib/typeprof/version.rb +1 -1
  18. data/smoke/alias.rb +4 -4
  19. data/smoke/alias2.rb +3 -1
  20. data/smoke/arguments.rb +2 -2
  21. data/smoke/arguments2.rb +5 -5
  22. data/smoke/array-each.rb +1 -1
  23. data/smoke/array-each3.rb +1 -1
  24. data/smoke/array-map.rb +1 -1
  25. data/smoke/array-map2.rb +1 -1
  26. data/smoke/array-map3.rb +3 -3
  27. data/smoke/array-mul.rb +2 -2
  28. data/smoke/array-plus1.rb +1 -1
  29. data/smoke/array-plus2.rb +1 -0
  30. data/smoke/array-range-aref.rb +11 -11
  31. data/smoke/array-replace.rb +1 -1
  32. data/smoke/array1.rb +5 -5
  33. data/smoke/array10.rb +1 -1
  34. data/smoke/array11.rb +1 -1
  35. data/smoke/array12.rb +1 -1
  36. data/smoke/array14.rb +1 -1
  37. data/smoke/array15.rb +1 -1
  38. data/smoke/array2.rb +2 -2
  39. data/smoke/array3.rb +1 -0
  40. data/smoke/array6.rb +2 -1
  41. data/smoke/array8.rb +1 -1
  42. data/smoke/array9.rb +1 -1
  43. data/smoke/attr-module.rb +1 -0
  44. data/smoke/attr-vis.rb +43 -0
  45. data/smoke/attr-vis.rbs +4 -0
  46. data/smoke/attr.rb +2 -2
  47. data/smoke/block-ambiguous.rb +4 -4
  48. data/smoke/block-args1-rest.rb +6 -5
  49. data/smoke/block-args1.rb +5 -5
  50. data/smoke/block-args2-rest.rb +6 -5
  51. data/smoke/block-args2.rb +5 -5
  52. data/smoke/block-args3-rest.rb +7 -6
  53. data/smoke/block-args3.rb +6 -6
  54. data/smoke/block-blockarg.rb +3 -3
  55. data/smoke/block-kwarg.rb +4 -4
  56. data/smoke/block1.rb +1 -1
  57. data/smoke/block10.rb +1 -1
  58. data/smoke/block11.rb +2 -2
  59. data/smoke/block2.rb +1 -1
  60. data/smoke/block3.rb +1 -1
  61. data/smoke/block5.rb +1 -0
  62. data/smoke/block_given.rb +37 -0
  63. data/smoke/break4.rb +17 -0
  64. data/smoke/class_eval.rb +22 -0
  65. data/smoke/class_method.rb +2 -2
  66. data/smoke/class_method2.rb +2 -2
  67. data/smoke/constant2.rb +3 -2
  68. data/smoke/context-sensitive1.rb +1 -1
  69. data/smoke/cvar.rb +3 -2
  70. data/smoke/define_method.rb +2 -2
  71. data/smoke/define_method3.rb +1 -0
  72. data/smoke/define_method4.rb +1 -1
  73. data/smoke/define_method6.rb +19 -0
  74. data/smoke/define_method7.rb +18 -0
  75. data/smoke/demo.rb +6 -6
  76. data/smoke/demo1.rb +1 -1
  77. data/smoke/demo11.rb +1 -1
  78. data/smoke/demo2.rb +1 -1
  79. data/smoke/demo3.rb +1 -1
  80. data/smoke/demo4.rb +3 -3
  81. data/smoke/demo5.rb +1 -1
  82. data/smoke/demo6.rb +2 -1
  83. data/smoke/demo7.rb +1 -1
  84. data/smoke/demo9.rb +1 -0
  85. data/smoke/dummy-execution1.rb +1 -1
  86. data/smoke/dummy-execution2.rb +1 -1
  87. data/smoke/dummy_element.rb +1 -1
  88. data/smoke/ensure1.rb +1 -1
  89. data/smoke/enum_for.rb +15 -0
  90. data/smoke/enum_for2.rb +17 -0
  91. data/smoke/extended.rb +38 -0
  92. data/smoke/fib.rb +2 -2
  93. data/smoke/flow1.rb +1 -1
  94. data/smoke/flow10.rb +17 -0
  95. data/smoke/flow11.rb +17 -0
  96. data/smoke/flow2.rb +1 -1
  97. data/smoke/flow3.rb +1 -1
  98. data/smoke/flow5.rb +1 -1
  99. data/smoke/flow6.rb +1 -1
  100. data/smoke/flow7.rb +1 -1
  101. data/smoke/flow8.rb +1 -1
  102. data/smoke/flow9.rb +1 -1
  103. data/smoke/function.rb +1 -1
  104. data/smoke/gvar.rb +1 -1
  105. data/smoke/gvar2.rb +1 -1
  106. data/smoke/hash-fetch.rb +3 -3
  107. data/smoke/included.rb +38 -0
  108. data/smoke/inheritance.rb +4 -4
  109. data/smoke/inherited.rb +26 -0
  110. data/smoke/initialize.rb +3 -2
  111. data/smoke/instance_eval.rb +2 -2
  112. data/smoke/instance_eval4.rb +12 -0
  113. data/smoke/int_times.rb +1 -1
  114. data/smoke/integer.rb +1 -1
  115. data/smoke/ivar.rb +3 -2
  116. data/smoke/ivar2.rb +2 -2
  117. data/smoke/ivar3.rb +2 -1
  118. data/smoke/ivar4.rb +1 -0
  119. data/smoke/kernel-class.rb +1 -1
  120. data/smoke/keyword4.rb +1 -1
  121. data/smoke/kwrest.rb +1 -0
  122. data/smoke/kwsplat1.rb +2 -2
  123. data/smoke/kwsplat2.rb +1 -1
  124. data/smoke/manual-rbs.rb +1 -0
  125. data/smoke/manual-rbs3.rb +1 -0
  126. data/smoke/method_missing.rb +4 -3
  127. data/smoke/module3.rb +1 -1
  128. data/smoke/module4.rb +1 -0
  129. data/smoke/module5.rb +1 -1
  130. data/smoke/module_function1.rb +3 -2
  131. data/smoke/module_function2.rb +3 -2
  132. data/smoke/multiple-include.rb +1 -0
  133. data/smoke/next1.rb +1 -1
  134. data/smoke/object-send1.rb +3 -3
  135. data/smoke/optional1.rb +1 -1
  136. data/smoke/optional2.rb +1 -1
  137. data/smoke/optional3.rb +1 -1
  138. data/smoke/parameterizedd-self.rb +2 -1
  139. data/smoke/prepend1.rb +33 -0
  140. data/smoke/prepend2.rb +10 -0
  141. data/smoke/prepend2.rbs +9 -0
  142. data/smoke/primitive_method.rb +19 -0
  143. data/smoke/proc4.rb +1 -1
  144. data/smoke/public.rb +4 -0
  145. data/smoke/range.rb +1 -1
  146. data/smoke/rbs-attr.rb +2 -2
  147. data/smoke/rbs-proc2.rb +1 -1
  148. data/smoke/rbs-proc3.rb +1 -1
  149. data/smoke/rbs-tyvar4.rb +3 -2
  150. data/smoke/rbs-tyvar6.rb +3 -3
  151. data/smoke/redo1.rb +1 -1
  152. data/smoke/redo2.rb +1 -1
  153. data/smoke/rescue1.rb +1 -1
  154. data/smoke/rescue2.rb +1 -1
  155. data/smoke/rescue3.rb +1 -0
  156. data/smoke/rescue4.rb +1 -1
  157. data/smoke/respond_to.rb +1 -1
  158. data/smoke/rest1.rb +2 -2
  159. data/smoke/rest2.rb +1 -1
  160. data/smoke/rest3.rb +6 -6
  161. data/smoke/rest4.rb +2 -2
  162. data/smoke/rest5.rb +1 -1
  163. data/smoke/rest6.rb +1 -1
  164. data/smoke/retry1.rb +2 -2
  165. data/smoke/simple.rb +1 -1
  166. data/smoke/step.rb +3 -3
  167. data/smoke/struct-keyword_init.rb +6 -16
  168. data/smoke/struct.rb +1 -1
  169. data/smoke/struct2.rb +1 -1
  170. data/smoke/struct3.rb +1 -1
  171. data/smoke/struct4.rb +1 -1
  172. data/smoke/struct5.rb +2 -2
  173. data/smoke/struct6.rb +2 -2
  174. data/smoke/struct7.rb +1 -1
  175. data/smoke/super1.rb +4 -4
  176. data/smoke/super3.rb +3 -2
  177. data/smoke/super4.rb +7 -5
  178. data/smoke/super5.rb +6 -4
  179. data/smoke/symbol-proc-attr.rb +1 -1
  180. data/smoke/tap1.rb +2 -2
  181. data/smoke/toplevel.rb +1 -1
  182. data/smoke/type_var.rb +3 -3
  183. data/smoke/user-demo.rb +1 -1
  184. data/smoke/wrong-extend.rb +1 -0
  185. data/smoke/wrong-include.rb +1 -0
  186. data/smoke/wrong-include2.rb +1 -1
  187. data/testbed/goodcheck-Gemfile.lock +1 -1
  188. data/typeprof.gemspec +1 -1
  189. metadata +25 -5
data/smoke/prepend1.rb ADDED
@@ -0,0 +1,33 @@
1
+ module Mod
2
+ def foo
3
+ [42, super(:sym)]
4
+ end
5
+ end
6
+
7
+ class Foo
8
+ prepend Mod
9
+
10
+ def foo(sym_arg)
11
+ sym_arg.to_s
12
+ end
13
+
14
+ def bar
15
+ foo
16
+ end
17
+ end
18
+
19
+ __END__
20
+ # Errors
21
+ smoke/prepend1.rb:3: [error] no superclass method: Mod#foo
22
+
23
+ # Classes
24
+ module Mod
25
+ def foo: -> ([Integer, String | untyped])
26
+ end
27
+
28
+ class Foo
29
+ prepend Mod
30
+
31
+ def foo: (:sym | untyped sym_arg) -> (String | untyped)
32
+ def bar: -> ([Integer, String | untyped])
33
+ end
data/smoke/prepend2.rb ADDED
@@ -0,0 +1,10 @@
1
+ def log
2
+ Foo.new.foo("str")
3
+ end
4
+
5
+ __END__
6
+ # Classes
7
+ class Object
8
+ private
9
+ def log: -> Integer
10
+ end
@@ -0,0 +1,9 @@
1
+ module Mod
2
+ def foo: (String | Integer) -> Integer
3
+ end
4
+
5
+ class Foo
6
+ prepend Mod
7
+
8
+ def foo: (Integer) -> (String | Integer)
9
+ end
@@ -0,0 +1,19 @@
1
+ def foo
2
+ __method__
3
+ end
4
+
5
+ def log(dummy)
6
+ end
7
+
8
+ def bar
9
+ log(__method__)
10
+ end
11
+
12
+ __END__
13
+ # Classes
14
+ class Object
15
+ private
16
+ def foo: -> :foo
17
+ def log: (:bar | untyped dummy) -> nil
18
+ def bar: -> nil
19
+ end
data/smoke/proc4.rb CHANGED
@@ -8,5 +8,5 @@ __END__
8
8
  # Classes
9
9
  class Object
10
10
  private
11
- def foo: (^(Integer) -> String) -> String
11
+ def foo: (^(Integer) -> String f) -> String
12
12
  end
data/smoke/public.rb CHANGED
@@ -23,12 +23,16 @@ __END__
23
23
  # Classes
24
24
  class Foo
25
25
  def foo: -> nil
26
+
26
27
  private
27
28
  def bar: -> nil
29
+
28
30
  public
29
31
  def baz: -> nil
32
+
30
33
  private
31
34
  def qux: -> nil
35
+
32
36
  public
33
37
  def corge: -> nil
34
38
  end
data/smoke/range.rb CHANGED
@@ -10,5 +10,5 @@ __END__
10
10
  # Classes
11
11
  class Object
12
12
  private
13
- def foo: (Integer, Integer) -> Range
13
+ def foo: (Integer x, Integer y) -> Range
14
14
  end
data/smoke/rbs-attr.rb CHANGED
@@ -15,8 +15,8 @@ end
15
15
 
16
16
  __END__
17
17
  # Errors
18
- smoke/rbs-attr.rb:11: [warning] inconsistent assignment to RBS-declared global variable
19
- smoke/rbs-attr.rb:13: [warning] inconsistent assignment to RBS-declared global variable
18
+ smoke/rbs-attr.rb:11: [warning] inconsistent assignment to RBS-declared variable
19
+ smoke/rbs-attr.rb:13: [warning] inconsistent assignment to RBS-declared variable
20
20
 
21
21
  # Classes
22
22
  class Object
data/smoke/rbs-proc2.rb CHANGED
@@ -16,6 +16,6 @@ __END__
16
16
  # Classes
17
17
  class Object
18
18
  private
19
- def log1: (untyped) -> untyped
19
+ def log1: (untyped n) -> untyped
20
20
  def log2: -> String
21
21
  end
data/smoke/rbs-proc3.rb CHANGED
@@ -10,5 +10,5 @@ __END__
10
10
  # Classes
11
11
  class Object
12
12
  private
13
- def log: (Foo[Integer]) -> Integer
13
+ def log: (Foo[Integer] foo) -> Integer
14
14
  end
data/smoke/rbs-tyvar4.rb CHANGED
@@ -31,6 +31,7 @@ __END__
31
31
  # Classes
32
32
  class Foo
33
33
  @ivar: Array[Array[String]]
34
- def initialize: (Array[Array[String]]) -> Array[Array[String]]
35
- def foo: (:a | :b) -> nil
34
+
35
+ def initialize: (Array[Array[String]] ivar) -> Array[Array[String]]
36
+ def foo: (:a | :b n) -> nil
36
37
  end
data/smoke/rbs-tyvar6.rb CHANGED
@@ -12,7 +12,7 @@ __END__
12
12
  # Classes
13
13
  class Object
14
14
  private
15
- def log1: (Bar[String]) -> nil
16
- def log2: (Array[String]) -> nil
17
- def log3: (Integer) -> nil
15
+ def log1: (Bar[String] obj) -> nil
16
+ def log2: (Array[String] obj) -> nil
17
+ def log3: (Integer obj) -> nil
18
18
  end
data/smoke/redo1.rb CHANGED
@@ -17,6 +17,6 @@ __END__
17
17
  # Classes
18
18
  class Object
19
19
  private
20
- def bar: (Integer | String) -> (Integer | String)
20
+ def bar: (Integer | String x) -> (Integer | String)
21
21
  def foo: { (Integer) -> String } -> String
22
22
  end
data/smoke/redo2.rb CHANGED
@@ -18,6 +18,6 @@ __END__
18
18
  # Classes
19
19
  class Object
20
20
  private
21
- def bar: (Integer | String) -> (Integer | String)
21
+ def bar: (Integer | String x) -> (Integer | String)
22
22
  def foo: { (Integer) -> (Integer | String) } -> (Integer | String)
23
23
  end
data/smoke/rescue1.rb CHANGED
@@ -16,6 +16,6 @@ __END__
16
16
  # Classes
17
17
  class Object
18
18
  private
19
- def foo: ((:sym | Integer | String)?) -> Integer
19
+ def foo: ((:sym | Integer | String)? x) -> Integer
20
20
  def bar: -> (:sym | Integer)
21
21
  end
data/smoke/rescue2.rb CHANGED
@@ -18,6 +18,6 @@ __END__
18
18
  # Classes
19
19
  class Object
20
20
  private
21
- def foo: ((:sym | Integer | String)?) -> Integer
21
+ def foo: ((:sym | Integer | String)? x) -> Integer
22
22
  def bar: -> Integer
23
23
  end
data/smoke/rescue3.rb CHANGED
@@ -14,6 +14,7 @@ __END__
14
14
  # Classes
15
15
  class Object
16
16
  Ary: [Integer, String]
17
+
17
18
  private
18
19
  def foo: -> (Integer | String)
19
20
  end
data/smoke/rescue4.rb CHANGED
@@ -13,5 +13,5 @@ __END__
13
13
  # Classes
14
14
  class Object
15
15
  private
16
- def log: (Integer | String) -> nil
16
+ def log: (Integer | String n) -> nil
17
17
  end
data/smoke/respond_to.rb CHANGED
@@ -19,5 +19,5 @@ __END__
19
19
  # Classes
20
20
  class Object
21
21
  private
22
- def foo: (Integer | String | true) -> (Integer | String | bool)
22
+ def foo: (Integer | String | true n) -> (Integer | String | bool)
23
23
  end
data/smoke/rest1.rb CHANGED
@@ -21,6 +21,6 @@ __END__
21
21
  # Classes
22
22
  class Object
23
23
  private
24
- def foo: (:a | Integer | String, *Integer | String, :z | Integer | String) -> (Array[Integer | String])
25
- def bar: (String, ?Integer | String, *String, String) -> Array[String]
24
+ def foo: (:a | Integer | String a, *Integer | String r, :z | Integer | String z) -> (Array[Integer | String])
25
+ def bar: (String a, ?Integer | String o, *String r, String z) -> Array[String]
26
26
  end
data/smoke/rest2.rb CHANGED
@@ -27,5 +27,5 @@ __END__
27
27
  # Classes
28
28
  class Object
29
29
  private
30
- def foo: (Integer, String, :s) -> [Integer, String, :s]
30
+ def foo: (Integer a, String b, :s c) -> [Integer, String, :s]
31
31
  end
data/smoke/rest3.rb CHANGED
@@ -28,10 +28,10 @@ __END__
28
28
  # Classes
29
29
  class Object
30
30
  private
31
- def foo: (*String) -> nil
32
- def bar: (*Integer | String) -> nil
33
- def baz: (String, *String) -> nil
34
- def qux: (Integer, *String) -> nil
35
- def corge: (*Integer | String, Integer | String) -> nil
36
- def grault: (String, ?Integer | String, *String, String) -> nil
31
+ def foo: (*String r) -> nil
32
+ def bar: (*Integer | String r) -> nil
33
+ def baz: (String x, *String r) -> nil
34
+ def qux: (Integer x, *String r) -> nil
35
+ def corge: (*Integer | String r, Integer | String z) -> nil
36
+ def grault: (String a, ?Integer | String o, *String r, String z) -> nil
37
37
  end
data/smoke/rest4.rb CHANGED
@@ -14,6 +14,6 @@ __END__
14
14
  # Classes
15
15
  class Object
16
16
  private
17
- def foo: (*:s | Integer | String) -> nil
18
- def bar: (Integer, :s | String, :s | String) -> nil
17
+ def foo: (*:s | Integer | String a) -> nil
18
+ def bar: (Integer x, :s | String y, :s | String z) -> nil
19
19
  end
data/smoke/rest5.rb CHANGED
@@ -7,5 +7,5 @@ __END__
7
7
  # Classes
8
8
  class Object
9
9
  private
10
- def foo: (*Integer) -> [Integer]
10
+ def foo: (*Integer args) -> [Integer]
11
11
  end
data/smoke/rest6.rb CHANGED
@@ -8,5 +8,5 @@ __END__
8
8
  # Classes
9
9
  class Object
10
10
  private
11
- def foo: (?Integer | String, *String) -> [Array[String]]
11
+ def foo: (?Integer | String o1, *String r) -> [Array[String]]
12
12
  end
data/smoke/retry1.rb CHANGED
@@ -16,6 +16,6 @@ __END__
16
16
  # Classes
17
17
  class Object
18
18
  private
19
- def bar: (Integer | String) -> (Integer | String)
20
- def foo: (Integer | String) -> (Integer | String)
19
+ def bar: (Integer | String x) -> (Integer | String)
20
+ def foo: (Integer | String x) -> (Integer | String)
21
21
  end
data/smoke/simple.rb CHANGED
@@ -8,5 +8,5 @@ __END__
8
8
  # Classes
9
9
  class Object
10
10
  private
11
- def foo: (Integer) -> String
11
+ def foo: (Integer n) -> String
12
12
  end
data/smoke/step.rb CHANGED
@@ -12,7 +12,7 @@ __END__
12
12
  # Classes
13
13
  class Object
14
14
  private
15
- def log1: (Integer | Numeric) -> nil
16
- def log2: (void) -> nil
17
- def log3: (Enumerator[Integer | Numeric]) -> nil
15
+ def log1: (Integer | Numeric x) -> nil
16
+ def log2: (void x) -> nil
17
+ def log3: (Enumerator[Integer | Numeric] x) -> nil
18
18
  end
@@ -1,20 +1,10 @@
1
- # XXX: Need to support keyword_init
2
- Foo = Struct.new(:foo, keyword_init: true)
3
-
4
- class Foo
5
- def initialize(foo:)
6
- super(foo: foo.to_s)
7
- end
8
- end
9
-
10
- Foo.new(42)
1
+ Foo = Struct.new(:a, :b, :c, keyword_init: true)
2
+ Foo[a: 1, b: "str", c: 1.0]
11
3
 
12
4
  __END__
13
- # Errors
14
- smoke/struct-keyword_init.rb:10: [error] wrong number of arguments (given 1, expected 0)
15
-
16
5
  # Classes
17
- class Foo < Struct
18
- attr_accessor foo(): nil
19
- def initialize: (foo: untyped) -> Foo
6
+ class Foo < Struct[untyped]
7
+ attr_accessor a(): Integer
8
+ attr_accessor b(): String
9
+ attr_accessor c(): Float
20
10
  end
data/smoke/struct.rb CHANGED
@@ -5,7 +5,7 @@ end
5
5
  Foo.new.a = 1
6
6
  __END__
7
7
  # Classes
8
- class AnonymousStruct_generated_1 < Struct
8
+ class AnonymousStruct_generated_1 < Struct[untyped]
9
9
  attr_accessor a(): untyped
10
10
  end
11
11
 
data/smoke/struct2.rb CHANGED
@@ -18,7 +18,7 @@ class Object
18
18
  def gen_foobar: -> FooBar
19
19
  end
20
20
 
21
- class FooBar < Struct
21
+ class FooBar < Struct[untyped]
22
22
  attr_accessor foo(): Integer | String
23
23
  attr_accessor bar(): :sym?
24
24
  def my_foo: -> (Integer | String)
data/smoke/struct3.rb CHANGED
@@ -7,7 +7,7 @@ App::FooBar.new(1, "str")
7
7
  __END__
8
8
  # Classes
9
9
  class App
10
- class FooBar < Struct
10
+ class FooBar < Struct[untyped]
11
11
  attr_accessor foo(): Integer
12
12
  attr_accessor bar(): String
13
13
  end
data/smoke/struct4.rb CHANGED
@@ -2,6 +2,6 @@ UndefinedConstant::Foo = Struct.new(:foo)
2
2
 
3
3
  __END__
4
4
  # Classes
5
- class AnonymousStruct_generated_1 < Struct
5
+ class AnonymousStruct_generated_1 < Struct[untyped]
6
6
  attr_accessor foo(): untyped
7
7
  end
data/smoke/struct5.rb CHANGED
@@ -10,7 +10,7 @@ Foo.new(42)
10
10
 
11
11
  __END__
12
12
  # Classes
13
- class Foo < Struct
13
+ class Foo < Struct[untyped]
14
14
  attr_accessor foo(): String
15
- def initialize: (Integer) -> Foo
15
+ def initialize: (Integer foo) -> Foo
16
16
  end
data/smoke/struct6.rb CHANGED
@@ -6,10 +6,10 @@ end
6
6
 
7
7
  __END__
8
8
  # Classes
9
- class AnonymousStruct_generated_1 < Struct
9
+ class AnonymousStruct_generated_1 < Struct[untyped]
10
10
  attr_accessor foo(): untyped
11
11
  end
12
12
 
13
13
  class Foo < AnonymousStruct_generated_1
14
- def initialize: (untyped) -> Foo
14
+ def initialize: (untyped foo) -> Foo
15
15
  end
data/smoke/struct7.rb CHANGED
@@ -12,6 +12,6 @@ end
12
12
 
13
13
  __END__
14
14
  # Classes
15
- class Foo < Struct
15
+ class Foo < Struct[untyped]
16
16
  def initialize: -> Foo
17
17
  end
data/smoke/super1.rb CHANGED
@@ -35,7 +35,7 @@ __END__
35
35
  # Classes
36
36
  class Object
37
37
  private
38
- def log: (Baz) -> nil
38
+ def log: (Baz x) -> nil
39
39
  end
40
40
 
41
41
  class A
@@ -57,13 +57,13 @@ class Z
57
57
  end
58
58
 
59
59
  class Foo
60
- def f: (C) -> X
60
+ def f: (C x) -> X
61
61
  end
62
62
 
63
63
  class Bar < Foo
64
- def f: (B) -> Y
64
+ def f: (B x) -> Y
65
65
  end
66
66
 
67
67
  class Baz < Bar
68
- def f: (A) -> Z
68
+ def f: (A x) -> Z
69
69
  end