Insert explicit assertion broken

[MikaelMayer]

Dafny version

4.2.0

Code to produce this issue

predicate P(i: int)

method Test() {
  var x :| P(x);
}

Another error there:

module Test {
  class TheTest {
    predicate P(i: int)

    method Test() {
      var x :| P(x);
    }
  }
}

Command to run and resulting output

Click on the error, select quick fix, insert failing assertion.

What happened?

The inserted text is garbage and not at the right place

Even worse if the method is wrapped in a class / module.

What type of operating system are you experiencing the problem on?

Windows

What solutions to offer

ImplicitFailingAssertionCodeActionProvider.cs line 38: would take care of the second

  protected static List<INode>? FindInnermostNodeIntersecting(INode node, Range range) {
    if (node.StartToken.line > 0 && !node.RangeToken.ToLspRange().Intersects(range)) {
      return null;
    }

    foreach (var child in node.PreResolveChildren) {
      var result = FindInnermostNodeIntersecting(child, range);
      if (result != null) {
        result.Add(node);
        return result;
      }
    }

-   return new List<INode> { node };
+   return node.StartToken.line > 0 ? new List<INode> { node } : null;
  }