steep 1.6.0 → 1.7.1

Sign up to get free protection for your applications and to get access to all the features.
Files changed (453) hide show
  1. checksums.yaml +4 -4
  2. data/.gitignore +0 -1
  3. data/CHANGELOG.md +49 -0
  4. data/README.md +18 -0
  5. data/Rakefile +5 -0
  6. data/bin/output_test.rb +1 -0
  7. data/doc/narrowing.md +195 -0
  8. data/doc/shape.md +194 -0
  9. data/guides/src/gem-rbs-collection/gem-rbs-collection.md +7 -24
  10. data/guides/src/getting-started/getting-started.md +10 -11
  11. data/lib/steep/ast/ignore.rb +148 -0
  12. data/lib/steep/ast/types/factory.rb +27 -18
  13. data/lib/steep/ast/types/helper.rb +4 -0
  14. data/lib/steep/ast/types/intersection.rb +7 -0
  15. data/lib/steep/ast/types/proc.rb +14 -9
  16. data/lib/steep/ast/types/record.rb +7 -0
  17. data/lib/steep/ast/types/tuple.rb +7 -0
  18. data/lib/steep/ast/types/union.rb +7 -0
  19. data/lib/steep/cli.rb +6 -1
  20. data/lib/steep/diagnostic/ruby.rb +16 -0
  21. data/lib/steep/drivers/stats.rb +2 -2
  22. data/lib/steep/drivers/utils/driver_helper.rb +22 -11
  23. data/lib/steep/drivers/validate.rb +4 -2
  24. data/lib/steep/expectations.rb +2 -2
  25. data/lib/steep/interface/block.rb +1 -1
  26. data/lib/steep/interface/builder.rb +342 -358
  27. data/lib/steep/interface/function.rb +82 -11
  28. data/lib/steep/interface/method_type.rb +18 -10
  29. data/lib/steep/interface/shape.rb +69 -18
  30. data/lib/steep/interface/substitution.rb +4 -0
  31. data/lib/steep/node_helper.rb +30 -1
  32. data/lib/steep/project/dsl.rb +18 -21
  33. data/lib/steep/project/options.rb +39 -2
  34. data/lib/steep/project/pattern.rb +1 -2
  35. data/lib/steep/project.rb +11 -7
  36. data/lib/steep/rake_task.rb +132 -0
  37. data/lib/steep/server/change_buffer.rb +2 -2
  38. data/lib/steep/server/interaction_worker.rb +67 -11
  39. data/lib/steep/server/lsp_formatter.rb +2 -0
  40. data/lib/steep/server/worker_process.rb +3 -1
  41. data/lib/steep/services/completion_provider.rb +59 -26
  42. data/lib/steep/services/file_loader.rb +15 -19
  43. data/lib/steep/services/signature_help_provider.rb +37 -35
  44. data/lib/steep/services/type_check_service.rb +36 -8
  45. data/lib/steep/signature/validator.rb +185 -133
  46. data/lib/steep/source/ignore_ranges.rb +69 -0
  47. data/lib/steep/source.rb +10 -4
  48. data/lib/steep/subtyping/check.rb +50 -43
  49. data/lib/steep/subtyping/result.rb +6 -0
  50. data/lib/steep/subtyping/variable_variance.rb +3 -3
  51. data/lib/steep/test.rb +9 -0
  52. data/lib/steep/type_construction.rb +205 -309
  53. data/lib/steep/type_inference/block_params.rb +12 -4
  54. data/lib/steep/type_inference/case_when.rb +301 -0
  55. data/lib/steep/type_inference/context.rb +1 -1
  56. data/lib/steep/type_inference/logic_type_interpreter.rb +3 -2
  57. data/lib/steep/type_inference/method_params.rb +16 -0
  58. data/lib/steep/type_inference/send_args.rb +5 -2
  59. data/lib/steep/version.rb +1 -1
  60. data/lib/steep.rb +25 -8
  61. data/steep.gemspec +5 -2
  62. metadata +12 -396
  63. data/.github/dependabot.yml +0 -22
  64. data/.github/workflows/ruby-windows.yml +0 -34
  65. data/.github/workflows/ruby.yml +0 -33
  66. data/.vscode/steep-shared.code-snippets +0 -41
  67. data/Gemfile +0 -14
  68. data/Gemfile.lock +0 -104
  69. data/Gemfile.steep +0 -0
  70. data/gemfile_steep/Gemfile +0 -3
  71. data/gemfile_steep/Gemfile.lock +0 -64
  72. data/rbs_collection.steep.lock.yaml +0 -106
  73. data/rbs_collection.steep.yaml +0 -23
  74. data/sig/shims/bundler.rbs +0 -3
  75. data/sig/shims/concurrent-ruby.rbs +0 -39
  76. data/sig/shims/exception.rbs +0 -4
  77. data/sig/shims/language-server_protocol.rbs +0 -450
  78. data/sig/shims/parser/comment.rbs +0 -33
  79. data/sig/shims/parser/nodes.rbs +0 -252
  80. data/sig/shims/parser/source/map.rbs +0 -146
  81. data/sig/shims/parser/source/range.rbs +0 -237
  82. data/sig/shims/parser.rbs +0 -59
  83. data/sig/shims/string.rbs +0 -4
  84. data/sig/shims/tagged_logging.rbs +0 -6
  85. data/sig/steep/annotation_parser.rbs +0 -60
  86. data/sig/steep/ast/annotation/collection.rbs +0 -78
  87. data/sig/steep/ast/annotation.rbs +0 -121
  88. data/sig/steep/ast/builtin.rbs +0 -69
  89. data/sig/steep/ast/node/type_application.rbs +0 -31
  90. data/sig/steep/ast/node/type_assertion.rbs +0 -32
  91. data/sig/steep/ast/types/any.rbs +0 -29
  92. data/sig/steep/ast/types/boolean.rbs +0 -31
  93. data/sig/steep/ast/types/bot.rbs +0 -29
  94. data/sig/steep/ast/types/class.rbs +0 -33
  95. data/sig/steep/ast/types/factory.rbs +0 -110
  96. data/sig/steep/ast/types/helper.rbs +0 -22
  97. data/sig/steep/ast/types/instance.rbs +0 -33
  98. data/sig/steep/ast/types/intersection.rbs +0 -38
  99. data/sig/steep/ast/types/literal.rbs +0 -35
  100. data/sig/steep/ast/types/logic.rbs +0 -83
  101. data/sig/steep/ast/types/name.rbs +0 -80
  102. data/sig/steep/ast/types/nil.rbs +0 -31
  103. data/sig/steep/ast/types/proc.rbs +0 -53
  104. data/sig/steep/ast/types/record.rbs +0 -37
  105. data/sig/steep/ast/types/self.rbs +0 -33
  106. data/sig/steep/ast/types/top.rbs +0 -29
  107. data/sig/steep/ast/types/tuple.rbs +0 -35
  108. data/sig/steep/ast/types/union.rbs +0 -38
  109. data/sig/steep/ast/types/var.rbs +0 -42
  110. data/sig/steep/ast/types/void.rbs +0 -29
  111. data/sig/steep/ast/types.rbs +0 -16
  112. data/sig/steep/cli.rbs +0 -55
  113. data/sig/steep/diagnostic/deprecated/else_on_exhaustive_case.rbs +0 -13
  114. data/sig/steep/diagnostic/deprecated/unknown_constant_assigned.rbs +0 -15
  115. data/sig/steep/diagnostic/helper.rbs +0 -15
  116. data/sig/steep/diagnostic/lsp_formatter.rbs +0 -36
  117. data/sig/steep/diagnostic/ruby.rbs +0 -695
  118. data/sig/steep/diagnostic/signature.rbs +0 -252
  119. data/sig/steep/drivers/annotations.rbs +0 -17
  120. data/sig/steep/drivers/check.rbs +0 -33
  121. data/sig/steep/drivers/checkfile.rbs +0 -27
  122. data/sig/steep/drivers/diagnostic_printer.rbs +0 -25
  123. data/sig/steep/drivers/init.rbs +0 -19
  124. data/sig/steep/drivers/langserver.rbs +0 -36
  125. data/sig/steep/drivers/print_project.rbs +0 -15
  126. data/sig/steep/drivers/stats.rbs +0 -47
  127. data/sig/steep/drivers/utils/driver_helper.rbs +0 -25
  128. data/sig/steep/drivers/utils/jobs_option.rbs +0 -19
  129. data/sig/steep/drivers/validate.rbs +0 -15
  130. data/sig/steep/drivers/vendor.rbs +0 -19
  131. data/sig/steep/drivers/watch.rbs +0 -27
  132. data/sig/steep/drivers/worker.rbs +0 -29
  133. data/sig/steep/equatable.rbs +0 -11
  134. data/sig/steep/expectations.rbs +0 -72
  135. data/sig/steep/index/rbs_index.rbs +0 -141
  136. data/sig/steep/index/signature_symbol_provider.rbs +0 -41
  137. data/sig/steep/index/source_index.rbs +0 -63
  138. data/sig/steep/interface/block.rbs +0 -41
  139. data/sig/steep/interface/builder.rbs +0 -166
  140. data/sig/steep/interface/function.rbs +0 -265
  141. data/sig/steep/interface/method_type.rbs +0 -105
  142. data/sig/steep/interface/shape.rbs +0 -61
  143. data/sig/steep/interface/substitution.rbs +0 -49
  144. data/sig/steep/interface/type_param.rbs +0 -43
  145. data/sig/steep/method_name.rbs +0 -30
  146. data/sig/steep/module_helper.rbs +0 -16
  147. data/sig/steep/node_helper.rbs +0 -78
  148. data/sig/steep/path_helper.rbs +0 -15
  149. data/sig/steep/project/dsl.rbs +0 -104
  150. data/sig/steep/project/options.rbs +0 -27
  151. data/sig/steep/project/pattern.rbs +0 -47
  152. data/sig/steep/project/target.rbs +0 -25
  153. data/sig/steep/project.rbs +0 -26
  154. data/sig/steep/range_extension.rbs +0 -7
  155. data/sig/steep/server/base_worker.rbs +0 -49
  156. data/sig/steep/server/change_buffer.rbs +0 -36
  157. data/sig/steep/server/delay_queue.rbs +0 -37
  158. data/sig/steep/server/interaction_worker.rbs +0 -80
  159. data/sig/steep/server/lsp_formatter.rbs +0 -63
  160. data/sig/steep/server/master.rbs +0 -299
  161. data/sig/steep/server/type_check_worker.rbs +0 -141
  162. data/sig/steep/server/worker_process.rbs +0 -97
  163. data/sig/steep/services/completion_provider.rbs +0 -251
  164. data/sig/steep/services/content_change.rbs +0 -37
  165. data/sig/steep/services/file_loader.rbs +0 -21
  166. data/sig/steep/services/goto_service.rbs +0 -106
  167. data/sig/steep/services/hover_provider/rbs.rbs +0 -47
  168. data/sig/steep/services/hover_provider/ruby.rbs +0 -127
  169. data/sig/steep/services/hover_provider/singleton_methods.rbs +0 -11
  170. data/sig/steep/services/path_assignment.rbs +0 -21
  171. data/sig/steep/services/signature_help_provider.rbs +0 -49
  172. data/sig/steep/services/signature_service.rbs +0 -156
  173. data/sig/steep/services/stats_calculator.rbs +0 -41
  174. data/sig/steep/services/type_check_service.rbs +0 -107
  175. data/sig/steep/services/type_name_completion.rbs +0 -135
  176. data/sig/steep/signature/validator.rbs +0 -85
  177. data/sig/steep/source.rbs +0 -102
  178. data/sig/steep/subtyping/cache.rbs +0 -17
  179. data/sig/steep/subtyping/check.rbs +0 -129
  180. data/sig/steep/subtyping/constraints.rbs +0 -111
  181. data/sig/steep/subtyping/relation.rbs +0 -63
  182. data/sig/steep/subtyping/result.rbs +0 -175
  183. data/sig/steep/subtyping/variable_variance.rbs +0 -25
  184. data/sig/steep/thread_waiter.rbs +0 -13
  185. data/sig/steep/type_construction.rbs +0 -567
  186. data/sig/steep/type_inference/block_params.rbs +0 -170
  187. data/sig/steep/type_inference/constant_env.rbs +0 -29
  188. data/sig/steep/type_inference/context.rbs +0 -214
  189. data/sig/steep/type_inference/context_array.rbs +0 -38
  190. data/sig/steep/type_inference/logic_type_interpreter.rbs +0 -108
  191. data/sig/steep/type_inference/method_call.rbs +0 -124
  192. data/sig/steep/type_inference/method_params.rbs +0 -127
  193. data/sig/steep/type_inference/multiple_assignment.rbs +0 -76
  194. data/sig/steep/type_inference/send_args.rbs +0 -243
  195. data/sig/steep/type_inference/type_env.rbs +0 -160
  196. data/sig/steep/type_inference/type_env_builder.rbs +0 -81
  197. data/sig/steep/typing.rbs +0 -75
  198. data/sig/steep.rbs +0 -36
  199. data/smoke/alias/Steepfile +0 -6
  200. data/smoke/alias/a.rb +0 -16
  201. data/smoke/alias/a.rbs +0 -10
  202. data/smoke/alias/b.rb +0 -6
  203. data/smoke/alias/c.rb +0 -8
  204. data/smoke/alias/test_expectations.yml +0 -96
  205. data/smoke/and/Steepfile +0 -6
  206. data/smoke/and/a.rb +0 -8
  207. data/smoke/and/test_expectations.yml +0 -29
  208. data/smoke/array/Steepfile +0 -6
  209. data/smoke/array/a.rb +0 -18
  210. data/smoke/array/b.rb +0 -12
  211. data/smoke/array/c.rb +0 -6
  212. data/smoke/array/test_expectations.yml +0 -103
  213. data/smoke/block/Steepfile +0 -6
  214. data/smoke/block/a.rb +0 -10
  215. data/smoke/block/a.rbs +0 -6
  216. data/smoke/block/b.rb +0 -13
  217. data/smoke/block/c.rb +0 -9
  218. data/smoke/block/c.rbs +0 -3
  219. data/smoke/block/d.rb +0 -11
  220. data/smoke/block/e.rb +0 -12
  221. data/smoke/block/e.rbs +0 -4
  222. data/smoke/block/test_expectations.yml +0 -133
  223. data/smoke/case/Steepfile +0 -6
  224. data/smoke/case/a.rb +0 -18
  225. data/smoke/case/test_expectations.yml +0 -47
  226. data/smoke/class/Steepfile +0 -6
  227. data/smoke/class/a.rb +0 -25
  228. data/smoke/class/a.rbs +0 -23
  229. data/smoke/class/b.rb +0 -5
  230. data/smoke/class/c.rb +0 -9
  231. data/smoke/class/f.rb +0 -10
  232. data/smoke/class/g.rb +0 -6
  233. data/smoke/class/h.rb +0 -19
  234. data/smoke/class/h.rbs +0 -6
  235. data/smoke/class/i.rb +0 -14
  236. data/smoke/class/i.rbs +0 -9
  237. data/smoke/class/test_expectations.yml +0 -117
  238. data/smoke/compact/Steepfile +0 -6
  239. data/smoke/compact/a.rb +0 -2
  240. data/smoke/compact/a.rbs +0 -5
  241. data/smoke/compact/b.rb +0 -2
  242. data/smoke/compact/test_expectations.yml +0 -18
  243. data/smoke/const/Steepfile +0 -6
  244. data/smoke/const/a.rb +0 -27
  245. data/smoke/const/b.rb +0 -7
  246. data/smoke/const/b.rbs +0 -5
  247. data/smoke/const/test_expectations.yml +0 -134
  248. data/smoke/diagnostics/Steepfile +0 -6
  249. data/smoke/diagnostics/a.rbs +0 -22
  250. data/smoke/diagnostics/argument_type_mismatch.rb +0 -1
  251. data/smoke/diagnostics/block_body_type_mismatch.rb +0 -1
  252. data/smoke/diagnostics/block_type_mismatch.rb +0 -3
  253. data/smoke/diagnostics/break_type_mismatch.rb +0 -1
  254. data/smoke/diagnostics/different_method_parameter_kind.rb +0 -9
  255. data/smoke/diagnostics/else_on_exhaustive_case.rb +0 -12
  256. data/smoke/diagnostics/incompatible_annotation.rb +0 -6
  257. data/smoke/diagnostics/incompatible_argument.rb +0 -1
  258. data/smoke/diagnostics/incompatible_assignment.rb +0 -8
  259. data/smoke/diagnostics/method_arity_mismatch.rb +0 -11
  260. data/smoke/diagnostics/method_body_type_mismatch.rb +0 -6
  261. data/smoke/diagnostics/method_definition_missing.rb +0 -2
  262. data/smoke/diagnostics/method_parameter_mismatch.rb +0 -10
  263. data/smoke/diagnostics/method_return_type_annotation_mismatch.rb +0 -7
  264. data/smoke/diagnostics/missing_keyword.rb +0 -1
  265. data/smoke/diagnostics/no_method.rb +0 -1
  266. data/smoke/diagnostics/proc_type_expected.rb +0 -3
  267. data/smoke/diagnostics/required_block_missing.rb +0 -1
  268. data/smoke/diagnostics/return_type_mismatch.rb +0 -6
  269. data/smoke/diagnostics/test_expectations.yml +0 -591
  270. data/smoke/diagnostics/unexpected_block_given.rb +0 -1
  271. data/smoke/diagnostics/unexpected_dynamic_method.rb +0 -3
  272. data/smoke/diagnostics/unexpected_jump.rb +0 -4
  273. data/smoke/diagnostics/unexpected_jump_value.rb +0 -3
  274. data/smoke/diagnostics/unexpected_keyword.rb +0 -1
  275. data/smoke/diagnostics/unexpected_splat.rb +0 -1
  276. data/smoke/diagnostics/unexpected_yield.rb +0 -6
  277. data/smoke/diagnostics/unknown_constant_assigned.rb +0 -7
  278. data/smoke/diagnostics/unresolved_overloading.rb +0 -1
  279. data/smoke/diagnostics/unsupported_syntax.rb +0 -2
  280. data/smoke/diagnostics-rbs/Steepfile +0 -8
  281. data/smoke/diagnostics-rbs/duplicated-method-definition.rbs +0 -20
  282. data/smoke/diagnostics-rbs/generic-parameter-mismatch.rbs +0 -7
  283. data/smoke/diagnostics-rbs/inherit-module.rbs +0 -2
  284. data/smoke/diagnostics-rbs/invalid-method-overload.rbs +0 -3
  285. data/smoke/diagnostics-rbs/invalid-type-application.rbs +0 -7
  286. data/smoke/diagnostics-rbs/invalid_variance_annotation.rbs +0 -3
  287. data/smoke/diagnostics-rbs/mixin-class-error.rbs +0 -6
  288. data/smoke/diagnostics-rbs/nonregular-type-alias.rbs +0 -3
  289. data/smoke/diagnostics-rbs/recursive-alias.rbs +0 -5
  290. data/smoke/diagnostics-rbs/recursive-class.rbs +0 -8
  291. data/smoke/diagnostics-rbs/recursive-type-alias.rbs +0 -3
  292. data/smoke/diagnostics-rbs/superclass-mismatch.rbs +0 -7
  293. data/smoke/diagnostics-rbs/test_expectations.yml +0 -300
  294. data/smoke/diagnostics-rbs/unknown-method-alias.rbs +0 -3
  295. data/smoke/diagnostics-rbs/unknown-type-name-2.rbs +0 -5
  296. data/smoke/diagnostics-rbs/unknown-type-name.rbs +0 -13
  297. data/smoke/diagnostics-rbs-duplicated/Steepfile +0 -6
  298. data/smoke/diagnostics-rbs-duplicated/a.rbs +0 -5
  299. data/smoke/diagnostics-rbs-duplicated/test_expectations.yml +0 -13
  300. data/smoke/diagnostics-ruby-unsat/Steepfile +0 -6
  301. data/smoke/diagnostics-ruby-unsat/a.rbs +0 -3
  302. data/smoke/diagnostics-ruby-unsat/test_expectations.yml +0 -27
  303. data/smoke/diagnostics-ruby-unsat/unsatisfiable_constraint.rb +0 -6
  304. data/smoke/dstr/Steepfile +0 -6
  305. data/smoke/dstr/a.rb +0 -5
  306. data/smoke/dstr/test_expectations.yml +0 -13
  307. data/smoke/ensure/Steepfile +0 -6
  308. data/smoke/ensure/a.rb +0 -18
  309. data/smoke/ensure/test_expectations.yml +0 -62
  310. data/smoke/enumerator/Steepfile +0 -6
  311. data/smoke/enumerator/a.rb +0 -6
  312. data/smoke/enumerator/b.rb +0 -17
  313. data/smoke/enumerator/test_expectations.yml +0 -47
  314. data/smoke/extension/Steepfile +0 -6
  315. data/smoke/extension/a.rb +0 -10
  316. data/smoke/extension/a.rbs +0 -13
  317. data/smoke/extension/b.rb +0 -10
  318. data/smoke/extension/c.rb +0 -9
  319. data/smoke/extension/d.rb +0 -2
  320. data/smoke/extension/e.rb +0 -2
  321. data/smoke/extension/e.rbs +0 -7
  322. data/smoke/extension/f.rb +0 -2
  323. data/smoke/extension/f.rbs +0 -3
  324. data/smoke/extension/test_expectations.yml +0 -73
  325. data/smoke/hash/Steepfile +0 -6
  326. data/smoke/hash/a.rb +0 -17
  327. data/smoke/hash/a.rbs +0 -8
  328. data/smoke/hash/b.rb +0 -6
  329. data/smoke/hash/c.rb +0 -15
  330. data/smoke/hash/d.rb +0 -5
  331. data/smoke/hash/e.rb +0 -1
  332. data/smoke/hash/e.rbs +0 -3
  333. data/smoke/hash/f.rb +0 -11
  334. data/smoke/hash/test_expectations.yml +0 -81
  335. data/smoke/hello/Steepfile +0 -6
  336. data/smoke/hello/hello.rb +0 -11
  337. data/smoke/hello/hello.rbs +0 -7
  338. data/smoke/hello/test_expectations.yml +0 -25
  339. data/smoke/if/Steepfile +0 -6
  340. data/smoke/if/a.rb +0 -20
  341. data/smoke/if/test_expectations.yml +0 -34
  342. data/smoke/implements/Steepfile +0 -6
  343. data/smoke/implements/a.rb +0 -12
  344. data/smoke/implements/a.rbs +0 -6
  345. data/smoke/implements/b.rb +0 -13
  346. data/smoke/implements/b.rbs +0 -12
  347. data/smoke/implements/test_expectations.yml +0 -23
  348. data/smoke/initialize/Steepfile +0 -6
  349. data/smoke/initialize/a.rb +0 -12
  350. data/smoke/initialize/a.rbs +0 -3
  351. data/smoke/initialize/test_expectations.yml +0 -1
  352. data/smoke/integer/Steepfile +0 -6
  353. data/smoke/integer/a.rb +0 -26
  354. data/smoke/integer/test_expectations.yml +0 -110
  355. data/smoke/interface/Steepfile +0 -6
  356. data/smoke/interface/a.rb +0 -12
  357. data/smoke/interface/a.rbs +0 -12
  358. data/smoke/interface/test_expectations.yml +0 -23
  359. data/smoke/kwbegin/Steepfile +0 -6
  360. data/smoke/kwbegin/a.rb +0 -7
  361. data/smoke/kwbegin/test_expectations.yml +0 -17
  362. data/smoke/lambda/Steepfile +0 -6
  363. data/smoke/lambda/a.rb +0 -10
  364. data/smoke/lambda/test_expectations.yml +0 -17
  365. data/smoke/literal/Steepfile +0 -6
  366. data/smoke/literal/a.rb +0 -11
  367. data/smoke/literal/b.rb +0 -7
  368. data/smoke/literal/literal_methods.rbs +0 -4
  369. data/smoke/literal/test_expectations.yml +0 -106
  370. data/smoke/map/Steepfile +0 -6
  371. data/smoke/map/a.rb +0 -5
  372. data/smoke/map/test_expectations.yml +0 -1
  373. data/smoke/method/Steepfile +0 -6
  374. data/smoke/method/a.rb +0 -21
  375. data/smoke/method/a.rbs +0 -4
  376. data/smoke/method/b.rb +0 -25
  377. data/smoke/method/c.rb +0 -5
  378. data/smoke/method/d.rb +0 -1
  379. data/smoke/method/d.rbs +0 -3
  380. data/smoke/method/test_expectations.yml +0 -121
  381. data/smoke/module/Steepfile +0 -6
  382. data/smoke/module/a.rb +0 -19
  383. data/smoke/module/a.rbs +0 -16
  384. data/smoke/module/b.rb +0 -6
  385. data/smoke/module/c.rb +0 -22
  386. data/smoke/module/d.rb +0 -4
  387. data/smoke/module/e.rb +0 -13
  388. data/smoke/module/f.rb +0 -11
  389. data/smoke/module/test_expectations.yml +0 -75
  390. data/smoke/regexp/Steepfile +0 -6
  391. data/smoke/regexp/a.rb +0 -109
  392. data/smoke/regexp/b.rb +0 -79
  393. data/smoke/regexp/test_expectations.yml +0 -615
  394. data/smoke/regression/Steepfile +0 -6
  395. data/smoke/regression/array.rb +0 -7
  396. data/smoke/regression/block_param_split.rb +0 -7
  397. data/smoke/regression/block_param_split.rbs +0 -3
  398. data/smoke/regression/empty_yield.rb +0 -5
  399. data/smoke/regression/empty_yield.rbs +0 -3
  400. data/smoke/regression/enumerator_product.rb +0 -1
  401. data/smoke/regression/fun.rb +0 -8
  402. data/smoke/regression/fun.rbs +0 -4
  403. data/smoke/regression/hash.rb +0 -7
  404. data/smoke/regression/hello world.rb +0 -1
  405. data/smoke/regression/issue_328.rb +0 -1
  406. data/smoke/regression/issue_328.rbs +0 -0
  407. data/smoke/regression/issue_332.rb +0 -11
  408. data/smoke/regression/issue_332.rbs +0 -19
  409. data/smoke/regression/issue_372.rb +0 -8
  410. data/smoke/regression/issue_372.rbs +0 -4
  411. data/smoke/regression/lambda.rb +0 -3
  412. data/smoke/regression/masgn.rb +0 -4
  413. data/smoke/regression/poly_new.rb +0 -2
  414. data/smoke/regression/poly_new.rbs +0 -4
  415. data/smoke/regression/range.rb +0 -5
  416. data/smoke/regression/set_divide.rb +0 -12
  417. data/smoke/regression/test_expectations.yml +0 -120
  418. data/smoke/regression/thread.rb +0 -7
  419. data/smoke/rescue/Steepfile +0 -6
  420. data/smoke/rescue/a.rb +0 -48
  421. data/smoke/rescue/test_expectations.yml +0 -79
  422. data/smoke/self/Steepfile +0 -6
  423. data/smoke/self/a.rb +0 -21
  424. data/smoke/self/a.rbs +0 -4
  425. data/smoke/self/test_expectations.yml +0 -23
  426. data/smoke/skip/Steepfile +0 -6
  427. data/smoke/skip/skip.rb +0 -13
  428. data/smoke/skip/test_expectations.yml +0 -23
  429. data/smoke/stdout/Steepfile +0 -6
  430. data/smoke/stdout/a.rb +0 -8
  431. data/smoke/stdout/a.rbs +0 -7
  432. data/smoke/stdout/test_expectations.yml +0 -1
  433. data/smoke/super/Steepfile +0 -6
  434. data/smoke/super/a.rb +0 -30
  435. data/smoke/super/a.rbs +0 -10
  436. data/smoke/super/test_expectations.yml +0 -69
  437. data/smoke/toplevel/Steepfile +0 -6
  438. data/smoke/toplevel/a.rb +0 -3
  439. data/smoke/toplevel/a.rbs +0 -3
  440. data/smoke/toplevel/test_expectations.yml +0 -15
  441. data/smoke/tsort/Steepfile +0 -7
  442. data/smoke/tsort/a.rb +0 -12
  443. data/smoke/tsort/test_expectations.yml +0 -1
  444. data/smoke/type_case/Steepfile +0 -6
  445. data/smoke/type_case/a.rb +0 -24
  446. data/smoke/type_case/test_expectations.yml +0 -58
  447. data/smoke/unexpected/Steepfile +0 -6
  448. data/smoke/unexpected/test_expectations.yml +0 -13
  449. data/smoke/unexpected/unexpected.rbs +0 -3
  450. data/smoke/yield/Steepfile +0 -6
  451. data/smoke/yield/a.rb +0 -15
  452. data/smoke/yield/b.rb +0 -6
  453. data/smoke/yield/test_expectations.yml +0 -88
