feat(completion): add bounced<> to completion

server/src/completion/CompletionContext.ts

@@ -26,6 +26,7 @@ export class CompletionContext {
     inTraitList: boolean = false
     inParameter: boolean = false
     isMessageContext: boolean = false
+    isBouncedMessage: boolean = false
     isInitOfName: boolean = false
 
     contextTy: Ty | null = null
@@ -120,6 +121,13 @@ export class CompletionContext {
             this.isMessageContext = true
         }
 
+        if (parent.type === "parameter") {
+            const grand = parent.parent
+            if (grand?.type === "bounced_function") {
+                this.isBouncedMessage = true
+            }
+        }
+
         if (parent.type === "parameter") {
             const grand = parent.parent
             if (grand?.type === "receive_function") {

server/src/completion/providers/BouncedTypeCompletionProvider.ts

@@ -0,0 +1,20 @@
+import {CompletionProvider} from "@server/completion/CompletionProvider"
+import {CompletionItemKind, InsertTextFormat} from "vscode-languageserver-types"
+import {CompletionContext} from "@server/completion/CompletionContext"
+import {CompletionResult, CompletionWeight} from "@server/completion/WeightedCompletionItem"
+
+export class BouncedTypeCompletionProvider implements CompletionProvider {
+    isAvailable(ctx: CompletionContext): boolean {
+        return ctx.isType && ctx.isBouncedMessage
+    }
+
+    addCompletion(_ctx: CompletionContext, result: CompletionResult): void {
+        result.add({
+            label: "bounced<Type>",
+            kind: CompletionItemKind.Keyword,
+            insertText: "bounced<$1>$0",
+            insertTextFormat: InsertTextFormat.Snippet,
+            weight: CompletionWeight.KEYWORD,
+        })
+    }
+}

server/src/e2e/suite/testcases/completion/messages.test

@@ -31,3 +31,27 @@ contract Foo {
 }
 ------------------------------------------------------------------------
 21 Bar
+
+========================================================================
+Completion in bounced function 2
+========================================================================
+primitive Int;
+primitive Address;
+primitive String;
+
+struct Foo {}
+message Bar {}
+trait Var {}
+
+contract Foo {
+    bounced(msg: <caret>) {}
+}
+------------------------------------------------------------------------
+13 bounced<Type>
+13 map<K, V>
+9  Address
+9  Int
+9  String
+21 Bar
+21 Foo
+24 Var

server/src/server.ts

@@ -78,6 +78,7 @@ import {MissedFieldInContractInspection} from "@server/inspections/MissedFieldIn
 import {Node as SyntaxNode} from "web-tree-sitter"
 import {TraitOrContractConstantsCompletionProvider} from "@server/completion/providers/TraitOrContractConstantsCompletionProvider"
 import {generateTlBTypeDoc} from "@server/documentation/tlb_type_documentation"
+import {BouncedTypeCompletionProvider} from "@server/completion/providers/BouncedTypeCompletionProvider"
 
 /**
  * Whenever LS is initialized.
@@ -622,6 +623,7 @@ connection.onInitialize(async (params: lsp.InitializeParams): Promise<lsp.Initia
                 new SnippetsCompletionProvider(),
                 new KeywordsCompletionProvider(),
                 new MapTypeCompletionProvider(),
+                new BouncedTypeCompletionProvider(),
                 new ContractDeclCompletionProvider(),
                 new TopLevelFunctionCompletionProvider(),
                 new MemberFunctionCompletionProvider(),