add semantic tokens for field access on builtin types

Author: xdBronch

src/analysis.zig

@@ -1277,7 +1277,7 @@ pub fn resolveBracketAccessTypeFromBinding(analyser: *Analyser, lhs_binding: Bin
     };
 }
 
-fn resolvePropertyType(analyser: *Analyser, ty: Type, name: []const u8) error{OutOfMemory}!?Type {
+pub fn resolvePropertyType(analyser: *Analyser, ty: Type, name: []const u8) error{OutOfMemory}!?Type {
     if (ty.is_type_val)
         return null;
 

src/features/semantic_tokens.zig

@@ -1202,6 +1202,9 @@ fn writeFieldAccess(builder: *Builder, node: Ast.Node.Index) error{OutOfMemory}!
             },
         );
         return;
+    } else if (try builder.analyser.resolvePropertyType(lhs_type, symbol_name)) |_| {
+        try writeTokenMod(builder, field_name_token, .property, .{});
+        return;
     }
 
     try writeTokenMod(

tests/lsp_features/semantic_tokens.zig

@@ -438,6 +438,53 @@ test "field access" {
         .{ "S", .namespace, .{} },
         .{ "foo", .variable, .{ .mutable = true, .static = true } },
     });
+    try testSemanticTokens(
+        \\comptime {
+        \\    const slice: []const u8 = undefined;
+        \\    _ = slice.ptr;
+        \\    _ = slice.len;
+        \\   const array: [4]u8 = undefined;
+        \\   _ = array.len;
+        \\   const tuple: struct { u8, u8 } = undefined;
+        \\   _ = tuple.len;
+        \\}
+    , &.{
+        .{ "comptime", .keyword, .{} },
+
+        .{ "const", .keyword, .{} },
+        .{ "slice", .variable, .{ .declaration = true } },
+        .{ "const", .keyword, .{} },
+        .{ "u8", .type, .{} },
+        .{ "=", .operator, .{} },
+        .{ "undefined", .keywordLiteral, .{} },
+        .{ "=", .operator, .{} },
+        .{ "slice", .variable, .{} },
+        .{ "ptr", .property, .{} },
+        .{ "=", .operator, .{} },
+        .{ "slice", .variable, .{} },
+        .{ "len", .property, .{} },
+
+        .{ "const", .keyword, .{} },
+        .{ "array", .variable, .{ .declaration = true } },
+        .{ "4", .number, .{} },
+        .{ "u8", .type, .{} },
+        .{ "=", .operator, .{} },
+        .{ "undefined", .keywordLiteral, .{} },
+        .{ "=", .operator, .{} },
+        .{ "array", .variable, .{} },
+        .{ "len", .property, .{} },
+
+        .{ "const", .keyword, .{} },
+        .{ "tuple", .variable, .{ .declaration = true } },
+        .{ "struct", .keyword, .{} },
+        .{ "u8", .type, .{} },
+        .{ "u8", .type, .{} },
+        .{ "=", .operator, .{} },
+        .{ "undefined", .keywordLiteral, .{} },
+        .{ "=", .operator, .{} },
+        .{ "tuple", .variable, .{} },
+        .{ "len", .property, .{} },
+    });
 }
 
 test "field access on unknown" {