Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
167 commits
Select commit Hold shift + click to select a range
6d07e24
test: mark accepted reference baseline failures
hikkidev Jul 16, 2026
ac3822f
test: use supported workspace root override in smoke harness
hikkidev Jul 16, 2026
0f6562c
test(spec): add coverage matrix harness and lexical clauses
hikkidev Jul 16, 2026
873d1be
test(spec): cover Kotlin lexical grammar
hikkidev Jul 16, 2026
89856b9
test(spec): cover Kotlin file grammar productions
hikkidev Jul 16, 2026
3bea975
test(spec): cover class header grammar productions
hikkidev Jul 16, 2026
f87c508
test(spec): cover member declaration grammar
hikkidev Jul 16, 2026
5da4556
test(spec): cover Kotlin type grammar
hikkidev Jul 16, 2026
ba99604
test(spec): cover Kotlin statement grammar
hikkidev Jul 16, 2026
5f190dc
test(spec): cover Kotlin expression precedence grammar
hikkidev Jul 16, 2026
1f3df9d
test(spec): cover Kotlin primary expression grammar
hikkidev Jul 16, 2026
01597f0
test(spec): cover Kotlin literal and function expressions
hikkidev Jul 16, 2026
9b41a60
test(spec): cover Kotlin control and operator grammar
hikkidev Jul 16, 2026
47c44d0
test(spec): complete Kotlin syntax grammar coverage
hikkidev Jul 16, 2026
9c2ecfe
test(spec): cover Kotlin documentation comments
hikkidev Jul 16, 2026
d7bde6a
test(spec): classify Kotlin built-in type semantics
hikkidev Jul 16, 2026
19629f3
test(spec): classify Kotlin classifier type rules
hikkidev Jul 16, 2026
2711574
test(spec): classify Kotlin type parameter rules
hikkidev Jul 16, 2026
cf1e020
test(spec): classify Kotlin type capturing rules
hikkidev Jul 16, 2026
75bfe1c
test(spec): classify Kotlin type containment rules
hikkidev Jul 16, 2026
05f74f7
test(spec): classify Kotlin function type rules
hikkidev Jul 16, 2026
43d7516
test(spec): classify Kotlin flexible type rules
hikkidev Jul 16, 2026
4bdfcc4
test(spec): classify Kotlin nullable type rules
hikkidev Jul 16, 2026
6634865
test(spec): classify Kotlin compound type rules
hikkidev Jul 16, 2026
da86337
test(spec): cover Kotlin nested type contexts
hikkidev Jul 16, 2026
8aa7ea3
test(spec): classify Kotlin core subtyping rules
hikkidev Jul 16, 2026
70a7deb
test(spec): classify Kotlin specialized subtyping rules
hikkidev Jul 16, 2026
5414a3f
test(spec): classify Kotlin least upper bound rules
hikkidev Jul 16, 2026
a5682af
test(spec): classify Kotlin greatest lower bound rules
hikkidev Jul 16, 2026
9a606df
test(spec): classify Kotlin type approximation rules
hikkidev Jul 16, 2026
2b7f8b0
test(spec): cover kotlin Any contracts
hikkidev Jul 16, 2026
1615f71
test(spec): classify core Kotlin builtin types
hikkidev Jul 16, 2026
e83a0ab
test(spec): classify Kotlin integer type semantics
hikkidev Jul 16, 2026
e26a573
test(spec): classify Kotlin numeric and char builtins
hikkidev Jul 16, 2026
d8234e2
test(spec): cover Kotlin string and enum contracts
hikkidev Jul 16, 2026
e4a4af5
test(spec): cover Kotlin array contracts
hikkidev Jul 16, 2026
89231c1
test(spec): cover Kotlin specialized arrays and iterators
hikkidev Jul 16, 2026
8639b94
test(spec): cover Kotlin throwable and reflection builtins
hikkidev Jul 16, 2026
5a99960
test(spec): cover Kotlin classifier declaration forms
hikkidev Jul 16, 2026
8c5a570
test(spec): cover Kotlin simple class declarations
hikkidev Jul 16, 2026
87eb81d
test(spec): cover Kotlin class scopes and constructors
hikkidev Jul 16, 2026
991a83e
test(spec): cover Kotlin constructor delegation
hikkidev Jul 16, 2026
e6d9456
test(spec): finish Kotlin class declaration coverage
hikkidev Jul 16, 2026
03df9b2
test(spec): cover Kotlin data class generated API
hikkidev Jul 16, 2026
ab6e6fd
test(spec): finish Kotlin data declaration coverage
hikkidev Jul 16, 2026
4c5a430
test(spec): cover Kotlin enum declaration core
hikkidev Jul 16, 2026
0448961
test(spec): finish Kotlin enum declaration coverage
hikkidev Jul 16, 2026
0ae66fd
test(spec): cover Kotlin annotation declarations
hikkidev Jul 16, 2026
bf17eb4
test(spec): cover Kotlin value class declarations
hikkidev Jul 16, 2026
791a5cb
test(spec): cover Kotlin interface declarations
hikkidev Jul 16, 2026
efdf630
test(spec): cover Kotlin object declarations
hikkidev Jul 16, 2026
f322620
test(spec): cover Kotlin local class declarations
hikkidev Jul 16, 2026
7572d53
test(spec): inventory classifier initialization semantics
hikkidev Jul 16, 2026
ab29f0c
test(spec): cover classifier declaration scopes
hikkidev Jul 16, 2026
db6608e
test(spec): cover Kotlin function declarations
hikkidev Jul 16, 2026
6481220
test(spec): cover Kotlin function signatures and arguments
hikkidev Jul 16, 2026
13e9aeb
test(spec): cover Kotlin variable length parameters
hikkidev Jul 16, 2026
7c14641
test(spec): cover Kotlin extension functions
hikkidev Jul 16, 2026
f728fe6
test(spec): cover Kotlin inline functions
hikkidev Jul 16, 2026
ca5253a
test(spec): cover Kotlin infix functions
hikkidev Jul 16, 2026
62ac2cd
test(spec): cover Kotlin local functions
hikkidev Jul 16, 2026
cf9ff28
test(spec): cover tail recursion and function scopes
hikkidev Jul 16, 2026
9edfa56
test(spec): cover Kotlin read-only properties
hikkidev Jul 16, 2026
d06b7fb
test(spec): cover Kotlin mutable properties
hikkidev Jul 16, 2026
3ac9841
test(spec): cover Kotlin local properties
hikkidev Jul 16, 2026
94c54ce
test(spec): cover Kotlin property accessors
hikkidev Jul 16, 2026
fdd71ba
test(spec): cover Kotlin delegated properties
hikkidev Jul 16, 2026
706c2dc
test(spec): cover Kotlin extension properties
hikkidev Jul 16, 2026
acd2b77
test(spec): cover Kotlin property initialization and constants
hikkidev Jul 16, 2026
adb6cee
test(spec): cover Kotlin lateinit and property scopes
hikkidev Jul 16, 2026
8ac942f
test(spec): cover Kotlin type aliases
hikkidev Jul 16, 2026
939ddab
test(spec): cover Kotlin generic declarations
hikkidev Jul 16, 2026
3e6e701
test(spec): cover Kotlin type parameter variance
hikkidev Jul 16, 2026
4881541
test(spec): cover Kotlin reified and underscore types
hikkidev Jul 16, 2026
da90ed5
test(spec): cover Kotlin declaration visibility
hikkidev Jul 16, 2026
cf0756e
test(spec): cover Kotlin classifier inheritance
hikkidev Jul 16, 2026
40a47ad
test(spec): cover Kotlin sealed and built-in inheritance
hikkidev Jul 16, 2026
e7ce783
test(spec): cover Kotlin declaration matching
hikkidev Jul 16, 2026
1bed8a3
test(spec): cover Kotlin inherited declarations
hikkidev Jul 16, 2026
6717908
test(spec): cover Kotlin overriding declarations
hikkidev Jul 16, 2026
c9bf6b3
test(spec): cover Kotlin scope bindings
hikkidev Jul 16, 2026
c83760d
test(spec): cover Kotlin linked scopes
hikkidev Jul 16, 2026
c231d7f
test(spec): cover Kotlin identifiers and labels
hikkidev Jul 16, 2026
505f768
test(spec): cover Kotlin statements
hikkidev Jul 16, 2026
4a1ca98
test(spec): cover Kotlin Boolean and integer literals
hikkidev Jul 16, 2026
975646b
test(spec): cover remaining Kotlin constant literals
hikkidev Jul 16, 2026
caff368
test(spec): cover Kotlin string interpolation
hikkidev Jul 16, 2026
d6808b9
test(spec): cover Kotlin try expressions
hikkidev Jul 16, 2026
f3b8122
test(spec): cover Kotlin conditional expressions
hikkidev Jul 16, 2026
a73ca11
test(spec): cover Kotlin when expressions
hikkidev Jul 16, 2026
44c946d
test(spec): cover Kotlin logical and comparison expressions
hikkidev Jul 16, 2026
ff51328
test(spec): cover Kotlin type and arithmetic expressions
hikkidev Jul 16, 2026
2475ea1
test(spec): cover Kotlin cast and unary expressions
hikkidev Jul 16, 2026
1fa3445
test(spec): cover Kotlin indexing expressions
hikkidev Jul 16, 2026
6af2c78
test(spec): cover Kotlin navigation expressions
hikkidev Jul 16, 2026
ed5a18a
test(spec): cover Kotlin call and reference expressions
hikkidev Jul 16, 2026
a8cdda4
test(spec): cover Kotlin function literals
hikkidev Jul 16, 2026
bd7b4e0
test(spec): cover Kotlin object literals
hikkidev Jul 16, 2026
7a47d61
test(spec): cover Kotlin this and super expressions
hikkidev Jul 16, 2026
be60fe3
test(spec): cover Kotlin jump expressions
hikkidev Jul 16, 2026
c9989b8
test(spec): cover Kotlin operator overloading
hikkidev Jul 16, 2026
91be933
test(spec): cover Kotlin packages and imports
hikkidev Jul 16, 2026
138560c
test(spec): cover Kotlin overload resolution basics
hikkidev Jul 16, 2026
fd14d61
test(spec): cover overload candidate sets
hikkidev Jul 16, 2026
8050973
test(spec): trace overload applicability
hikkidev Jul 16, 2026
8286840
test(spec): trace most-specific overload selection
hikkidev Jul 16, 2026
a410a4e
test(spec): cover property access resolution
hikkidev Jul 16, 2026
46e2d5e
test(spec): cover callable reference resolution
hikkidev Jul 16, 2026
17ad60a
test(spec): finish Kotlin overload resolution coverage
hikkidev Jul 16, 2026
efe100a
test(spec): inventory Kotlin control-flow graphs
hikkidev Jul 16, 2026
f305905
test(spec): cover Kotlin data-flow analysis
hikkidev Jul 16, 2026
e7d9c95
test(spec): inventory Kotlin type constraints
hikkidev Jul 16, 2026
529a673
test(spec): cover Kotlin smart-cast inference
hikkidev Jul 16, 2026
e4a3276
test(spec): finish Kotlin type inference coverage
hikkidev Jul 16, 2026
b51a304
test(spec): inventory RTTI and exception semantics
hikkidev Jul 16, 2026
c7e9334
test(spec): inventory Kotlin annotation semantics
hikkidev Jul 16, 2026
c05f0c2
test(spec): finish coroutine and concurrency coverage
hikkidev Jul 16, 2026
febd20b
test(spec): add stdio capability contracts
hikkidev Jul 17, 2026
b514320
test(spec): cover stdio lifecycle and edits
hikkidev Jul 17, 2026
0224b1d
test(spec): tighten coverage matrix invariants
hikkidev Jul 17, 2026
84bb692
test(spec): prepare source-backed coverage audit
hikkidev Jul 17, 2026
2b5c202
test(spec): audit Kotlin Core introduction
hikkidev Jul 17, 2026
b111696
test(spec): audit Kotlin Core syntax
hikkidev Jul 17, 2026
d5dd68a
test(spec): audit Kotlin Core type system
hikkidev Jul 17, 2026
c775a2b
test(spec): audit Kotlin Core builtins
hikkidev Jul 17, 2026
d80cd58
test(spec): audit Kotlin Core declarations
hikkidev Jul 17, 2026
9a19e05
test(spec): audit Kotlin Core inheritance
hikkidev Jul 17, 2026
a0ae213
test(spec): audit Kotlin Core scoping
hikkidev Jul 17, 2026
7a00f03
test(spec): audit Kotlin Core statements
hikkidev Jul 17, 2026
71386f7
test(spec): audit Kotlin Core expressions
hikkidev Jul 17, 2026
4c8cdaa
test(spec): audit Kotlin Core operators
hikkidev Jul 17, 2026
57befb4
test(spec): audit Kotlin Core packages
hikkidev Jul 17, 2026
6cc9181
test(spec): audit Kotlin Core overload resolution
hikkidev Jul 17, 2026
7c22ca9
test(spec): audit Kotlin Core control flow analysis
hikkidev Jul 17, 2026
5f0b70e
test(spec): audit Kotlin Core type constraints
hikkidev Jul 17, 2026
4dbc583
test(spec): audit Kotlin Core type inference
hikkidev Jul 17, 2026
c7fb14d
test(spec): audit Kotlin Core RTTI
hikkidev Jul 17, 2026
7b09945
test(spec): audit Kotlin Core exceptions
hikkidev Jul 17, 2026
402e389
test(spec): audit Kotlin Core annotations
hikkidev Jul 17, 2026
c6f3f94
test(spec): audit Kotlin Core coroutines
hikkidev Jul 17, 2026
a04496a
test(spec): audit Kotlin Core concurrency
hikkidev Jul 17, 2026
4a2f25a
test(spec): finalize source-backed coverage audit
hikkidev Jul 17, 2026
44c1720
test(spec): add Kotlin evolution coverage schema
hikkidev Jul 17, 2026
552211f
test(spec): complete Kotlin migration coverage schema
hikkidev Jul 18, 2026
09ddde2
test(spec): allow pinned non-changelog migration oracles
hikkidev Jul 18, 2026
b8c9871
test(spec): complete Kotlin 1.9 evolution audit
hikkidev Jul 18, 2026
379c48e
test(spec): complete Kotlin 2.0 evolution audit
hikkidev Jul 18, 2026
749889e
test(spec): complete Kotlin 2.1 evolution audit
hikkidev Jul 18, 2026
a4ceb8c
test(spec): complete Kotlin 2.2 evolution audit
hikkidev Jul 18, 2026
c6731f8
test(spec): complete Kotlin 2.3 evolution audit
hikkidev Jul 18, 2026
aafff8c
test(spec): complete stable Kotlin 2.4 evolution audit
hikkidev Jul 18, 2026
cbd3146
test(spec): audit Kotlin 2.4.20 Beta1 preview
hikkidev Jul 18, 2026
c72d5e1
test(spec): cover explicit context arguments
hikkidev Jul 18, 2026
66f82fd
test(spec): audit basic Language Guide topics
hikkidev Jul 18, 2026
9dc1558
test(spec): audit type Language Guide topics
hikkidev Jul 18, 2026
fc396c5
test(spec): audit control-flow Language Guide topics
hikkidev Jul 18, 2026
5ee2339
test(spec): audit callable Language Guide topics
hikkidev Jul 18, 2026
ec0bda8
test(spec): audit classifier Language Guide topics
hikkidev Jul 18, 2026
e47745a
test(spec): audit type-safety Language Guide topics
hikkidev Jul 18, 2026
95e28b6
test(spec): complete Language Guide audit
hikkidev Jul 18, 2026
ded917a
test(spec): verify Kotlin baseline through 2.4
hikkidev Jul 18, 2026
285ab98
docs(spec): report Kotlin 2.4 coverage audit
hikkidev Jul 18, 2026
67f30a4
test(spec): establish Kotlin 2.4 coverage baseline
hikkidev Jul 18, 2026
2505454
test(kotlin): move fundamentals tests under language module
hikkidev Jul 18, 2026
717df40
test(spec): mirror coverage by fundamentals module
hikkidev Jul 18, 2026
2a31d30
Simplify Kotlin coverage requirement schema
hikkidev Jul 18, 2026
8722672
Remove Kotlin coverage audit report
hikkidev Jul 18, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
60 changes: 60 additions & 0 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

