Improvements on empty rescue and unused params in abstract method - #1

Open

antondalgren wants to merge 34 commits into

mikeoz32:masterfrom

antondalgren:master

Commits on Feb 14, 2026

Do not mark abstract params as unused
antondalgren
committed
23cc954
Do not false warn on empty rescue
antondalgren
committed
ddb34a1
Carry over local variable type
antondalgren
committed
e1cbee8

Commits on Feb 16, 2026

Post-env fallback inference for locals assigned from method calls
antondalgren
committed
a4ba3de
Class-level [] constructor inference + NumberKind fix
antondalgren
committed
ab96cb1
Infer block parameter types from method-call-assigned receivers
antondalgren
committed
a269da4
Infer block param types from method block signature
antondalgren
committed
8cd955e
Infer generic method return types from call arguments
antondalgren
committed
514a0be
Infer array/hash element types and deduplicate union types
antondalgren
committed
2e3edc6
Infer type from block body when method has no return type
antondalgren
committed
cb9ca44
Expand MacroIf blocks to index methods behind compile-time conditionals
antondalgren
committed
ff40655
Preserve union types for variables reassigned inside conditionals
antondalgren
committed
2bfdbf0
Infer block parameter types from chained method calls
antondalgren
committed
161859d
Resolve free type vars from block return type in map-like methods
antondalgren
committed
36ceaf8
Early return type narrowing
antondalgren
committed
64b8406
Index C bindings and infer Pointer constructor types
antondalgren
committed
924d4d9
Fix is_a? narrowing leaking types across method boundaries
antondalgren
committed
8d6ab28
Prefer deeper AST node matches in NodeFinder
antondalgren
committed
15b97b4
Show type on hover for method parameters
antondalgren
committed
e0c3fc6
Resolve self.class.method to class methods
antondalgren
committed
5fdab40
Fall back to receiver type for unresolved class method calls
antondalgren
committed
2223d13
Register primitive type superclass hierarchy for stdlib
antondalgren
committed
d84189a
Infer types from if/case expression assignments
antondalgren
committed
59d4e8a
Infer type from uninitialized variable declarations
antondalgren
committed
feca81c
Infer ivar types from getter/property macros with ancestor walk
antondalgren
committed
e0eb583

Navigation Menu

Improvements on empty rescue and unused params in abstract method - #1

Improvements on empty rescue and unused params in abstract method#1
antondalgren wants to merge 34 commits into
mikeoz32:masterfrom
antondalgren:master

Commits on Feb 14, 2026

Do not mark abstract params as unused

Do not false warn on empty rescue

Carry over local variable type

Commits on Feb 16, 2026

Post-env fallback inference for locals assigned from method calls

Class-level [] constructor inference + NumberKind fix

Infer block parameter types from method-call-assigned receivers

Infer block param types from method block signature

Infer generic method return types from call arguments

Infer array/hash element types and deduplicate union types

Infer type from block body when method has no return type

Expand MacroIf blocks to index methods behind compile-time conditionals

Preserve union types for variables reassigned inside conditionals

Infer block parameter types from chained method calls

Resolve free type vars from block return type in map-like methods

Early return type narrowing

Index C bindings and infer Pointer constructor types

Fix is_a? narrowing leaking types across method boundaries

Prefer deeper AST node matches in NodeFinder

Show type on hover for method parameters

Resolve self.class.method to class methods

Fall back to receiver type for unresolved class method calls

Register primitive type superclass hierarchy for stdlib

Infer types from if/case expression assignments

Infer type from uninitialized variable declarations

Infer ivar types from getter/property macros with ancestor walk

Commits on Feb 17, 2026

Fix NodeFinder name_range for @-prefixed Arg params

Support top-level variable inference and .new block params

Skip proc literal Defs in enclosing_def lookup

Infer getter return type from default value and fix macro URI navigation

Resolve proc params and classes inside macro-if blocks

Use dot separator in hover signatures for proper syntax highlighting

Infer types for proc literals, block params from yield, and Self resolution

Remove redundant hover specs

Show simple getters as property types in hover