Personal ZLS Todo List

[FnControlOption]

• Improve peer type resolution #2406 ⭐
• https://github.com/FnControlOption/zls/compare/coerce
• https://github.com/FnControlOption/zls/compare/peer_types
• https://github.com/FnControlOption/zls/compare/method
  Method functions not recognized in file they're declared #2403

Done

• Generics overhaul & improvements #2324 ⭐
• Expand conditional types in hover popup #2349 ⭐
• Simplify type resolution of index capture in for loop #2365
• Improvements for hover, goto, and result location types #2370 ⭐
• Improvements for switch captures #2375
• Fix completions for chained function call #2386
  writeFile2 options give completions for Dir instead of options struct #1690
• Resolve peer types with error set(s) as error union #2389

Old

• Enums
  • Add hover info and Go To Declaration/Definition for inferred enum tags, including switch cases
    (Implement hover and goto for enum literals #1294)
  • Resolve type of enum value/literal as the enum itself
    (Enable hover for .foo in &.{ .foo, .bar } #1308)
  • Add hover for MyEnum.value
    (Various improvements #1329)
  • Add hover for MyTaggedUnion.value
    (Various improvements #1329)
  • Understand (enum/union/tagged union) type resolution better
• Tuples
  • Resolve types of slice.len, slice.ptr, and tuple fields #1315
  • Enable hover for .foo in &.{ .foo, .bar } #1308
  • Add hover for my_tuple.@"0"
• Errors
  • Error (set/union) improvements #1295
  • Show doc comments for errors in error sets #1302
  • Investigate why autocompletion doesn't work for error union capture in empty if/while block
  • Infer errdefer error type based on the enclosing function's return type
  • Resolve underlying type of error values as error{...}
• Hover
  • Add hover/goto for container fields in struct init; .bar in Foo{ .bar = baz }
    (Add hover/goto for container fields in struct init #1307)
  • Investigate why hovering over .@"utf-32" only highlights either utf or 32 but not utf-32 as a whole
  • Set types.Hover.range, types.DefinitionLink.originSelectionRange, etc.
    (Various improvements #1329)
  • Resolve type of slice.len and slice.ptr
    (Resolve types of slice.len, slice.ptr, and tuple fields #1315)
  • 🚧 Add hover for slice.len and slice.ptr
  • Add hover for pointer.*
  • Add hover for label declaration of for/while loops
    (Some hover improvements #1303)
  • Resolve type of loop expressions (while-else and for-else)
    (Resolve type of loop expressions #1310)
  • Show type of value returned in labeled block/loop when hovering over label
    (Various improvements #1329)
  • 🚧 Fix resolved type of comptime floats
  • 🚧 Resolve type of index capture in for loop (baz in for (foo, 0..) |bar, baz|)
  • 🚧 Add hover for tag capture on inline prong of switch
  • Preserve (im)mutability in resolved type of &foo
  • 🚧 Peer type resolution
    Wrong variable type info when orelse assigns variable with an optional type #1330
    Support for type detection for if expression #1341
  • Resolve type of arithmetic expression based on operands
  • Limit completions to either instance access (fields and methods) or static access (variables and functions)
  • Use full.<whatever>.firstToken() to get signatures
• Bugs & feature requests
  • Top-level Doc Comments Are Not Supported #304
    (More bugfixes #1328)
  • goto-definition and imports #322
    (More bugfixes #1328)
  • hover/goto should show something useful #1338
  • textDocument/typeDefinition should find type definitions, not just definitions #913
  • setting to jump to absolute source of package #1259
  • Multiple type definitions appear for same type #1041
  • Incorrect type inference when slicing a slice with comptime-known range #1230
    • Support range boundaries that aren't integer literals but still evaluated at comptime
  • cannot show all struct fields when usingnamespace and @field together #1219
    No hover/go-to on zig-gamedev/zgui, culprit is usingnamespace #1218
  • Incorrect enum autocomplete results in switch expression #1188

---

🚧 = work in progress
⭐ = high priority