steep 1.6.0 → 1.7.0.dev.1

Sign up to get free protection for your applications and to get access to all the features.
Files changed (310) hide show
  1. checksums.yaml +4 -4
  2. data/.github/dependabot.yml +6 -0
  3. data/.github/workflows/ruby-windows.yml +2 -1
  4. data/.github/workflows/ruby.yml +9 -10
  5. data/.gitignore +0 -1
  6. data/Gemfile +1 -1
  7. data/Gemfile.lock +30 -28
  8. data/bin/output_test.rb +1 -0
  9. data/doc/narrowing.md +195 -0
  10. data/gemfile_steep/Gemfile.lock +30 -15
  11. data/guides/src/getting-started/getting-started.md +10 -11
  12. data/lib/steep/ast/ignore.rb +148 -0
  13. data/lib/steep/cli.rb +6 -1
  14. data/lib/steep/diagnostic/ruby.rb +16 -0
  15. data/lib/steep/drivers/utils/driver_helper.rb +22 -11
  16. data/lib/steep/node_helper.rb +12 -0
  17. data/lib/steep/project/dsl.rb +18 -21
  18. data/lib/steep/project/options.rb +39 -2
  19. data/lib/steep/project.rb +11 -7
  20. data/lib/steep/server/change_buffer.rb +2 -2
  21. data/lib/steep/server/interaction_worker.rb +61 -11
  22. data/lib/steep/server/worker_process.rb +3 -1
  23. data/lib/steep/services/completion_provider.rb +39 -8
  24. data/lib/steep/services/file_loader.rb +3 -2
  25. data/lib/steep/services/signature_help_provider.rb +9 -8
  26. data/lib/steep/services/type_check_service.rb +36 -8
  27. data/lib/steep/source/ignore_ranges.rb +69 -0
  28. data/lib/steep/source.rb +10 -4
  29. data/lib/steep/type_construction.rb +6 -147
  30. data/lib/steep/type_inference/case_when.rb +301 -0
  31. data/lib/steep/version.rb +1 -1
  32. data/lib/steep.rb +14 -1
  33. data/rbs_collection.steep.lock.yaml +8 -6
  34. data/sig/shims/parser.rbs +10 -0
  35. data/sig/shims/yaml.rbs +4 -0
  36. data/sig/steep/ast/ignore.rbs +66 -0
  37. data/sig/steep/diagnostic/ruby.rbs +8 -0
  38. data/sig/steep/node_helper.rbs +2 -0
  39. data/sig/steep/project/dsl.rbs +8 -4
  40. data/sig/steep/project/options.rbs +21 -1
  41. data/sig/steep/project.rbs +3 -3
  42. data/sig/steep/server/change_buffer.rbs +6 -4
  43. data/sig/steep/server/interaction_worker.rbs +10 -0
  44. data/sig/steep/server/worker_process.rbs +4 -4
  45. data/sig/steep/services/completion_provider.rbs +14 -1
  46. data/sig/steep/services/type_check_service.rbs +6 -1
  47. data/sig/steep/source/ignore_ranges.rbs +38 -0
  48. data/sig/steep/source.rbs +5 -2
  49. data/sig/steep/subtyping/check.rbs +2 -2
  50. data/sig/steep/type_construction.rbs +1 -26
  51. data/sig/steep/type_inference/branch.rbs +15 -0
  52. data/sig/steep/type_inference/case_when.rbs +130 -0
  53. data/sig/steep.rbs +9 -0
  54. data/steep.gemspec +1 -1
  55. metadata +12 -258
  56. data/smoke/alias/Steepfile +0 -6
  57. data/smoke/alias/a.rb +0 -16
  58. data/smoke/alias/a.rbs +0 -10
  59. data/smoke/alias/b.rb +0 -6
  60. data/smoke/alias/c.rb +0 -8
  61. data/smoke/alias/test_expectations.yml +0 -96
  62. data/smoke/and/Steepfile +0 -6
  63. data/smoke/and/a.rb +0 -8
  64. data/smoke/and/test_expectations.yml +0 -29
  65. data/smoke/array/Steepfile +0 -6
  66. data/smoke/array/a.rb +0 -18
  67. data/smoke/array/b.rb +0 -12
  68. data/smoke/array/c.rb +0 -6
  69. data/smoke/array/test_expectations.yml +0 -103
  70. data/smoke/block/Steepfile +0 -6
  71. data/smoke/block/a.rb +0 -10
  72. data/smoke/block/a.rbs +0 -6
  73. data/smoke/block/b.rb +0 -13
  74. data/smoke/block/c.rb +0 -9
  75. data/smoke/block/c.rbs +0 -3
  76. data/smoke/block/d.rb +0 -11
  77. data/smoke/block/e.rb +0 -12
  78. data/smoke/block/e.rbs +0 -4
  79. data/smoke/block/test_expectations.yml +0 -133
  80. data/smoke/case/Steepfile +0 -6
  81. data/smoke/case/a.rb +0 -18
  82. data/smoke/case/test_expectations.yml +0 -47
  83. data/smoke/class/Steepfile +0 -6
  84. data/smoke/class/a.rb +0 -25
  85. data/smoke/class/a.rbs +0 -23
  86. data/smoke/class/b.rb +0 -5
  87. data/smoke/class/c.rb +0 -9
  88. data/smoke/class/f.rb +0 -10
  89. data/smoke/class/g.rb +0 -6
  90. data/smoke/class/h.rb +0 -19
  91. data/smoke/class/h.rbs +0 -6
  92. data/smoke/class/i.rb +0 -14
  93. data/smoke/class/i.rbs +0 -9
  94. data/smoke/class/test_expectations.yml +0 -117
  95. data/smoke/compact/Steepfile +0 -6
  96. data/smoke/compact/a.rb +0 -2
  97. data/smoke/compact/a.rbs +0 -5
  98. data/smoke/compact/b.rb +0 -2
  99. data/smoke/compact/test_expectations.yml +0 -18
  100. data/smoke/const/Steepfile +0 -6
  101. data/smoke/const/a.rb +0 -27
  102. data/smoke/const/b.rb +0 -7
  103. data/smoke/const/b.rbs +0 -5
  104. data/smoke/const/test_expectations.yml +0 -134
  105. data/smoke/diagnostics/Steepfile +0 -6
  106. data/smoke/diagnostics/a.rbs +0 -22
  107. data/smoke/diagnostics/argument_type_mismatch.rb +0 -1
  108. data/smoke/diagnostics/block_body_type_mismatch.rb +0 -1
  109. data/smoke/diagnostics/block_type_mismatch.rb +0 -3
  110. data/smoke/diagnostics/break_type_mismatch.rb +0 -1
  111. data/smoke/diagnostics/different_method_parameter_kind.rb +0 -9
  112. data/smoke/diagnostics/else_on_exhaustive_case.rb +0 -12
  113. data/smoke/diagnostics/incompatible_annotation.rb +0 -6
  114. data/smoke/diagnostics/incompatible_argument.rb +0 -1
  115. data/smoke/diagnostics/incompatible_assignment.rb +0 -8
  116. data/smoke/diagnostics/method_arity_mismatch.rb +0 -11
  117. data/smoke/diagnostics/method_body_type_mismatch.rb +0 -6
  118. data/smoke/diagnostics/method_definition_missing.rb +0 -2
  119. data/smoke/diagnostics/method_parameter_mismatch.rb +0 -10
  120. data/smoke/diagnostics/method_return_type_annotation_mismatch.rb +0 -7
  121. data/smoke/diagnostics/missing_keyword.rb +0 -1
  122. data/smoke/diagnostics/no_method.rb +0 -1
  123. data/smoke/diagnostics/proc_type_expected.rb +0 -3
  124. data/smoke/diagnostics/required_block_missing.rb +0 -1
  125. data/smoke/diagnostics/return_type_mismatch.rb +0 -6
  126. data/smoke/diagnostics/test_expectations.yml +0 -591
  127. data/smoke/diagnostics/unexpected_block_given.rb +0 -1
  128. data/smoke/diagnostics/unexpected_dynamic_method.rb +0 -3
  129. data/smoke/diagnostics/unexpected_jump.rb +0 -4
  130. data/smoke/diagnostics/unexpected_jump_value.rb +0 -3
  131. data/smoke/diagnostics/unexpected_keyword.rb +0 -1
  132. data/smoke/diagnostics/unexpected_splat.rb +0 -1
  133. data/smoke/diagnostics/unexpected_yield.rb +0 -6
  134. data/smoke/diagnostics/unknown_constant_assigned.rb +0 -7
  135. data/smoke/diagnostics/unresolved_overloading.rb +0 -1
  136. data/smoke/diagnostics/unsupported_syntax.rb +0 -2
  137. data/smoke/diagnostics-rbs/Steepfile +0 -8
  138. data/smoke/diagnostics-rbs/duplicated-method-definition.rbs +0 -20
  139. data/smoke/diagnostics-rbs/generic-parameter-mismatch.rbs +0 -7
  140. data/smoke/diagnostics-rbs/inherit-module.rbs +0 -2
  141. data/smoke/diagnostics-rbs/invalid-method-overload.rbs +0 -3
  142. data/smoke/diagnostics-rbs/invalid-type-application.rbs +0 -7
  143. data/smoke/diagnostics-rbs/invalid_variance_annotation.rbs +0 -3
  144. data/smoke/diagnostics-rbs/mixin-class-error.rbs +0 -6
  145. data/smoke/diagnostics-rbs/nonregular-type-alias.rbs +0 -3
  146. data/smoke/diagnostics-rbs/recursive-alias.rbs +0 -5
  147. data/smoke/diagnostics-rbs/recursive-class.rbs +0 -8
  148. data/smoke/diagnostics-rbs/recursive-type-alias.rbs +0 -3
  149. data/smoke/diagnostics-rbs/superclass-mismatch.rbs +0 -7
  150. data/smoke/diagnostics-rbs/test_expectations.yml +0 -300
  151. data/smoke/diagnostics-rbs/unknown-method-alias.rbs +0 -3
  152. data/smoke/diagnostics-rbs/unknown-type-name-2.rbs +0 -5
  153. data/smoke/diagnostics-rbs/unknown-type-name.rbs +0 -13
  154. data/smoke/diagnostics-rbs-duplicated/Steepfile +0 -6
  155. data/smoke/diagnostics-rbs-duplicated/a.rbs +0 -5
  156. data/smoke/diagnostics-rbs-duplicated/test_expectations.yml +0 -13
  157. data/smoke/diagnostics-ruby-unsat/Steepfile +0 -6
  158. data/smoke/diagnostics-ruby-unsat/a.rbs +0 -3
  159. data/smoke/diagnostics-ruby-unsat/test_expectations.yml +0 -27
  160. data/smoke/diagnostics-ruby-unsat/unsatisfiable_constraint.rb +0 -6
  161. data/smoke/dstr/Steepfile +0 -6
  162. data/smoke/dstr/a.rb +0 -5
  163. data/smoke/dstr/test_expectations.yml +0 -13
  164. data/smoke/ensure/Steepfile +0 -6
  165. data/smoke/ensure/a.rb +0 -18
  166. data/smoke/ensure/test_expectations.yml +0 -62
  167. data/smoke/enumerator/Steepfile +0 -6
  168. data/smoke/enumerator/a.rb +0 -6
  169. data/smoke/enumerator/b.rb +0 -17
  170. data/smoke/enumerator/test_expectations.yml +0 -47
  171. data/smoke/extension/Steepfile +0 -6
  172. data/smoke/extension/a.rb +0 -10
  173. data/smoke/extension/a.rbs +0 -13
  174. data/smoke/extension/b.rb +0 -10
  175. data/smoke/extension/c.rb +0 -9
  176. data/smoke/extension/d.rb +0 -2
  177. data/smoke/extension/e.rb +0 -2
  178. data/smoke/extension/e.rbs +0 -7
  179. data/smoke/extension/f.rb +0 -2
  180. data/smoke/extension/f.rbs +0 -3
  181. data/smoke/extension/test_expectations.yml +0 -73
  182. data/smoke/hash/Steepfile +0 -6
  183. data/smoke/hash/a.rb +0 -17
  184. data/smoke/hash/a.rbs +0 -8
  185. data/smoke/hash/b.rb +0 -6
  186. data/smoke/hash/c.rb +0 -15
  187. data/smoke/hash/d.rb +0 -5
  188. data/smoke/hash/e.rb +0 -1
  189. data/smoke/hash/e.rbs +0 -3
  190. data/smoke/hash/f.rb +0 -11
  191. data/smoke/hash/test_expectations.yml +0 -81
  192. data/smoke/hello/Steepfile +0 -6
  193. data/smoke/hello/hello.rb +0 -11
  194. data/smoke/hello/hello.rbs +0 -7
  195. data/smoke/hello/test_expectations.yml +0 -25
  196. data/smoke/if/Steepfile +0 -6
  197. data/smoke/if/a.rb +0 -20
  198. data/smoke/if/test_expectations.yml +0 -34
  199. data/smoke/implements/Steepfile +0 -6
  200. data/smoke/implements/a.rb +0 -12
  201. data/smoke/implements/a.rbs +0 -6
  202. data/smoke/implements/b.rb +0 -13
  203. data/smoke/implements/b.rbs +0 -12
  204. data/smoke/implements/test_expectations.yml +0 -23
  205. data/smoke/initialize/Steepfile +0 -6
  206. data/smoke/initialize/a.rb +0 -12
  207. data/smoke/initialize/a.rbs +0 -3
  208. data/smoke/initialize/test_expectations.yml +0 -1
  209. data/smoke/integer/Steepfile +0 -6
  210. data/smoke/integer/a.rb +0 -26
  211. data/smoke/integer/test_expectations.yml +0 -110
  212. data/smoke/interface/Steepfile +0 -6
  213. data/smoke/interface/a.rb +0 -12
  214. data/smoke/interface/a.rbs +0 -12
  215. data/smoke/interface/test_expectations.yml +0 -23
  216. data/smoke/kwbegin/Steepfile +0 -6
  217. data/smoke/kwbegin/a.rb +0 -7
  218. data/smoke/kwbegin/test_expectations.yml +0 -17
  219. data/smoke/lambda/Steepfile +0 -6
  220. data/smoke/lambda/a.rb +0 -10
  221. data/smoke/lambda/test_expectations.yml +0 -17
  222. data/smoke/literal/Steepfile +0 -6
  223. data/smoke/literal/a.rb +0 -11
  224. data/smoke/literal/b.rb +0 -7
  225. data/smoke/literal/literal_methods.rbs +0 -4
  226. data/smoke/literal/test_expectations.yml +0 -106
  227. data/smoke/map/Steepfile +0 -6
  228. data/smoke/map/a.rb +0 -5
  229. data/smoke/map/test_expectations.yml +0 -1
  230. data/smoke/method/Steepfile +0 -6
  231. data/smoke/method/a.rb +0 -21
  232. data/smoke/method/a.rbs +0 -4
  233. data/smoke/method/b.rb +0 -25
  234. data/smoke/method/c.rb +0 -5
  235. data/smoke/method/d.rb +0 -1
  236. data/smoke/method/d.rbs +0 -3
  237. data/smoke/method/test_expectations.yml +0 -121
  238. data/smoke/module/Steepfile +0 -6
  239. data/smoke/module/a.rb +0 -19
  240. data/smoke/module/a.rbs +0 -16
  241. data/smoke/module/b.rb +0 -6
  242. data/smoke/module/c.rb +0 -22
  243. data/smoke/module/d.rb +0 -4
  244. data/smoke/module/e.rb +0 -13
  245. data/smoke/module/f.rb +0 -11
  246. data/smoke/module/test_expectations.yml +0 -75
  247. data/smoke/regexp/Steepfile +0 -6
  248. data/smoke/regexp/a.rb +0 -109
  249. data/smoke/regexp/b.rb +0 -79
  250. data/smoke/regexp/test_expectations.yml +0 -615
  251. data/smoke/regression/Steepfile +0 -6
  252. data/smoke/regression/array.rb +0 -7
  253. data/smoke/regression/block_param_split.rb +0 -7
  254. data/smoke/regression/block_param_split.rbs +0 -3
  255. data/smoke/regression/empty_yield.rb +0 -5
  256. data/smoke/regression/empty_yield.rbs +0 -3
  257. data/smoke/regression/enumerator_product.rb +0 -1
  258. data/smoke/regression/fun.rb +0 -8
  259. data/smoke/regression/fun.rbs +0 -4
  260. data/smoke/regression/hash.rb +0 -7
  261. data/smoke/regression/hello world.rb +0 -1
  262. data/smoke/regression/issue_328.rb +0 -1
  263. data/smoke/regression/issue_328.rbs +0 -0
  264. data/smoke/regression/issue_332.rb +0 -11
  265. data/smoke/regression/issue_332.rbs +0 -19
  266. data/smoke/regression/issue_372.rb +0 -8
  267. data/smoke/regression/issue_372.rbs +0 -4
  268. data/smoke/regression/lambda.rb +0 -3
  269. data/smoke/regression/masgn.rb +0 -4
  270. data/smoke/regression/poly_new.rb +0 -2
  271. data/smoke/regression/poly_new.rbs +0 -4
  272. data/smoke/regression/range.rb +0 -5
  273. data/smoke/regression/set_divide.rb +0 -12
  274. data/smoke/regression/test_expectations.yml +0 -120
  275. data/smoke/regression/thread.rb +0 -7
  276. data/smoke/rescue/Steepfile +0 -6
  277. data/smoke/rescue/a.rb +0 -48
  278. data/smoke/rescue/test_expectations.yml +0 -79
  279. data/smoke/self/Steepfile +0 -6
  280. data/smoke/self/a.rb +0 -21
  281. data/smoke/self/a.rbs +0 -4
  282. data/smoke/self/test_expectations.yml +0 -23
  283. data/smoke/skip/Steepfile +0 -6
  284. data/smoke/skip/skip.rb +0 -13
  285. data/smoke/skip/test_expectations.yml +0 -23
  286. data/smoke/stdout/Steepfile +0 -6
  287. data/smoke/stdout/a.rb +0 -8
  288. data/smoke/stdout/a.rbs +0 -7
  289. data/smoke/stdout/test_expectations.yml +0 -1
  290. data/smoke/super/Steepfile +0 -6
  291. data/smoke/super/a.rb +0 -30
  292. data/smoke/super/a.rbs +0 -10
  293. data/smoke/super/test_expectations.yml +0 -69
  294. data/smoke/toplevel/Steepfile +0 -6
  295. data/smoke/toplevel/a.rb +0 -3
  296. data/smoke/toplevel/a.rbs +0 -3
  297. data/smoke/toplevel/test_expectations.yml +0 -15
  298. data/smoke/tsort/Steepfile +0 -7
  299. data/smoke/tsort/a.rb +0 -12
  300. data/smoke/tsort/test_expectations.yml +0 -1
  301. data/smoke/type_case/Steepfile +0 -6
  302. data/smoke/type_case/a.rb +0 -24
  303. data/smoke/type_case/test_expectations.yml +0 -58
  304. data/smoke/unexpected/Steepfile +0 -6
  305. data/smoke/unexpected/test_expectations.yml +0 -13
  306. data/smoke/unexpected/unexpected.rbs +0 -3
  307. data/smoke/yield/Steepfile +0 -6
  308. data/smoke/yield/a.rb +0 -15
  309. data/smoke/yield/b.rb +0 -6
  310. data/smoke/yield/test_expectations.yml +0 -88
