Fix: Green gutter icons over constants without RHS

Source/DafnyLanguageServer.Test/GutterStatus/SimpleLinearVerificationGutterStatusTester.cs

@@ -37,6 +37,20 @@ await VerifyTrace(@"
  ? :}", false, intermediates: false);
   }
 
+  [Fact]
+  public async Task ConstantWithoutRhsMarkedAsVerified() {
+    await VerifyTrace(@"
+ | :class Test {
+ | :  const x: int
+ | :
+ | :  method Testing()
+ | :    requires x > 0
+ | :    ensures x != 0
+ | :  {
+ | :  }
+ | :}", false, intermediates: false);
+  }
+
   [Fact]
   public async Task Fields() {
     var markedSource = @"

Source/DafnyLanguageServer/Workspace/GutterIconAndHoverVerificationDetailsManager.cs

@@ -80,9 +80,8 @@ void AddAndPossiblyMigrateVerificationTree(VerificationTree verificationTree) {
               continue;
             }
 
-            if (member is ConstantField) {
-              var constantHasNoBody = member.RangeToken.EndToken.line == 0;
-              if (constantHasNoBody) {
+            if (member is ConstantField constantField) {
+              if (constantField.Rhs == null) {
                 continue; // Nothing to verify
               }
 

docs/dev/news/5841.fix

@@ -0,0 +1 @@
+Green gutter icons cover constants without RHS