Add special case for handling byte and return Yul built-ins

crates/solidity/inputs/language/bindings/rules.msgb

@@ -2931,7 +2931,20 @@ inherit .star_extension
 
 @path [YulPath . @name [YulIdentifier]] {
   node ref
-  attr (ref) node_reference = @name
+
+  ; Handle `byte` and `return` as special cases, since we cannot define them
+  ; directly as regular built-ins
+  var yul_symbol = (source-text @name)
+  scan (source-text @name) {
+    "byte" {
+      set yul_symbol = "%byte"
+    }
+    "return" {
+      set yul_symbol = "%return"
+    }
+  }
+  attr (ref) symbol_reference = yul_symbol
+  attr (ref) source_node = @name
 
   edge ref -> @path.lexical_scope
 

crates/solidity/testing/snapshots/bindings_output/yul/built_ins/generated/0.4.11-success.txt

@@ -0,0 +1,34 @@
+# This file is generated automatically by infrastructure scripts. Please don't edit by hand.
+
+References and definitions: 
+   ╭─[input.sol:1:1]
+   │
+ 1 │ contract AssemblyBuiltIns {
+   │          ────────┬───────  
+   │                  ╰───────── name: 1
+ 2 │     function test() public {
+   │              ──┬─  
+   │                ╰─── name: 2
+   │ 
+ 4 │             mstore(0x80, byte(10, 31))
+   │             ───┬──       ──┬─  
+   │                ╰─────────────── ref: built-in
+   │                            │   
+   │                            ╰─── ref: built-in
+ 5 │             return (0x80,1)
+   │             ───┬──  
+   │                ╰──── ref: built-in
+───╯
+Definiens: 
+   ╭─[input.sol:1:1]
+   │
+ 1 │ ╭─│ ▶ contract AssemblyBuiltIns {
+ 2 │ │ ╭─▶     function test() public {
+   ┆ ┆ ┆   
+ 7 │ │ ├─▶     }
+   │ │ │           
+   │ │ ╰─────────── definiens: 2
+ 8 │ ├───▶ }
+   │ │         
+   │ ╰───────── definiens: 1
+───╯

crates/solidity/testing/snapshots/bindings_output/yul/built_ins/input.sol

@@ -0,0 +1,8 @@
+contract AssemblyBuiltIns {
+    function test() public {
+        assembly {
+            mstore(0x80, byte(10, 31))
+            return (0x80,1)
+        }
+    }
+}

crates/solidity/testing/snapshots/bindings_output/yul/labels/generated/0.4.11-failure.txt → crates/solidity/testing/snapshots/bindings_output/yul/labels/generated/0.4.11-success.txt

@@ -57,7 +57,7 @@ References and definitions:
     │                       ╰── ref: 6
  13 │             return(0, 0x20)
     │             ───┬──  
-    │                ╰──── unresolved
+    │                ╰──── ref: built-in
 ────╯
 Definiens: 
     ╭─[input.sol:1:1]