1 change: 1 addition & 0 deletions Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -75,6 +75,7 @@ lto = false

[dev-dependencies]
tempfile = "3"
toml = "0.8"

# cargo-binstall metadata — lets `cargo binstall kmp-lsp` download the
# pre-built binary from GitHub Releases instead of compiling from source.
Expand Down
2 changes: 2 additions & 0 deletions src/features/references_tests.rs
Original file line number Diff line number Diff line change
Expand Up @@ -117,6 +117,7 @@ async fn find_references_cross_file_with_workspace_root() {
/// If it resolves to the wrong directory (e.g. CWD = the lsp repo), the test
/// catches the broken fallback.
#[tokio::test]
#[ignore = "accepted baseline failure: cross-file reference search without a workspace root does not fall back to the open file's parent directory"]
async fn find_references_cross_file_without_workspace_root() {
let dir = tempfile::tempdir().unwrap();
let root = dir.path();
Expand Down Expand Up @@ -260,6 +261,7 @@ async fn actor_scan_then_find_references_cross_file() {
/// project "leak" into the search and scope rg to paths that don't contain
/// the current file's siblings.
#[tokio::test]
#[ignore = "accepted baseline failure: a stale workspace root suppresses cross-file references from the open file's actual project"]
async fn find_references_stale_workspace_root_does_not_suppress_results() {
let other_project = tempfile::tempdir().unwrap();
let current_project = tempfile::tempdir().unwrap();
Expand Down
4 changes: 4 additions & 0 deletions src/language/kotlin.rs
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,10 @@ use crate::types::FileData;

pub(crate) struct KotlinParser;

#[cfg(test)]
#[path = "kotlin/fundamentals-test/mod.rs"]
mod fundamentals_tests;

impl LanguageParser for KotlinParser {
fn language_id(&self) -> &'static str {
"kotlin"
Expand Down
Loading
Loading