Typecheck

Workflow runs for Typecheck

• Narrow repeated calls to RBS %a{pure} methods

  completed successfully:
  Typecheck#2267:Pull request#174synchronizebyapiology
  narrow-pure-rbs-calls

  Oct 25, 20263m 9s
  More actions for workflow run 2267

• Let a self-referencing reassignment replace the earlier type

  completed successfully:
  Typecheck#2266:Pull request#356synchronizebyapiology
  supersede-self-referencing-reassignment

  Oct 25, 20263m 47s
  More actions for workflow run 2266

• Remove nil from compact element types

  completed successfully:
  Typecheck#2265:Pull request#348synchronizebyapiology
  compact-removes-nil-element-type

  Oct 25, 20261m 49s
  More actions for workflow run 2265

• Let a self-referencing reassignment replace the earlier type

  completed successfully:
  Typecheck#2264:Pull request#356openedbyapiology
  supersede-self-referencing-reassignment

  Oct 25, 20261m 54s
  More actions for workflow run 2264

• Check tuple elements by position

  completed successfully:
  Typecheck#2263:Pull request#221synchronizebyapiology
  check-tuple-element-positions

  Oct 25, 20265m 33s
  More actions for workflow run 2263

• Infer the same type for a method regardless of unrelated methods in its class

  completed successfully:
  Typecheck#2262:Pull request#355openedbyapiology
  stable-method-pin-order

  Oct 25, 20261m 50s
  More actions for workflow run 2262

• Type block parameters of map.with_index

  completed successfully:
  Typecheck#2261:Pull request#354openedbyapiology
  type-with-index-block-params

  Oct 25, 20262m 43s
  More actions for workflow run 2261

• Remove nil from compact element types

  completed successfully:
  Typecheck#2260:Pull request#348synchronizebyapiology
  compact-removes-nil-element-type

  Oct 25, 20262m 3s
  More actions for workflow run 2260

• Narrow a repeated index read keyed by a local variable

  completed successfully:
  Typecheck#2259:Pull request#346synchronizebyapiology
  narrow-repeated-index-with-local-arg

  Oct 25, 20261m 56s
  More actions for workflow run 2259

• Declare the Type contract ComplexType and UniqueType implement

  completed successfully:
  Typecheck#2258:Pull request#91synchronizebyapiology
  type-hierarchy-29-on-master

  Oct 25, 20261m 33s
  More actions for workflow run 2258

• Answer type questions from every union member

  completed successfully:
  Typecheck#2257:Pull request#345synchronizebyapiology
  restrict-type-interface

  Oct 25, 20262m 36s
  More actions for workflow run 2257

• Answer type questions from every union member

  completed successfully:
  Typecheck#2256:Pull request#345synchronizebyapiology
  restrict-type-interface

  Oct 25, 20261m 54s
  More actions for workflow run 2256

• Stop aborting typecheck on an unparseable method tag

  completed successfully:
  Typecheck#2255:Pull request#353openedbyapiology
  degrade-unparseable-method-tags

  Oct 25, 20262m 38s
  More actions for workflow run 2255

• Check duck-typed declarations instead of skipping them

  completed successfully:
  Typecheck#2254:Pull request#352openedbyapiology
  check-duck-typed-declarations

  Oct 25, 20261m 46s
  More actions for workflow run 2254

• Narrow repeated calls to RBS %a{pure} methods

  completed successfully:
  Typecheck#2253:Pull request#174synchronizebyapiology
  narrow-pure-rbs-calls

  Oct 25, 20267m 23s
  More actions for workflow run 2253

• Keep the new type of a self-referencing local reassignment

  completed successfully:
  Typecheck#2252:Pull request#351openedbyapiology
  type-self-referencing-reassignment

  Oct 25, 20262m 24s
  More actions for workflow run 2252

• Compare tuple parameters by position

  completed successfully:
  Typecheck#2251:Pull request#350openedbyapiology
  compare-tuple-parameters-by-position

  Oct 25, 20261m 58s
  More actions for workflow run 2251

• Load workspace RBS from local rbs_collection.yaml sources

  completed successfully:
  Typecheck#2250:Pull request#349openedbyapiology
  load-workspace-local-rbs-collection

  Oct 25, 20262m 29s
  More actions for workflow run 2250

• Remove nil from compact element types

  completed successfully:
  Typecheck#2249:Pull request#348openedbyapiology
  compact-removes-nil-element-type

  Oct 25, 20261m 53s
  More actions for workflow run 2249

• Answer type questions from every union member

  completed successfully:
  Typecheck#2248:Pull request#345synchronizebyapiology
  restrict-type-interface

  Oct 25, 20261m 38s
  More actions for workflow run 2248

• Narrow repeated calls to RBS %a{pure} methods

  completed successfully:
  Typecheck#2247:Pull request#174synchronizebyapiology
  narrow-pure-rbs-calls

  Oct 25, 20261m 21s
  More actions for workflow run 2247

• Narrow a repeated index read keyed by a local variable

  failed:
  Typecheck#2246:Pull request#346openedbyapiology
  narrow-repeated-index-with-local-arg

  Oct 25, 20261m 6s
  More actions for workflow run 2246

• Answer type questions from every union member

  completed successfully:
  Typecheck#2245:Pull request#345openedbyapiology
  restrict-type-interface

  Oct 25, 20261m 56s
  More actions for workflow run 2245

• Resolve RBS intersection types as intersections

  completed successfully:
  Typecheck#2244:Pull request#284synchronizebyapiology
  rbs-intersection-types-core

  Oct 25, 20261m 56s
  More actions for workflow run 2244

• Type destructured declared tuples by position

  completed successfully:
  Typecheck#2243:Pull request#341synchronizebyapiology
  type-declared-tuples-by-position

  Oct 24, 20261m 22s
  More actions for workflow run 2243