All issues

Search results

Type parameter in a module reopening is not substituted when spelled differently from the original declaration

Status: Open.

#1318 In castwide/solargraph;

· apiology opened on Aug 19, 2026

Methods on a Class.new-defined class are unresolvable and cannot be stubbed

Status: Open.

#1303 In castwide/solargraph;

· apiology opened on Aug 15, 2026

@!override on a constant crashes the typechecker

Status: Open.

#1302 In castwide/solargraph;

· apiology opened on Aug 15, 2026

Unrelated comment removes superclass pin?

Status: Open.

#1300 In castwide/solargraph;

· apiology opened on Aug 15, 2026

Generic type variable is not solved when the @param type is a union (generic<A>, nil)

Status: Open.

#1298 In castwide/solargraph;

· apiology opened on Aug 14, 2026

Flow-sensitive typing doesn't narrow a literal-equality (==/!=) guard against a literal union member

Status: Open.

#1296 In castwide/solargraph;

· apiology opened on Aug 13, 2026

duck_types_match? rejects a duck-typed argument even when it declares the same duck type

Status: Open.

#1294 In castwide/solargraph;

· apiology opened on Aug 12, 2026

@yieldparam type on a block-form @overload isn't applied to the block-local variable at the call site

Status: Open.

#1289 In castwide/solargraph;

· apiology opened on Aug 12, 2026

Generic T doesn't bind through a cross-file @!parse stub

Status: Open.

#1286 In castwide/solargraph;

· apiology opened on Aug 12, 2026

A method with any ensure clause has its return type never inferred, regardless of the method body

Status: Open.

#1284 In castwide/solargraph;

· apiology opened on Aug 11, 2026

@!override with @overload doesn't dispatch per call site -- applies only the first overload's signature to every call

Status: Open.

#1283 In castwide/solargraph;

· apiology opened on Aug 11, 2026

raise and abort confuse typechecker

Status: Open.

#1276 In castwide/solargraph;

· apiology opened on Aug 8, 2026