data/smoke/regexp/a.rb DELETED
@@ -1,109 +0,0 @@
1
- new_1 = Regexp.new("a")
2
- new_1.foo
3
-
4
- new_2 = Regexp.new("a", nil)
5
- new_2.foo
6
-
7
- new_3 = Regexp.new("a", Regexp::EXTENDED | Regexp::IGNORECASE)
8
- new_3.foo
9
-
10
- new_4 = Regexp.new(/a/)
11
- new_4.foo
12
-
13
- compile_1 = Regexp.compile("a")
14
- compile_1.foo
15
-
16
- compile_2 = Regexp.compile("a", false)
17
- compile_2.foo
18
-
19
- compile_3 = Regexp.compile("a", Regexp::EXTENDED | Regexp::IGNORECASE)
20
- compile_3.foo
21
-
22
- compile_4 = Regexp.compile(/a/)
23
- compile_4.foo
24
-
25
- escape_1 = Regexp.escape("a")
26
- escape_1.foo
27
-
28
- last_match_1 = Regexp.last_match
29
- last_match_1.foo
30
-
31
- last_match_2 = Regexp.last_match(1)
32
- last_match_2.foo
33
-
34
- quote_1 = Regexp.quote("a")
35
- quote_1.foo
36
-
37
- try_convert_1 = Regexp.try_convert(Object.new)
38
- try_convert_1.foo
39
-
40
- union_1 = Regexp.union
41
- union_1.foo
42
-
43
- union_2 = Regexp.union("a")
44
- union_2.foo
45
-
46
- union_3 = Regexp.union("a", "b")
47
- union_3.foo
48
-
49
- union_4 = Regexp.union(["a", "b"])
50
- union_4.foo
51
-
52
- union_5 = Regexp.union(/a/)
53
- union_5.foo
54
-
55
- union_6 = Regexp.union(/a/, /b/)
56
- union_6.foo
57
-
58
- union_7 = Regexp.union([/a/, /b/])
59
- union_7.foo
60
-
61
- op_eqeqeq_1 = /a/ === "a"
62
- op_eqeqeq_1.foo
63
-
64
- op_match_1 = /a/ =~ "a"
65
- op_match_1.foo
66
-
67
- casefold_1 = /a/.casefold?
68
- casefold_1.foo
69
-
70
- encoding_1 = /a/.encoding
71
- encoding_1.foo
72
-
73
- fixed_encoding_1 = /a/.fixed_encoding?
74
- fixed_encoding_1.foo
75
-
76
- match_1 = /a/.match("a")
77
- match_1.foo
78
-
79
- match_2 = /a/.match("a", 0)
80
- match_2.foo
81
-
82
- /a/.match("a") do |m|
83
- m.foo
84
- end
85
-
86
- /a/.match("a", 0) do |m|
87
- m.foo
88
- end
89
-
90
- match_q_1 = /a/.match?("a")
91
- match_q_1.foo
92
-
93
- match_q_2 = /a/.match?("a", 0)
94
- match_q_2.foo
95
-
96
- named_captures_1 = /(?<foo>.)/.named_captures
97
- named_captures_1.foo
98
-
99
- names_1 = /(?<foo>.)/.names
100
- names_1.foo
101
-
102
- options_1 = /a/ix.options
103
- options_1.foo
104
-
105
- source_1 = /a/ix.source
106
- source_1.foo
107
-
108
- op_unary_match_1 = ~ /a/
109
- op_unary_match_1.foo
data/smoke/regexp/b.rb DELETED
@@ -1,79 +0,0 @@
1
- /(?<foo>a)/.match("a") do |match|
2
- match_ref_1 = match[0]
3
- match_ref_1.foo
4
-
5
- match_ref_2 = match["foo"]
6
- match_ref_2.foo
7
-
8
- match_ref_3 = match[:foo]
9
- match_ref_3.foo
10
-
11
- match_ref_4 = match[0, 1]
12
- match_ref_4.foo
13
-
14
- match_ref_5 = match[0..1]
15
- match_ref_5.foo
16
-
17
- begin_1 = match.begin(0)
18
- begin_1.foo
19
-
20
- begin_2 = match.begin("foo")
21
- begin_2.foo
22
-
23
- begin_3 = match.begin(:foo)
24
- begin_3.foo
25
-
26
- captures_1 = match.captures
27
- captures_1.foo
28
-
29
- end_1 = match.end(0)
30
- end_1.foo
31
-
32
- end_2 = match.end("foo")
33
- end_2.foo
34
-
35
- end_3 = match.end(:foo)
36
- end_3.foo
37
-
38
- length_1 = match.length
39
- length_1.foo
40
-
41
- named_captures_1 = match.named_captures
42
- named_captures_1.foo
43
-
44
- names_1 = match.names
45
- names_1.foo
46
-
47
- offset_1 = match.offset(0)
48
- offset_1.foo
49
-
50
- offset_2 = match.offset("foo")
51
- offset_2.foo
52
-
53
- offset_3 = match.offset(:foo)
54
- offset_3.foo
55
-
56
- post_match_1 = match.post_match
57
- post_match_1.foo
58
-
59
- pre_match_1 = match.pre_match
60
- pre_match_1.foo
61
-
62
- regexp_1 = match.regexp
63
- regexp_1.foo
64
-
65
- size_1 = match.size
66
- size_1.foo
67
-
68
- string_1 = match.string
69
- string_1.foo
70
-
71
- to_a_1 = match.to_a
72
- to_a_1.foo
73
-
74
- values_at_1 = match.values_at
75
- values_at_1.foo
76
-
77
- values_at_2 = match.values_at(0, "foo", :foo)
78
- values_at_2.foo
79
- end