Resolve const declaration as interned value if possible

Author: FnControlOption

src/analysis.zig

@@ -1971,6 +1971,12 @@ fn resolveTypeOfNodeUncached(analyser: *Analyser, options: ResolveOptions) Error
                     fallback_type = .unknown_type;
                     break :blk;
                 }
+                if (mut_token_tag == .keyword_const) num: {
+                    const init_node = var_decl.ast.init_node.unwrap() orelse break :num;
+                    const ip_ty = decl_type.ipIndex() orelse break :num;
+                    const ip_index = try analyser.resolveCoercedIPValue(ip_ty, .of(init_node, handle)) orelse break :num;
+                    return Type.fromIP(analyser, analyser.ip.typeOf(ip_index), ip_index);
+                }
                 return try decl_type.instanceTypeVal(analyser);
             }
 

tests/analysis/integer_literal.zig

@@ -32,7 +32,7 @@ const bit_not_one = ~1;
 //    ^^^^^^^^^^^ (comptime_int)((unknown value))
 
 const const_u8: u8 = 42;
-//    ^^^^^^^^ (u8)((unknown value)) TODO this should be `42`
+//    ^^^^^^^^ (u8)(42)
 
 var var_u8: u8 = 42;
 //  ^^^^^^ (u8)((unknown value))

tests/lsp_features/hover.zig

@@ -1097,7 +1097,7 @@ test "alias with different type" {
         \\const bar<cursor>: ?i32 = foo;
     ,
         \\const foo: i32 = 1
-        \\(?i32)
+        \\(?i32 = 1)
     , .{ .markup_kind = .plaintext });
 }