Merge pull request #329 from viperproject/nklose/macro-duplication

Added deduplication to inlay and hover hints to remove macro problems

Author: rayman2000

src/main/scala/viper/server/frontends/lsp/ast/ParseAstLsp.scala

@@ -35,7 +35,7 @@ object HasHoverHints {
     case n: PExp => PLspExp.getHoverHints(n)
     case n: PDeclaration => PLspDeclaration.getHoverHints(n)
     case n: PReserved[_] => PLspReserved.getHoverHints(n)
-  }).flatten
+  }).flatten.distinctBy(h => (h.bound.rangePositions.headOption.map(rp => (rp.start.line, rp.start.column)), h.hint))
 }
 
 object HasGotoDefinitions {
@@ -67,7 +67,7 @@ object HasInlayHints {
   def apply(p: PProgram): Seq[InlayHint] = p.deepCollect({
     case n: PCall => PLspCall.getInlayHints(n)
     case n: PLet => PLspLet.getInlayHints(n)
-  }).flatten
+  }).flatten.distinctBy(h => (h.position, h.label.map(_.value)))
 }
 
 object HasSemanticHighlights {