data/smoke/regexp/test_expectations.yml DELETED
@@ -1,615 +0,0 @@
1
- ---
2
- - file: a.rb
3
- diagnostics:
4
- - range:
5
- start:
6
- line: 2
7
- character: 6
8
- end:
9
- line: 2
10
- character: 9
11
- severity: ERROR
12
- message: Type `::Regexp` does not have method `foo`
13
- code: Ruby::NoMethod
14
- - range:
15
- start:
16
- line: 5
17
- character: 6
18
- end:
19
- line: 5
20
- character: 9
21
- severity: ERROR
22
- message: Type `::Regexp` does not have method `foo`
23
- code: Ruby::NoMethod
24
- - range:
25
- start:
26
- line: 8
27
- character: 6
28
- end:
29
- line: 8
30
- character: 9
31
- severity: ERROR
32
- message: Type `::Regexp` does not have method `foo`
33
- code: Ruby::NoMethod
34
- - range:
35
- start:
36
- line: 11
37
- character: 6
38
- end:
39
- line: 11
40
- character: 9
41
- severity: ERROR
42
- message: Type `::Regexp` does not have method `foo`
43
- code: Ruby::NoMethod
44
- - range:
45
- start:
46
- line: 14
47
- character: 10
48
- end:
49
- line: 14
50
- character: 13
51
- severity: ERROR
52
- message: Type `::Regexp` does not have method `foo`
53
- code: Ruby::NoMethod
54
- - range:
55
- start:
56
- line: 17
57
- character: 10
58
- end:
59
- line: 17
60
- character: 13
61
- severity: ERROR
62
- message: Type `::Regexp` does not have method `foo`
63
- code: Ruby::NoMethod
64
- - range:
65
- start:
66
- line: 20
67
- character: 10
68
- end:
69
- line: 20
70
- character: 13
71
- severity: ERROR
72
- message: Type `::Regexp` does not have method `foo`
73
- code: Ruby::NoMethod
74
- - range:
75
- start:
76
- line: 23
77
- character: 10
78
- end:
79
- line: 23
80
- character: 13
81
- severity: ERROR
82
- message: Type `::Regexp` does not have method `foo`
83
- code: Ruby::NoMethod
84
- - range:
85
- start:
86
- line: 26
87
- character: 9
88
- end:
89
- line: 26
90
- character: 12
91
- severity: ERROR
92
- message: Type `::String` does not have method `foo`
93
- code: Ruby::NoMethod
94
- - range:
95
- start:
96
- line: 29
97
- character: 13
98
- end:
99
- line: 29
100
- character: 16
101
- severity: ERROR
102
- message: Type `(::MatchData | nil)` does not have method `foo`
103
- code: Ruby::NoMethod
104
- - range:
105
- start:
106
- line: 32
107
- character: 13
108
- end:
109
- line: 32
110
- character: 16
111
- severity: ERROR
112
- message: Type `(::String | nil)` does not have method `foo`
113
- code: Ruby::NoMethod
114
- - range:
115
- start:
116
- line: 35
117
- character: 8
118
- end:
119
- line: 35
120
- character: 11
121
- severity: ERROR
122
- message: Type `::String` does not have method `foo`
123
- code: Ruby::NoMethod
124
- - range:
125
- start:
126
- line: 38
127
- character: 14
128
- end:
129
- line: 38
130
- character: 17
131
- severity: ERROR
132
- message: Type `(::Regexp | nil)` does not have method `foo`
133
- code: Ruby::NoMethod
134
- - range:
135
- start:
136
- line: 41
137
- character: 8
138
- end:
139
- line: 41
140
- character: 11
141
- severity: ERROR
142
- message: Type `::Regexp` does not have method `foo`
143
- code: Ruby::NoMethod
144
- - range:
145
- start:
146
- line: 44
147
- character: 8
148
- end:
149
- line: 44
150
- character: 11
151
- severity: ERROR
152
- message: Type `::Regexp` does not have method `foo`
153
- code: Ruby::NoMethod
154
- - range:
155
- start:
156
- line: 47
157
- character: 8
158
- end:
159
- line: 47
160
- character: 11
161
- severity: ERROR
162
- message: Type `::Regexp` does not have method `foo`
163
- code: Ruby::NoMethod
164
- - range:
165
- start:
166
- line: 50
167
- character: 8
168
- end:
169
- line: 50
170
- character: 11
171
- severity: ERROR
172
- message: Type `::Regexp` does not have method `foo`
173
- code: Ruby::NoMethod
174
- - range:
175
- start:
176
- line: 53
177
- character: 8
178
- end:
179
- line: 53
180
- character: 11
181
- severity: ERROR
182
- message: Type `::Regexp` does not have method `foo`
183
- code: Ruby::NoMethod
184
- - range:
185
- start:
186
- line: 56
187
- character: 8
188
- end:
189
- line: 56
190
- character: 11
191
- severity: ERROR
192
- message: Type `::Regexp` does not have method `foo`
193
- code: Ruby::NoMethod
194
- - range:
195
- start:
196
- line: 59
197
- character: 8
198
- end:
199
- line: 59
200
- character: 11
201
- severity: ERROR
202
- message: Type `::Regexp` does not have method `foo`
203
- code: Ruby::NoMethod
204
- - range:
205
- start:
206
- line: 62
207
- character: 12
208
- end:
209
- line: 62
210
- character: 15
211
- severity: ERROR
212
- message: Type `bool` does not have method `foo`
213
- code: Ruby::NoMethod
214
- - range:
215
- start:
216
- line: 68
217
- character: 11
218
- end:
219
- line: 68
220
- character: 14
221
- severity: ERROR
222
- message: Type `bool` does not have method `foo`
223
- code: Ruby::NoMethod
224
- - range:
225
- start:
226
- line: 71
227
- character: 11
228
- end:
229
- line: 71
230
- character: 14
231
- severity: ERROR
232
- message: Type `::Encoding` does not have method `foo`
233
- code: Ruby::NoMethod
234
- - range:
235
- start:
236
- line: 74
237
- character: 17
238
- end:
239
- line: 74
240
- character: 20
241
- severity: ERROR
242
- message: Type `bool` does not have method `foo`
243
- code: Ruby::NoMethod
244
- - range:
245
- start:
246
- line: 77
247
- character: 8
248
- end:
249
- line: 77
250
- character: 11
251
- severity: ERROR
252
- message: Type `(::MatchData | nil)` does not have method `foo`
253
- code: Ruby::NoMethod
254
- - range:
255
- start:
256
- line: 80
257
- character: 8
258
- end:
259
- line: 80
260
- character: 11
261
- severity: ERROR
262
- message: Type `(::MatchData | nil)` does not have method `foo`
263
- code: Ruby::NoMethod
264
- - range:
265
- start:
266
- line: 83
267
- character: 4
268
- end:
269
- line: 83
270
- character: 7
271
- severity: ERROR
272
- message: Type `::MatchData` does not have method `foo`
273
- code: Ruby::NoMethod
274
- - range:
275
- start:
276
- line: 87
277
- character: 4
278
- end:
279
- line: 87
280
- character: 7
281
- severity: ERROR
282
- message: Type `::MatchData` does not have method `foo`
283
- code: Ruby::NoMethod
284
- - range:
285
- start:
286
- line: 91
287
- character: 10
288
- end:
289
- line: 91
290
- character: 13
291
- severity: ERROR
292
- message: Type `bool` does not have method `foo`
293
- code: Ruby::NoMethod
294
- - range:
295
- start:
296
- line: 94
297
- character: 10
298
- end:
299
- line: 94
300
- character: 13
301
- severity: ERROR
302
- message: Type `bool` does not have method `foo`
303
- code: Ruby::NoMethod
304
- - range:
305
- start:
306
- line: 97
307
- character: 17
308
- end:
309
- line: 97
310
- character: 20
311
- severity: ERROR
312
- message: Type `::Hash[::String, ::Array[::Integer]]` does not have method `foo`
313
- code: Ruby::NoMethod
314
- - range:
315
- start:
316
- line: 100
317
- character: 8
318
- end:
319
- line: 100
320
- character: 11
321
- severity: ERROR
322
- message: Type `::Array[::String]` does not have method `foo`
323
- code: Ruby::NoMethod
324
- - range:
325
- start:
326
- line: 103
327
- character: 10
328
- end:
329
- line: 103
330
- character: 13
331
- severity: ERROR
332
- message: Type `::Integer` does not have method `foo`
333
- code: Ruby::NoMethod
334
- - range:
335
- start:
336
- line: 106
337
- character: 9
338
- end:
339
- line: 106
340
- character: 12
341
- severity: ERROR
342
- message: Type `::String` does not have method `foo`
343
- code: Ruby::NoMethod
344
- - range:
345
- start:
346
- line: 109
347
- character: 17
348
- end:
349
- line: 109
350
- character: 20
351
- severity: ERROR
352
- message: Type `(::Integer | nil)` does not have method `foo`
353
- code: Ruby::NoMethod
354
- - file: b.rb
355
- diagnostics:
356
- - range:
357
- start:
358
- line: 3
359
- character: 14
360
- end:
361
- line: 3
362
- character: 17
363
- severity: ERROR
364
- message: Type `(::String | nil)` does not have method `foo`
365
- code: Ruby::NoMethod
366
- - range:
367
- start:
368
- line: 6
369
- character: 14
370
- end:
371
- line: 6
372
- character: 17
373
- severity: ERROR
374
- message: Type `(::String | nil)` does not have method `foo`
375
- code: Ruby::NoMethod
376
- - range:
377
- start:
378
- line: 9
379
- character: 14
380
- end:
381
- line: 9
382
- character: 17
383
- severity: ERROR
384
- message: Type `(::String | nil)` does not have method `foo`
385
- code: Ruby::NoMethod
386
- - range:
387
- start:
388
- line: 12
389
- character: 14
390
- end:
391
- line: 12
392
- character: 17
393
- severity: ERROR
394
- message: Type `::Array[(::String | nil)]` does not have method `foo`
395
- code: Ruby::NoMethod
396
- - range:
397
- start:
398
- line: 15
399
- character: 14
400
- end:
401
- line: 15
402
- character: 17
403
- severity: ERROR
404
- message: Type `::Array[(::String | nil)]` does not have method `foo`
405
- code: Ruby::NoMethod
406
- - range:
407
- start:
408
- line: 18
409
- character: 10
410
- end:
411
- line: 18
412
- character: 13
413
- severity: ERROR
414
- message: Type `(::Integer | nil)` does not have method `foo`
415
- code: Ruby::NoMethod
416
- - range:
417
- start:
418
- line: 21
419
- character: 10
420
- end:
421
- line: 21
422
- character: 13
423
- severity: ERROR
424
- message: Type `(::Integer | nil)` does not have method `foo`
425
- code: Ruby::NoMethod
426
- - range:
427
- start:
428
- line: 24
429
- character: 10
430
- end:
431
- line: 24
432
- character: 13
433
- severity: ERROR
434
- message: Type `(::Integer | nil)` does not have method `foo`
435
- code: Ruby::NoMethod
436
- - range:
437
- start:
438
- line: 27
439
- character: 13
440
- end:
441
- line: 27
442
- character: 16
443
- severity: ERROR
444
- message: Type `::Array[(::String | nil)]` does not have method `foo`
445
- code: Ruby::NoMethod
446
- - range:
447
- start:
448
- line: 30
449
- character: 8
450
- end:
451
- line: 30
452
- character: 11
453
- severity: ERROR
454
- message: Type `(::Integer | nil)` does not have method `foo`
455
- code: Ruby::NoMethod
456
- - range:
457
- start:
458
- line: 33
459
- character: 8
460
- end:
461
- line: 33
462
- character: 11
463
- severity: ERROR
464
- message: Type `(::Integer | nil)` does not have method `foo`
465
- code: Ruby::NoMethod
466
- - range:
467
- start:
468
- line: 36
469
- character: 8
470
- end:
471
- line: 36
472
- character: 11
473
- severity: ERROR
474
- message: Type `(::Integer | nil)` does not have method `foo`
475
- code: Ruby::NoMethod
476
- - range:
477
- start:
478
- line: 39
479
- character: 11
480
- end:
481
- line: 39
482
- character: 14
483
- severity: ERROR
484
- message: Type `::Integer` does not have method `foo`
485
- code: Ruby::NoMethod
486
- - range:
487
- start:
488
- line: 42
489
- character: 19
490
- end:
491
- line: 42
492
- character: 22
493
- severity: ERROR
494
- message: Type `::Hash[::String, (::String | nil)]` does not have method `foo`
495
- code: Ruby::NoMethod
496
- - range:
497
- start:
498
- line: 45
499
- character: 10
500
- end:
501
- line: 45
502
- character: 13
503
- severity: ERROR
504
- message: Type `::Array[::String]` does not have method `foo`
505
- code: Ruby::NoMethod
506
- - range:
507
- start:
508
- line: 48
509
- character: 11
510
- end:
511
- line: 48
512
- character: 14
513
- severity: ERROR
514
- message: Type `([::Integer, ::Integer] | [nil, nil])` does not have method `foo`
515
- code: Ruby::NoMethod
516
- - range:
517
- start:
518
- line: 51
519
- character: 11
520
- end:
521
- line: 51
522
- character: 14
523
- severity: ERROR
524
- message: Type `([::Integer, ::Integer] | [nil, nil])` does not have method `foo`
525
- code: Ruby::NoMethod
526
- - range:
527
- start:
528
- line: 54
529
- character: 11
530
- end:
531
- line: 54
532
- character: 14
533
- severity: ERROR
534
- message: Type `([::Integer, ::Integer] | [nil, nil])` does not have method `foo`
535
- code: Ruby::NoMethod
536
- - range:
537
- start:
538
- line: 57
539
- character: 15
540
- end:
541
- line: 57
542
- character: 18
543
- severity: ERROR
544
- message: Type `::String` does not have method `foo`
545
- code: Ruby::NoMethod
546
- - range:
547
- start:
548
- line: 60
549
- character: 14
550
- end:
551
- line: 60
552
- character: 17
553
- severity: ERROR
554
- message: Type `::String` does not have method `foo`
555
- code: Ruby::NoMethod
556
- - range:
557
- start:
558
- line: 63
559
- character: 11
560
- end:
561
- line: 63
562
- character: 14
563
- severity: ERROR
564
- message: Type `::Regexp` does not have method `foo`
565
- code: Ruby::NoMethod
566
- - range:
567
- start:
568
- line: 66
569
- character: 9
570
- end:
571
- line: 66
572
- character: 12
573
- severity: ERROR
574
- message: Type `::Integer` does not have method `foo`
575
- code: Ruby::NoMethod
576
- - range:
577
- start:
578
- line: 69
579
- character: 11
580
- end:
581
- line: 69
582
- character: 14
583
- severity: ERROR
584
- message: Type `::String` does not have method `foo`
585
- code: Ruby::NoMethod
586
- - range:
587
- start:
588
- line: 72
589
- character: 9
590
- end:
591
- line: 72
592
- character: 12
593
- severity: ERROR
594
- message: Type `::Array[(::String | nil)]` does not have method `foo`
595
- code: Ruby::NoMethod
596
- - range:
597
- start:
598
- line: 75
599
- character: 14
600
- end:
601
- line: 75
602
- character: 17
603
- severity: ERROR
604
- message: Type `::Array[(::String | nil)]` does not have method `foo`
605
- code: Ruby::NoMethod
606
- - range:
607
- start:
608
- line: 78
609
- character: 14
610
- end:
611
- line: 78
612
- character: 17
613
- severity: ERROR
614
- message: Type `::Array[(::String | nil)]` does not have method `foo`
615
- code: Ruby::NoMethod
data/smoke/regression/Steepfile DELETED
@@ -1,6 +0,0 @@
1
- target :test do
2
- check "*.rb"
3
- signature "*.rbs"
4
-
5
- configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
6
- end
data/smoke/regression/array.rb DELETED
@@ -1,7 +0,0 @@
1
- class Foo
2
- # @type method foo: (Array[String]) -> void
3
- def array(x)
4
- # @type ivar @y: Array[String]
5
- @y = x
6
- end
7
- end
data/smoke/regression/block_param_split.rb DELETED
@@ -1,7 +0,0 @@
1
- # @type var a: Array[BlockParamSplit::pair[Integer, String]]
2
- a = [[1, "a"]]
3
-
4
- a.each do |x, y|
5
- x + 1
6
- y + "2"
7
- end
data/smoke/regression/block_param_split.rbs DELETED
@@ -1,3 +0,0 @@
1
- module BlockParamSplit
2
- type pair[T, S] = [T, S]
3
- end
data/smoke/regression/empty_yield.rb DELETED
@@ -1,5 +0,0 @@
1
- class EmptyYield
2
- def foo
3
- yield
4
- end
5
- end
data/smoke/regression/empty_yield.rbs DELETED
@@ -1,3 +0,0 @@
1
- class EmptyYield
2
- def foo: () { (Integer) -> void } -> void
3
- end
data/smoke/regression/enumerator_product.rb DELETED
@@ -1 +0,0 @@
1
- Enumerator::Product.new([1,2,3], ["a", "b", "c"])
data/smoke/regression/fun.rb DELETED
@@ -1,8 +0,0 @@
1
- class Fun
2
- def foo(v)
3
- !v.nil? && foo2(v)
4
- end
5
-
6
- def foo2(_)
7
- end
8
- end
data/smoke/regression/fun.rbs DELETED
@@ -1,4 +0,0 @@
1
- class Fun
2
- def foo: (Integer?) -> void
3
- def foo2: (Integer) -> void
4
- end
data/smoke/regression/hash.rb DELETED
@@ -1,7 +0,0 @@
1
- class Foo
2
- # @type method foo: (Hash[String, untyped]) -> void
3
- def foo(x)
4
- # @type ivar @y: Hash[String, untyped]
5
- @y = x
6
- end
7
- end
data/smoke/regression/hello world.rb DELETED
@@ -1 +0,0 @@
1
- 1.foo()
data/smoke/regression/issue_328.rb DELETED
@@ -1 +0,0 @@
1
- ["abc", "d", ""].to_h { |e| [e, e.size] }
data/smoke/regression/issue_328.rbs DELETED
File without changes
data/smoke/regression/issue_332.rb DELETED
@@ -1,11 +0,0 @@
1
- module Issue332
2
- module TimeDurationExtensions
3
- def -(other)
4
- if other.is_a?(Duration)
5
- Time.now
6
- else
7
- super(other)
8
- end
9
- end
10
- end
11
- end
data/smoke/regression/issue_332.rbs DELETED
@@ -1,19 +0,0 @@
1
- module Issue332
2
- class Duration
3
- end
4
-
5
- interface _TimeDurationExtensions
6
- def -: (Numeric other) -> Time
7
- | (Time other) -> Float
8
- end
9
-
10
- module TimeDurationExtensions : _TimeDurationExtensions
11
- def -: (Duration other) -> Time
12
- | ...
13
- end
14
- end
15
-
16
- class Time
17
- prepend Issue332::TimeDurationExtensions
18
- end
19
-