karellen / karellen-jdtls-kotlin / 23763284322

80%

Build Type

push

github

Committed by web-flow

Commit Message

Assignment-based type narrowing for local variables (#25) (#28)

## Summary
- **Flow-sensitive type narrowing** for `val`/`var` declarations and
assignments: when a variable is declared with a polymorphic type (e.g.,
`val m: Map = HashMap()`), both the concrete initializer type and the
declared type are preserved for receiver verification
- **Var reassignment tracking** with offset-based scopes so narrowing
applies only within the relevant code range
- **Property assignment narrowing** (`obj.field = value`) with recursive
alias propagation
- **Fix jdtls runtime crashes**: `reconcile()` returns null (called by
CallHierarchyHandler), `getAnnotation()` returns null (called by
ReferencesHandler for Lombok detection)
- **Dead code removal** and FQN-to-import cleanup across the project
- 50 new integration tests (352 total), E2E verified 37/37 against
headout/absolut

## Changes
- `KotlinType`: added `declaredType` field, `narrowFrom()`, `allTypes()`
for polymorphic receiver verification
- `LocalVariableExtractor`: assignment collection,
`AssignmentNarrowingScope` with pre-resolved RHS types, recursive alias
propagation
- `ScopeChain`: removed `isVal` guard (both val and var narrowed),
`lookupBinding()` for scope-only lookups
- `KotlinSearchParticipant`: `pushAssignmentNarrowings()`,
`initMethodScopes()` helper
- `ExpressionTypeResolver`: qualified property binding check via
`scopeChain.lookupBinding()`
- `KotlinCompilationUnit`: `reconcile()` overloads return null instead
of throwing
- `KotlinElement`: `getAnnotation()` on Type/Method/Field returns null
instead of throwing

## Test plan
- [x] 352 integration tests pass (`mvn clean verify`)
- [x] 37/37 E2E tests pass against headout/absolut with fresh index
- [x] Previously-failing tests (3.6, 4.1, 4.3, 4.5, 4.6, 6.3, 7.5) all
pass with sub-second latency

Coverage Stats

2488 of 3555 branches covered (69.99%)

Branch coverage included in aggregate %.

244 of 273 new or added lines in 6 files covered. (89.38%)

7 existing lines in 3 files now uncovered.

5226 of 6133 relevant lines covered (85.21%)

3.01 hits per line