wasmtime 15.0.1 → 16.0.0

Sign up to get free protection for your applications and to get access to all the features.
Files changed (1212) hide show
  1. checksums.yaml +4 -4
  2. data/Cargo.lock +83 -103
  3. data/ext/Cargo.toml +6 -6
  4. data/ext/cargo-vendor/cranelift-bforest-0.103.0/.cargo-checksum.json +1 -0
  5. data/ext/cargo-vendor/cranelift-bforest-0.103.0/Cargo.toml +40 -0
  6. data/ext/cargo-vendor/cranelift-bforest-0.103.0/src/lib.rs +183 -0
  7. data/ext/cargo-vendor/cranelift-codegen-0.103.0/.cargo-checksum.json +1 -0
  8. data/ext/cargo-vendor/cranelift-codegen-0.103.0/Cargo.toml +175 -0
  9. data/ext/cargo-vendor/cranelift-codegen-0.103.0/src/binemit/mod.rs +171 -0
  10. data/ext/cargo-vendor/cranelift-codegen-0.103.0/src/egraph/cost.rs +171 -0
  11. data/ext/cargo-vendor/cranelift-codegen-0.103.0/src/egraph/elaborate.rs +750 -0
  12. data/ext/cargo-vendor/cranelift-codegen-0.103.0/src/egraph.rs +703 -0
  13. data/ext/cargo-vendor/cranelift-codegen-0.103.0/src/ir/dfg.rs +1735 -0
  14. data/ext/cargo-vendor/cranelift-codegen-0.103.0/src/ir/pcc.rs +1682 -0
  15. data/ext/cargo-vendor/cranelift-codegen-0.103.0/src/isa/aarch64/lower/isle.rs +874 -0
  16. data/ext/cargo-vendor/cranelift-codegen-0.103.0/src/isa/riscv64/inst/mod.rs +2041 -0
  17. data/ext/cargo-vendor/cranelift-codegen-0.103.0/src/isa/riscv64/inst.isle +2928 -0
  18. data/ext/cargo-vendor/cranelift-codegen-0.103.0/src/isa/riscv64/lower.isle +2864 -0
  19. data/ext/cargo-vendor/cranelift-codegen-0.103.0/src/isa/s390x/lower/isle.rs +1029 -0
  20. data/ext/cargo-vendor/cranelift-codegen-0.103.0/src/isa/x64/lower/isle.rs +1064 -0
  21. data/ext/cargo-vendor/cranelift-codegen-0.103.0/src/isa/x64/pcc.rs +916 -0
  22. data/ext/cargo-vendor/cranelift-codegen-0.103.0/src/isle_prelude.rs +977 -0
  23. data/ext/cargo-vendor/cranelift-codegen-0.103.0/src/lib.rs +106 -0
  24. data/ext/cargo-vendor/cranelift-codegen-0.103.0/src/machinst/isle.rs +896 -0
  25. data/ext/cargo-vendor/cranelift-codegen-0.103.0/src/opts/arithmetic.isle +152 -0
  26. data/ext/cargo-vendor/cranelift-codegen-0.103.0/src/opts/cprop.isle +237 -0
  27. data/ext/cargo-vendor/cranelift-codegen-0.103.0/src/opts/icmp.isle +199 -0
  28. data/ext/cargo-vendor/cranelift-codegen-0.103.0/src/opts/selects.isle +76 -0
  29. data/ext/cargo-vendor/cranelift-codegen-0.103.0/src/opts.rs +172 -0
  30. data/ext/cargo-vendor/cranelift-codegen-0.103.0/src/prelude.isle +649 -0
  31. data/ext/cargo-vendor/cranelift-codegen-0.103.0/src/timing.rs +297 -0
  32. data/ext/cargo-vendor/cranelift-codegen-0.103.0/src/unionfind.rs +75 -0
  33. data/ext/cargo-vendor/cranelift-codegen-meta-0.103.0/.cargo-checksum.json +1 -0
  34. data/ext/cargo-vendor/cranelift-codegen-meta-0.103.0/Cargo.toml +35 -0
  35. data/ext/cargo-vendor/cranelift-codegen-shared-0.103.0/.cargo-checksum.json +1 -0
  36. data/ext/cargo-vendor/cranelift-codegen-shared-0.103.0/Cargo.toml +22 -0
  37. data/ext/cargo-vendor/cranelift-codegen-shared-0.103.0/src/lib.rs +10 -0
  38. data/ext/cargo-vendor/cranelift-control-0.103.0/.cargo-checksum.json +1 -0
  39. data/ext/cargo-vendor/cranelift-control-0.103.0/Cargo.toml +30 -0
  40. data/ext/cargo-vendor/cranelift-entity-0.103.0/.cargo-checksum.json +1 -0
  41. data/ext/cargo-vendor/cranelift-entity-0.103.0/Cargo.toml +50 -0
  42. data/ext/cargo-vendor/cranelift-entity-0.103.0/src/lib.rs +317 -0
  43. data/ext/cargo-vendor/cranelift-entity-0.103.0/src/primary.rs +516 -0
  44. data/ext/cargo-vendor/cranelift-entity-0.103.0/src/unsigned.rs +71 -0
  45. data/ext/cargo-vendor/cranelift-frontend-0.103.0/.cargo-checksum.json +1 -0
  46. data/ext/cargo-vendor/cranelift-frontend-0.103.0/Cargo.toml +68 -0
  47. data/ext/cargo-vendor/cranelift-frontend-0.103.0/src/lib.rs +189 -0
  48. data/ext/cargo-vendor/cranelift-isle-0.103.0/.cargo-checksum.json +1 -0
  49. data/ext/cargo-vendor/cranelift-isle-0.103.0/Cargo.toml +46 -0
  50. data/ext/cargo-vendor/cranelift-isle-0.103.0/isle_examples/link/multi_constructor_main.rs +88 -0
  51. data/ext/cargo-vendor/cranelift-isle-0.103.0/isle_examples/link/multi_extractor_main.rs +63 -0
  52. data/ext/cargo-vendor/cranelift-isle-0.103.0/src/codegen.rs +886 -0
  53. data/ext/cargo-vendor/cranelift-native-0.103.0/.cargo-checksum.json +1 -0
  54. data/ext/cargo-vendor/cranelift-native-0.103.0/Cargo.toml +43 -0
  55. data/ext/cargo-vendor/cranelift-native-0.103.0/src/lib.rs +184 -0
  56. data/ext/cargo-vendor/cranelift-wasm-0.103.0/.cargo-checksum.json +1 -0
  57. data/ext/cargo-vendor/cranelift-wasm-0.103.0/Cargo.toml +106 -0
  58. data/ext/cargo-vendor/cranelift-wasm-0.103.0/src/environ/dummy.rs +953 -0
  59. data/ext/cargo-vendor/cranelift-wasm-0.103.0/src/lib.rs +62 -0
  60. data/ext/cargo-vendor/cranelift-wasm-0.103.0/src/translation_utils.rs +89 -0
  61. data/ext/cargo-vendor/wasi-cap-std-sync-16.0.0/.cargo-checksum.json +1 -0
  62. data/ext/cargo-vendor/wasi-cap-std-sync-16.0.0/Cargo.toml +102 -0
  63. data/ext/cargo-vendor/wasi-common-16.0.0/.cargo-checksum.json +1 -0
  64. data/ext/cargo-vendor/wasi-common-16.0.0/Cargo.toml +131 -0
  65. data/ext/cargo-vendor/wasi-common-16.0.0/src/lib.rs +76 -0
  66. data/ext/cargo-vendor/wasi-common-16.0.0/src/snapshots/preview_1.rs +1492 -0
  67. data/ext/cargo-vendor/wasmtime-16.0.0/.cargo-checksum.json +1 -0
  68. data/ext/cargo-vendor/wasmtime-16.0.0/Cargo.toml +211 -0
  69. data/ext/cargo-vendor/wasmtime-16.0.0/src/compiler.rs +682 -0
  70. data/ext/cargo-vendor/wasmtime-16.0.0/src/component/component.rs +505 -0
  71. data/ext/cargo-vendor/wasmtime-16.0.0/src/component/func/typed.rs +2400 -0
  72. data/ext/cargo-vendor/wasmtime-16.0.0/src/config.rs +2422 -0
  73. data/ext/cargo-vendor/wasmtime-16.0.0/src/func.rs +2391 -0
  74. data/ext/cargo-vendor/wasmtime-16.0.0/src/lib.rs +520 -0
  75. data/ext/cargo-vendor/wasmtime-16.0.0/src/memory.rs +998 -0
  76. data/ext/cargo-vendor/wasmtime-16.0.0/src/module.rs +1370 -0
  77. data/ext/cargo-vendor/wasmtime-16.0.0/src/stack.rs +73 -0
  78. data/ext/cargo-vendor/wasmtime-16.0.0/src/v128.rs +122 -0
  79. data/ext/cargo-vendor/wasmtime-asm-macros-16.0.0/.cargo-checksum.json +1 -0
  80. data/ext/cargo-vendor/wasmtime-asm-macros-16.0.0/Cargo.toml +22 -0
  81. data/ext/cargo-vendor/wasmtime-cache-16.0.0/.cargo-checksum.json +1 -0
  82. data/ext/cargo-vendor/wasmtime-cache-16.0.0/Cargo.toml +81 -0
  83. data/ext/cargo-vendor/wasmtime-cache-16.0.0/src/lib.rs +235 -0
  84. data/ext/cargo-vendor/wasmtime-cache-16.0.0/src/worker.rs +890 -0
  85. data/ext/cargo-vendor/wasmtime-component-macro-16.0.0/.cargo-checksum.json +1 -0
  86. data/ext/cargo-vendor/wasmtime-component-macro-16.0.0/Cargo.toml +67 -0
  87. data/ext/cargo-vendor/wasmtime-component-util-16.0.0/.cargo-checksum.json +1 -0
  88. data/ext/cargo-vendor/wasmtime-component-util-16.0.0/Cargo.toml +25 -0
  89. data/ext/cargo-vendor/wasmtime-cranelift-16.0.0/.cargo-checksum.json +1 -0
  90. data/ext/cargo-vendor/wasmtime-cranelift-16.0.0/Cargo.toml +112 -0
  91. data/ext/cargo-vendor/wasmtime-cranelift-16.0.0/src/compiler/component.rs +959 -0
  92. data/ext/cargo-vendor/wasmtime-cranelift-16.0.0/src/compiler.rs +1317 -0
  93. data/ext/cargo-vendor/wasmtime-cranelift-16.0.0/src/debug/transform/expression.rs +1252 -0
  94. data/ext/cargo-vendor/wasmtime-cranelift-16.0.0/src/debug/transform/simulate.rs +410 -0
  95. data/ext/cargo-vendor/wasmtime-cranelift-16.0.0/src/debug.rs +18 -0
  96. data/ext/cargo-vendor/wasmtime-cranelift-16.0.0/src/func_environ.rs +2750 -0
  97. data/ext/cargo-vendor/wasmtime-cranelift-shared-16.0.0/.cargo-checksum.json +1 -0
  98. data/ext/cargo-vendor/wasmtime-cranelift-shared-16.0.0/Cargo.toml +71 -0
  99. data/ext/cargo-vendor/wasmtime-environ-16.0.0/.cargo-checksum.json +1 -0
  100. data/ext/cargo-vendor/wasmtime-environ-16.0.0/Cargo.lock +660 -0
  101. data/ext/cargo-vendor/wasmtime-environ-16.0.0/Cargo.toml +125 -0
  102. data/ext/cargo-vendor/wasmtime-environ-16.0.0/src/compilation.rs +402 -0
  103. data/ext/cargo-vendor/wasmtime-environ-16.0.0/src/component/compiler.rs +47 -0
  104. data/ext/cargo-vendor/wasmtime-environ-16.0.0/src/component/translate.rs +951 -0
  105. data/ext/cargo-vendor/wasmtime-environ-16.0.0/src/component/types.rs +1876 -0
  106. data/ext/cargo-vendor/wasmtime-environ-16.0.0/src/lib.rs +59 -0
  107. data/ext/cargo-vendor/wasmtime-environ-16.0.0/src/module.rs +1075 -0
  108. data/ext/cargo-vendor/wasmtime-environ-16.0.0/src/module_environ.rs +892 -0
  109. data/ext/cargo-vendor/wasmtime-environ-16.0.0/src/module_types.rs +120 -0
  110. data/ext/cargo-vendor/wasmtime-environ-16.0.0/src/scopevec.rs +78 -0
  111. data/ext/cargo-vendor/wasmtime-fiber-16.0.0/.cargo-checksum.json +1 -0
  112. data/ext/cargo-vendor/wasmtime-fiber-16.0.0/Cargo.toml +63 -0
  113. data/ext/cargo-vendor/wasmtime-fiber-16.0.0/src/lib.rs +328 -0
  114. data/ext/cargo-vendor/wasmtime-fiber-16.0.0/src/unix.rs +265 -0
  115. data/ext/cargo-vendor/wasmtime-fiber-16.0.0/src/windows.c +9 -0
  116. data/ext/cargo-vendor/wasmtime-jit-16.0.0/.cargo-checksum.json +1 -0
  117. data/ext/cargo-vendor/wasmtime-jit-16.0.0/Cargo.toml +125 -0
  118. data/ext/cargo-vendor/wasmtime-jit-16.0.0/src/code_memory.rs +319 -0
  119. data/ext/cargo-vendor/wasmtime-jit-16.0.0/src/instantiate.rs +772 -0
  120. data/ext/cargo-vendor/wasmtime-jit-16.0.0/src/lib.rs +21 -0
  121. data/ext/cargo-vendor/wasmtime-jit-debug-16.0.0/.cargo-checksum.json +1 -0
  122. data/ext/cargo-vendor/wasmtime-jit-debug-16.0.0/Cargo.toml +67 -0
  123. data/ext/cargo-vendor/wasmtime-jit-icache-coherence-16.0.0/.cargo-checksum.json +1 -0
  124. data/ext/cargo-vendor/wasmtime-jit-icache-coherence-16.0.0/Cargo.toml +46 -0
  125. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/.cargo-checksum.json +1 -0
  126. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/Cargo.toml +139 -0
  127. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/build.rs +28 -0
  128. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/proptest-regressions/instance/allocator/pooling/memory_pool.txt +9 -0
  129. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/arch/aarch64.rs +120 -0
  130. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/arch/mod.rs +32 -0
  131. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/arch/riscv64.rs +88 -0
  132. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/arch/s390x.rs +61 -0
  133. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/arch/x86_64.rs +106 -0
  134. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/cow.rs +888 -0
  135. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/helpers.c +113 -0
  136. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/instance/allocator/pooling/memory_pool.rs +1005 -0
  137. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/instance/allocator/pooling/stack_pool.rs +242 -0
  138. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/instance/allocator/pooling/table_pool.rs +227 -0
  139. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/instance/allocator/pooling.rs +698 -0
  140. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/lib.rs +264 -0
  141. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/libcalls.rs +776 -0
  142. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/mmap.rs +214 -0
  143. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/mpk/enabled.rs +204 -0
  144. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/mpk/pkru.rs +102 -0
  145. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/sys/miri/mod.rs +10 -0
  146. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/sys/miri/traphandlers.rs +42 -0
  147. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/sys/miri/unwind.rs +17 -0
  148. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/sys/miri/vm.rs +63 -0
  149. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/sys/mod.rs +30 -0
  150. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/sys/unix/machports.rs +487 -0
  151. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/sys/unix/macos_traphandlers.rs +28 -0
  152. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/sys/unix/mod.rs +21 -0
  153. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/sys/unix/signals.rs +402 -0
  154. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/sys/unix/unwind.rs +91 -0
  155. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/sys/unix/vm.rs +208 -0
  156. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/sys/windows/mod.rs +6 -0
  157. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/sys/windows/traphandlers.rs +105 -0
  158. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/sys/windows/unwind.rs +46 -0
  159. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/sys/windows/vm.rs +79 -0
  160. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/traphandlers/backtrace.rs +265 -0
  161. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/traphandlers.rs +733 -0
  162. data/ext/cargo-vendor/wasmtime-runtime-16.0.0/src/vmcontext.rs +1197 -0
  163. data/ext/cargo-vendor/wasmtime-types-16.0.0/.cargo-checksum.json +1 -0
  164. data/ext/cargo-vendor/wasmtime-types-16.0.0/Cargo.toml +36 -0
  165. data/ext/cargo-vendor/wasmtime-types-16.0.0/src/lib.rs +504 -0
  166. data/ext/cargo-vendor/wasmtime-versioned-export-macros-16.0.0/.cargo-checksum.json +1 -0
  167. data/ext/cargo-vendor/wasmtime-versioned-export-macros-16.0.0/Cargo.toml +32 -0
  168. data/ext/cargo-vendor/wasmtime-wasi-16.0.0/.cargo-checksum.json +1 -0
  169. data/ext/cargo-vendor/wasmtime-wasi-16.0.0/Cargo.toml +261 -0
  170. data/ext/cargo-vendor/wasmtime-wasi-16.0.0/src/lib.rs +137 -0
  171. data/ext/cargo-vendor/wasmtime-wasi-16.0.0/src/preview2/host/io.rs +368 -0
  172. data/ext/cargo-vendor/wasmtime-wasi-16.0.0/src/preview2/host/network.rs +570 -0
  173. data/ext/cargo-vendor/wasmtime-wasi-16.0.0/src/preview2/host/tcp.rs +632 -0
  174. data/ext/cargo-vendor/wasmtime-wasi-16.0.0/src/preview2/host/udp.rs +550 -0
  175. data/ext/cargo-vendor/wasmtime-wasi-16.0.0/src/preview2/mod.rs +328 -0
  176. data/ext/cargo-vendor/wasmtime-wasi-16.0.0/src/preview2/preview0.rs +870 -0
  177. data/ext/cargo-vendor/wasmtime-wasi-16.0.0/src/preview2/preview1.rs +2348 -0
  178. data/ext/cargo-vendor/wasmtime-wasi-16.0.0/src/preview2/stdio.rs +259 -0
  179. data/ext/cargo-vendor/wasmtime-wasi-16.0.0/src/preview2/stream.rs +182 -0
  180. data/ext/cargo-vendor/wasmtime-wasi-16.0.0/src/preview2/table.rs +337 -0
  181. data/ext/cargo-vendor/wasmtime-wasi-16.0.0/tests/all/api.rs +218 -0
  182. data/ext/cargo-vendor/wasmtime-wasi-16.0.0/tests/all/async_.rs +360 -0
  183. data/ext/cargo-vendor/wasmtime-wasi-16.0.0/tests/all/main.rs +113 -0
  184. data/ext/cargo-vendor/wasmtime-wasi-16.0.0/tests/all/preview1.rs +239 -0
  185. data/ext/cargo-vendor/wasmtime-wasi-16.0.0/tests/all/sync.rs +299 -0
  186. data/ext/cargo-vendor/wasmtime-wasi-16.0.0/tests/process_stdin.rs +165 -0
  187. data/ext/cargo-vendor/wasmtime-wasi-16.0.0/wit/command-extended.wit +6 -0
  188. data/ext/cargo-vendor/wasmtime-wasi-16.0.0/wit/deps/cli/command.wit +7 -0
  189. data/ext/cargo-vendor/wasmtime-wasi-16.0.0/wit/deps/cli/imports.wit +20 -0
  190. data/ext/cargo-vendor/wasmtime-wasi-16.0.0/wit/deps/http/proxy.wit +32 -0
  191. data/ext/cargo-vendor/wasmtime-wasi-16.0.0/wit/deps/http/types.wit +570 -0
  192. data/ext/cargo-vendor/wasmtime-wasi-16.0.0/wit/test.wit +22 -0
  193. data/ext/cargo-vendor/wasmtime-wasi-16.0.0/witx/preview0/typenames.witx +746 -0
  194. data/ext/cargo-vendor/wasmtime-wasi-16.0.0/witx/preview0/wasi_unstable.witx +513 -0
  195. data/ext/cargo-vendor/wasmtime-winch-16.0.0/.cargo-checksum.json +1 -0
  196. data/ext/cargo-vendor/wasmtime-winch-16.0.0/Cargo.toml +77 -0
  197. data/ext/cargo-vendor/wasmtime-winch-16.0.0/src/compiler.rs +243 -0
  198. data/ext/cargo-vendor/wasmtime-wit-bindgen-16.0.0/.cargo-checksum.json +1 -0
  199. data/ext/cargo-vendor/wasmtime-wit-bindgen-16.0.0/Cargo.toml +41 -0
  200. data/ext/cargo-vendor/wasmtime-wmemcheck-16.0.0/.cargo-checksum.json +1 -0
  201. data/ext/cargo-vendor/wasmtime-wmemcheck-16.0.0/Cargo.toml +29 -0
  202. data/ext/cargo-vendor/wiggle-16.0.0/.cargo-checksum.json +1 -0
  203. data/ext/cargo-vendor/wiggle-16.0.0/Cargo.toml +115 -0
  204. data/ext/cargo-vendor/wiggle-16.0.0/src/lib.rs +1198 -0
  205. data/ext/cargo-vendor/wiggle-generate-16.0.0/.cargo-checksum.json +1 -0
  206. data/ext/cargo-vendor/wiggle-generate-16.0.0/Cargo.toml +65 -0
  207. data/ext/cargo-vendor/wiggle-generate-16.0.0/src/types/handle.rs +84 -0
  208. data/ext/cargo-vendor/wiggle-generate-16.0.0/src/types/record.rs +132 -0
  209. data/ext/cargo-vendor/wiggle-generate-16.0.0/src/types/variant.rs +191 -0
  210. data/ext/cargo-vendor/wiggle-macro-16.0.0/.cargo-checksum.json +1 -0
  211. data/ext/cargo-vendor/wiggle-macro-16.0.0/Cargo.toml +55 -0
  212. data/ext/cargo-vendor/winch-codegen-0.14.0/.cargo-checksum.json +1 -0
  213. data/ext/cargo-vendor/winch-codegen-0.14.0/Cargo.toml +76 -0
  214. data/ext/cargo-vendor/winch-codegen-0.14.0/src/abi/local.rs +81 -0
  215. data/ext/cargo-vendor/winch-codegen-0.14.0/src/abi/mod.rs +614 -0
  216. data/ext/cargo-vendor/winch-codegen-0.14.0/src/codegen/call.rs +345 -0
  217. data/ext/cargo-vendor/winch-codegen-0.14.0/src/codegen/context.rs +545 -0
  218. data/ext/cargo-vendor/winch-codegen-0.14.0/src/codegen/control.rs +497 -0
  219. data/ext/cargo-vendor/winch-codegen-0.14.0/src/codegen/env.rs +251 -0
  220. data/ext/cargo-vendor/winch-codegen-0.14.0/src/codegen/mod.rs +428 -0
  221. data/ext/cargo-vendor/winch-codegen-0.14.0/src/frame/mod.rs +221 -0
  222. data/ext/cargo-vendor/winch-codegen-0.14.0/src/isa/aarch64/abi.rs +313 -0
  223. data/ext/cargo-vendor/winch-codegen-0.14.0/src/isa/aarch64/masm.rs +444 -0
  224. data/ext/cargo-vendor/winch-codegen-0.14.0/src/isa/aarch64/mod.rs +137 -0
  225. data/ext/cargo-vendor/winch-codegen-0.14.0/src/isa/mod.rs +225 -0
  226. data/ext/cargo-vendor/winch-codegen-0.14.0/src/isa/x64/abi.rs +524 -0
  227. data/ext/cargo-vendor/winch-codegen-0.14.0/src/isa/x64/asm.rs +1117 -0
  228. data/ext/cargo-vendor/winch-codegen-0.14.0/src/isa/x64/masm.rs +994 -0
  229. data/ext/cargo-vendor/winch-codegen-0.14.0/src/isa/x64/mod.rs +172 -0
  230. data/ext/cargo-vendor/winch-codegen-0.14.0/src/isa/x64/regs.rs +247 -0
  231. data/ext/cargo-vendor/winch-codegen-0.14.0/src/masm.rs +679 -0
  232. data/ext/cargo-vendor/winch-codegen-0.14.0/src/stack.rs +436 -0
  233. data/ext/cargo-vendor/winch-codegen-0.14.0/src/trampoline.rs +734 -0
  234. data/ext/cargo-vendor/winch-codegen-0.14.0/src/visitor.rs +1383 -0
  235. data/lib/wasmtime/version.rb +1 -1
  236. metadata +903 -977
  237. data/ext/cargo-vendor/cranelift-bforest-0.102.1/.cargo-checksum.json +0 -1
  238. data/ext/cargo-vendor/cranelift-bforest-0.102.1/Cargo.toml +0 -31
  239. data/ext/cargo-vendor/cranelift-bforest-0.102.1/src/lib.rs +0 -184
  240. data/ext/cargo-vendor/cranelift-codegen-0.102.1/.cargo-checksum.json +0 -1
  241. data/ext/cargo-vendor/cranelift-codegen-0.102.1/Cargo.toml +0 -164
  242. data/ext/cargo-vendor/cranelift-codegen-0.102.1/src/binemit/mod.rs +0 -171
  243. data/ext/cargo-vendor/cranelift-codegen-0.102.1/src/egraph/cost.rs +0 -91
  244. data/ext/cargo-vendor/cranelift-codegen-0.102.1/src/egraph/elaborate.rs +0 -731
  245. data/ext/cargo-vendor/cranelift-codegen-0.102.1/src/egraph.rs +0 -678
  246. data/ext/cargo-vendor/cranelift-codegen-0.102.1/src/ir/dfg.rs +0 -1730
  247. data/ext/cargo-vendor/cranelift-codegen-0.102.1/src/ir/pcc.rs +0 -1682
  248. data/ext/cargo-vendor/cranelift-codegen-0.102.1/src/isa/aarch64/lower/isle.rs +0 -875
  249. data/ext/cargo-vendor/cranelift-codegen-0.102.1/src/isa/riscv64/inst/mod.rs +0 -2041
  250. data/ext/cargo-vendor/cranelift-codegen-0.102.1/src/isa/riscv64/inst.isle +0 -2909
  251. data/ext/cargo-vendor/cranelift-codegen-0.102.1/src/isa/riscv64/lower.isle +0 -2860
  252. data/ext/cargo-vendor/cranelift-codegen-0.102.1/src/isa/s390x/lower/isle.rs +0 -1029
  253. data/ext/cargo-vendor/cranelift-codegen-0.102.1/src/isa/x64/lower/isle.rs +0 -1070
  254. data/ext/cargo-vendor/cranelift-codegen-0.102.1/src/isa/x64/pcc.rs +0 -884
  255. data/ext/cargo-vendor/cranelift-codegen-0.102.1/src/isle_prelude.rs +0 -972
  256. data/ext/cargo-vendor/cranelift-codegen-0.102.1/src/lib.rs +0 -108
  257. data/ext/cargo-vendor/cranelift-codegen-0.102.1/src/machinst/isle.rs +0 -897
  258. data/ext/cargo-vendor/cranelift-codegen-0.102.1/src/opts/arithmetic.isle +0 -128
  259. data/ext/cargo-vendor/cranelift-codegen-0.102.1/src/opts/cprop.isle +0 -210
  260. data/ext/cargo-vendor/cranelift-codegen-0.102.1/src/opts/icmp.isle +0 -177
  261. data/ext/cargo-vendor/cranelift-codegen-0.102.1/src/opts/selects.isle +0 -59
  262. data/ext/cargo-vendor/cranelift-codegen-0.102.1/src/opts.rs +0 -138
  263. data/ext/cargo-vendor/cranelift-codegen-0.102.1/src/prelude.isle +0 -646
  264. data/ext/cargo-vendor/cranelift-codegen-0.102.1/src/timing.rs +0 -271
  265. data/ext/cargo-vendor/cranelift-codegen-0.102.1/src/unionfind.rs +0 -74
  266. data/ext/cargo-vendor/cranelift-codegen-meta-0.102.1/.cargo-checksum.json +0 -1
  267. data/ext/cargo-vendor/cranelift-codegen-meta-0.102.1/Cargo.toml +0 -26
  268. data/ext/cargo-vendor/cranelift-codegen-shared-0.102.1/.cargo-checksum.json +0 -1
  269. data/ext/cargo-vendor/cranelift-codegen-shared-0.102.1/Cargo.toml +0 -22
  270. data/ext/cargo-vendor/cranelift-codegen-shared-0.102.1/src/lib.rs +0 -12
  271. data/ext/cargo-vendor/cranelift-control-0.102.1/.cargo-checksum.json +0 -1
  272. data/ext/cargo-vendor/cranelift-control-0.102.1/Cargo.toml +0 -30
  273. data/ext/cargo-vendor/cranelift-entity-0.102.1/.cargo-checksum.json +0 -1
  274. data/ext/cargo-vendor/cranelift-entity-0.102.1/Cargo.toml +0 -41
  275. data/ext/cargo-vendor/cranelift-entity-0.102.1/src/lib.rs +0 -316
  276. data/ext/cargo-vendor/cranelift-entity-0.102.1/src/primary.rs +0 -456
  277. data/ext/cargo-vendor/cranelift-frontend-0.102.1/.cargo-checksum.json +0 -1
  278. data/ext/cargo-vendor/cranelift-frontend-0.102.1/Cargo.toml +0 -59
  279. data/ext/cargo-vendor/cranelift-frontend-0.102.1/src/lib.rs +0 -191
  280. data/ext/cargo-vendor/cranelift-isle-0.102.1/.cargo-checksum.json +0 -1
  281. data/ext/cargo-vendor/cranelift-isle-0.102.1/Cargo.toml +0 -37
  282. data/ext/cargo-vendor/cranelift-isle-0.102.1/isle_examples/link/multi_constructor_main.rs +0 -71
  283. data/ext/cargo-vendor/cranelift-isle-0.102.1/isle_examples/link/multi_extractor_main.rs +0 -50
  284. data/ext/cargo-vendor/cranelift-isle-0.102.1/src/codegen.rs +0 -763
  285. data/ext/cargo-vendor/cranelift-native-0.102.1/.cargo-checksum.json +0 -1
  286. data/ext/cargo-vendor/cranelift-native-0.102.1/Cargo.toml +0 -43
  287. data/ext/cargo-vendor/cranelift-native-0.102.1/src/lib.rs +0 -190
  288. data/ext/cargo-vendor/cranelift-wasm-0.102.1/.cargo-checksum.json +0 -1
  289. data/ext/cargo-vendor/cranelift-wasm-0.102.1/Cargo.toml +0 -97
  290. data/ext/cargo-vendor/cranelift-wasm-0.102.1/src/environ/dummy.rs +0 -953
  291. data/ext/cargo-vendor/cranelift-wasm-0.102.1/src/lib.rs +0 -64
  292. data/ext/cargo-vendor/cranelift-wasm-0.102.1/src/translation_utils.rs +0 -97
  293. data/ext/cargo-vendor/wasi-cap-std-sync-15.0.1/.cargo-checksum.json +0 -1
  294. data/ext/cargo-vendor/wasi-cap-std-sync-15.0.1/Cargo.toml +0 -93
  295. data/ext/cargo-vendor/wasi-common-15.0.1/.cargo-checksum.json +0 -1
  296. data/ext/cargo-vendor/wasi-common-15.0.1/Cargo.toml +0 -122
  297. data/ext/cargo-vendor/wasi-common-15.0.1/src/lib.rs +0 -73
  298. data/ext/cargo-vendor/wasi-common-15.0.1/src/snapshots/preview_1.rs +0 -1490
  299. data/ext/cargo-vendor/wasm-encoder-0.36.2/.cargo-checksum.json +0 -1
  300. data/ext/cargo-vendor/wasm-encoder-0.36.2/Cargo.toml +0 -37
  301. data/ext/cargo-vendor/wasm-encoder-0.36.2/README.md +0 -80
  302. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/component/aliases.rs +0 -160
  303. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/component/builder.rs +0 -455
  304. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/component/canonicals.rs +0 -159
  305. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/component/components.rs +0 -29
  306. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/component/exports.rs +0 -124
  307. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/component/imports.rs +0 -175
  308. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/component/instances.rs +0 -200
  309. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/component/modules.rs +0 -29
  310. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/component/names.rs +0 -149
  311. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/component/start.rs +0 -52
  312. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/component/types.rs +0 -771
  313. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/component.rs +0 -168
  314. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/core/code.rs +0 -2989
  315. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/core/custom.rs +0 -73
  316. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/core/data.rs +0 -185
  317. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/core/dump.rs +0 -627
  318. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/core/elements.rs +0 -220
  319. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/core/exports.rs +0 -98
  320. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/core/functions.rs +0 -63
  321. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/core/globals.rs +0 -100
  322. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/core/imports.rs +0 -155
  323. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/core/linking.rs +0 -263
  324. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/core/memories.rs +0 -111
  325. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/core/names.rs +0 -265
  326. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/core/producers.rs +0 -180
  327. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/core/start.rs +0 -39
  328. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/core/tables.rs +0 -115
  329. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/core/tags.rs +0 -104
  330. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/core/types.rs +0 -584
  331. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/core.rs +0 -168
  332. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/lib.rs +0 -215
  333. data/ext/cargo-vendor/wasm-encoder-0.36.2/src/raw.rs +0 -30
  334. data/ext/cargo-vendor/wasmparser-0.116.1/.cargo-checksum.json +0 -1
  335. data/ext/cargo-vendor/wasmparser-0.116.1/Cargo.lock +0 -674
  336. data/ext/cargo-vendor/wasmparser-0.116.1/Cargo.toml +0 -60
  337. data/ext/cargo-vendor/wasmparser-0.116.1/README.md +0 -36
  338. data/ext/cargo-vendor/wasmparser-0.116.1/benches/benchmark.rs +0 -370
  339. data/ext/cargo-vendor/wasmparser-0.116.1/examples/simple.rs +0 -37
  340. data/ext/cargo-vendor/wasmparser-0.116.1/src/binary_reader.rs +0 -1706
  341. data/ext/cargo-vendor/wasmparser-0.116.1/src/define_types.rs +0 -782
  342. data/ext/cargo-vendor/wasmparser-0.116.1/src/lib.rs +0 -729
  343. data/ext/cargo-vendor/wasmparser-0.116.1/src/limits.rs +0 -58
  344. data/ext/cargo-vendor/wasmparser-0.116.1/src/parser.rs +0 -1612
  345. data/ext/cargo-vendor/wasmparser-0.116.1/src/readers/component/aliases.rs +0 -119
  346. data/ext/cargo-vendor/wasmparser-0.116.1/src/readers/component/canonicals.rs +0 -120
  347. data/ext/cargo-vendor/wasmparser-0.116.1/src/readers/component/exports.rs +0 -135
  348. data/ext/cargo-vendor/wasmparser-0.116.1/src/readers/component/imports.rs +0 -129
  349. data/ext/cargo-vendor/wasmparser-0.116.1/src/readers/component/instances.rs +0 -163
  350. data/ext/cargo-vendor/wasmparser-0.116.1/src/readers/component/names.rs +0 -102
  351. data/ext/cargo-vendor/wasmparser-0.116.1/src/readers/component/start.rs +0 -30
  352. data/ext/cargo-vendor/wasmparser-0.116.1/src/readers/component/types.rs +0 -549
  353. data/ext/cargo-vendor/wasmparser-0.116.1/src/readers/component.rs +0 -17
  354. data/ext/cargo-vendor/wasmparser-0.116.1/src/readers/core/code.rs +0 -146
  355. data/ext/cargo-vendor/wasmparser-0.116.1/src/readers/core/coredumps.rs +0 -243
  356. data/ext/cargo-vendor/wasmparser-0.116.1/src/readers/core/custom.rs +0 -63
  357. data/ext/cargo-vendor/wasmparser-0.116.1/src/readers/core/data.rs +0 -96
  358. data/ext/cargo-vendor/wasmparser-0.116.1/src/readers/core/dylink0.rs +0 -132
  359. data/ext/cargo-vendor/wasmparser-0.116.1/src/readers/core/elements.rs +0 -152
  360. data/ext/cargo-vendor/wasmparser-0.116.1/src/readers/core/exports.rs +0 -65
  361. data/ext/cargo-vendor/wasmparser-0.116.1/src/readers/core/functions.rs +0 -17
  362. data/ext/cargo-vendor/wasmparser-0.116.1/src/readers/core/globals.rs +0 -49
  363. data/ext/cargo-vendor/wasmparser-0.116.1/src/readers/core/imports.rs +0 -76
  364. data/ext/cargo-vendor/wasmparser-0.116.1/src/readers/core/init.rs +0 -51
  365. data/ext/cargo-vendor/wasmparser-0.116.1/src/readers/core/memories.rs +0 -56
  366. data/ext/cargo-vendor/wasmparser-0.116.1/src/readers/core/names.rs +0 -153
  367. data/ext/cargo-vendor/wasmparser-0.116.1/src/readers/core/operators.rs +0 -354
  368. data/ext/cargo-vendor/wasmparser-0.116.1/src/readers/core/producers.rs +0 -83
  369. data/ext/cargo-vendor/wasmparser-0.116.1/src/readers/core/tables.rs +0 -87
  370. data/ext/cargo-vendor/wasmparser-0.116.1/src/readers/core/tags.rs +0 -32
  371. data/ext/cargo-vendor/wasmparser-0.116.1/src/readers/core/types.rs +0 -544
  372. data/ext/cargo-vendor/wasmparser-0.116.1/src/readers/core.rs +0 -37
  373. data/ext/cargo-vendor/wasmparser-0.116.1/src/readers.rs +0 -316
  374. data/ext/cargo-vendor/wasmparser-0.116.1/src/resources.rs +0 -398
  375. data/ext/cargo-vendor/wasmparser-0.116.1/src/validator/component.rs +0 -3203
  376. data/ext/cargo-vendor/wasmparser-0.116.1/src/validator/core.rs +0 -1341
  377. data/ext/cargo-vendor/wasmparser-0.116.1/src/validator/func.rs +0 -348
  378. data/ext/cargo-vendor/wasmparser-0.116.1/src/validator/names.rs +0 -859
  379. data/ext/cargo-vendor/wasmparser-0.116.1/src/validator/operators.rs +0 -3466
  380. data/ext/cargo-vendor/wasmparser-0.116.1/src/validator/types.rs +0 -4011
  381. data/ext/cargo-vendor/wasmparser-0.116.1/src/validator.rs +0 -1603
  382. data/ext/cargo-vendor/wasmparser-0.116.1/tests/big-module.rs +0 -33
  383. data/ext/cargo-vendor/wasmtime-15.0.1/.cargo-checksum.json +0 -1
  384. data/ext/cargo-vendor/wasmtime-15.0.1/Cargo.toml +0 -202
  385. data/ext/cargo-vendor/wasmtime-15.0.1/src/compiler.rs +0 -682
  386. data/ext/cargo-vendor/wasmtime-15.0.1/src/component/component.rs +0 -505
  387. data/ext/cargo-vendor/wasmtime-15.0.1/src/component/func/typed.rs +0 -2398
  388. data/ext/cargo-vendor/wasmtime-15.0.1/src/config.rs +0 -2422
  389. data/ext/cargo-vendor/wasmtime-15.0.1/src/func.rs +0 -2428
  390. data/ext/cargo-vendor/wasmtime-15.0.1/src/lib.rs +0 -518
  391. data/ext/cargo-vendor/wasmtime-15.0.1/src/memory.rs +0 -996
  392. data/ext/cargo-vendor/wasmtime-15.0.1/src/module.rs +0 -1370
  393. data/ext/cargo-vendor/wasmtime-15.0.1/src/stack.rs +0 -73
  394. data/ext/cargo-vendor/wasmtime-15.0.1/src/v128.rs +0 -151
  395. data/ext/cargo-vendor/wasmtime-asm-macros-15.0.1/.cargo-checksum.json +0 -1
  396. data/ext/cargo-vendor/wasmtime-asm-macros-15.0.1/Cargo.toml +0 -22
  397. data/ext/cargo-vendor/wasmtime-cache-15.0.1/.cargo-checksum.json +0 -1
  398. data/ext/cargo-vendor/wasmtime-cache-15.0.1/Cargo.toml +0 -72
  399. data/ext/cargo-vendor/wasmtime-cache-15.0.1/src/lib.rs +0 -238
  400. data/ext/cargo-vendor/wasmtime-cache-15.0.1/src/worker.rs +0 -894
  401. data/ext/cargo-vendor/wasmtime-component-macro-15.0.1/.cargo-checksum.json +0 -1
  402. data/ext/cargo-vendor/wasmtime-component-macro-15.0.1/Cargo.toml +0 -58
  403. data/ext/cargo-vendor/wasmtime-component-util-15.0.1/.cargo-checksum.json +0 -1
  404. data/ext/cargo-vendor/wasmtime-component-util-15.0.1/Cargo.toml +0 -25
  405. data/ext/cargo-vendor/wasmtime-cranelift-15.0.1/.cargo-checksum.json +0 -1
  406. data/ext/cargo-vendor/wasmtime-cranelift-15.0.1/Cargo.toml +0 -103
  407. data/ext/cargo-vendor/wasmtime-cranelift-15.0.1/src/compiler/component.rs +0 -959
  408. data/ext/cargo-vendor/wasmtime-cranelift-15.0.1/src/compiler.rs +0 -1317
  409. data/ext/cargo-vendor/wasmtime-cranelift-15.0.1/src/debug/transform/expression.rs +0 -1250
  410. data/ext/cargo-vendor/wasmtime-cranelift-15.0.1/src/debug/transform/simulate.rs +0 -410
  411. data/ext/cargo-vendor/wasmtime-cranelift-15.0.1/src/debug.rs +0 -18
  412. data/ext/cargo-vendor/wasmtime-cranelift-15.0.1/src/func_environ.rs +0 -2746
  413. data/ext/cargo-vendor/wasmtime-cranelift-shared-15.0.1/.cargo-checksum.json +0 -1
  414. data/ext/cargo-vendor/wasmtime-cranelift-shared-15.0.1/Cargo.toml +0 -62
  415. data/ext/cargo-vendor/wasmtime-environ-15.0.1/.cargo-checksum.json +0 -1
  416. data/ext/cargo-vendor/wasmtime-environ-15.0.1/Cargo.lock +0 -677
  417. data/ext/cargo-vendor/wasmtime-environ-15.0.1/Cargo.toml +0 -116
  418. data/ext/cargo-vendor/wasmtime-environ-15.0.1/src/compilation.rs +0 -402
  419. data/ext/cargo-vendor/wasmtime-environ-15.0.1/src/component/compiler.rs +0 -47
  420. data/ext/cargo-vendor/wasmtime-environ-15.0.1/src/component/translate.rs +0 -951
  421. data/ext/cargo-vendor/wasmtime-environ-15.0.1/src/component/types.rs +0 -1870
  422. data/ext/cargo-vendor/wasmtime-environ-15.0.1/src/lib.rs +0 -59
  423. data/ext/cargo-vendor/wasmtime-environ-15.0.1/src/module.rs +0 -1083
  424. data/ext/cargo-vendor/wasmtime-environ-15.0.1/src/module_environ.rs +0 -876
  425. data/ext/cargo-vendor/wasmtime-environ-15.0.1/src/module_types.rs +0 -78
  426. data/ext/cargo-vendor/wasmtime-environ-15.0.1/src/scopevec.rs +0 -57
  427. data/ext/cargo-vendor/wasmtime-fiber-15.0.1/.cargo-checksum.json +0 -1
  428. data/ext/cargo-vendor/wasmtime-fiber-15.0.1/Cargo.toml +0 -54
  429. data/ext/cargo-vendor/wasmtime-fiber-15.0.1/src/lib.rs +0 -327
  430. data/ext/cargo-vendor/wasmtime-fiber-15.0.1/src/unix.rs +0 -265
  431. data/ext/cargo-vendor/wasmtime-fiber-15.0.1/src/windows.c +0 -9
  432. data/ext/cargo-vendor/wasmtime-jit-15.0.1/.cargo-checksum.json +0 -1
  433. data/ext/cargo-vendor/wasmtime-jit-15.0.1/Cargo.toml +0 -115
  434. data/ext/cargo-vendor/wasmtime-jit-15.0.1/src/code_memory.rs +0 -321
  435. data/ext/cargo-vendor/wasmtime-jit-15.0.1/src/instantiate.rs +0 -766
  436. data/ext/cargo-vendor/wasmtime-jit-15.0.1/src/lib.rs +0 -22
  437. data/ext/cargo-vendor/wasmtime-jit-15.0.1/src/unwind/miri.rs +0 -15
  438. data/ext/cargo-vendor/wasmtime-jit-15.0.1/src/unwind/systemv.rs +0 -90
  439. data/ext/cargo-vendor/wasmtime-jit-15.0.1/src/unwind/winx64.rs +0 -44
  440. data/ext/cargo-vendor/wasmtime-jit-15.0.1/src/unwind.rs +0 -14
  441. data/ext/cargo-vendor/wasmtime-jit-debug-15.0.1/.cargo-checksum.json +0 -1
  442. data/ext/cargo-vendor/wasmtime-jit-debug-15.0.1/Cargo.toml +0 -58
  443. data/ext/cargo-vendor/wasmtime-jit-icache-coherence-15.0.1/.cargo-checksum.json +0 -1
  444. data/ext/cargo-vendor/wasmtime-jit-icache-coherence-15.0.1/Cargo.toml +0 -37
  445. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/.cargo-checksum.json +0 -1
  446. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/Cargo.toml +0 -126
  447. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/build.rs +0 -19
  448. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/proptest-regressions/instance/allocator/pooling/memory_pool.txt +0 -8
  449. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/src/cow.rs +0 -1060
  450. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/src/helpers.c +0 -108
  451. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/src/instance/allocator/pooling/memory_pool.rs +0 -999
  452. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/src/instance/allocator/pooling/stack_pool.rs +0 -242
  453. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/src/instance/allocator/pooling/table_pool.rs +0 -225
  454. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/src/instance/allocator/pooling/unix.rs +0 -56
  455. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/src/instance/allocator/pooling/windows.rs +0 -38
  456. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/src/instance/allocator/pooling.rs +0 -708
  457. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/src/lib.rs +0 -279
  458. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/src/libcalls.rs +0 -775
  459. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/src/mmap.rs +0 -226
  460. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/src/mpk/enabled.rs +0 -201
  461. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/src/mpk/pkru.rs +0 -93
  462. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/src/trampolines/aarch64.rs +0 -42
  463. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/src/trampolines/riscv64.rs +0 -45
  464. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/src/trampolines/s390x.rs +0 -25
  465. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/src/trampolines/x86_64.rs +0 -64
  466. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/src/trampolines.rs +0 -19
  467. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/src/traphandlers/backtrace/aarch64.rs +0 -55
  468. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/src/traphandlers/backtrace/riscv64.rs +0 -18
  469. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/src/traphandlers/backtrace/s390x.rs +0 -22
  470. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/src/traphandlers/backtrace/x86_64.rs +0 -20
  471. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/src/traphandlers/backtrace.rs +0 -291
  472. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/src/traphandlers/macos.rs +0 -492
  473. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/src/traphandlers/unix.rs +0 -402
  474. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/src/traphandlers/windows.rs +0 -89
  475. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/src/traphandlers.rs +0 -815
  476. data/ext/cargo-vendor/wasmtime-runtime-15.0.1/src/vmcontext.rs +0 -1197
  477. data/ext/cargo-vendor/wasmtime-types-15.0.1/.cargo-checksum.json +0 -1
  478. data/ext/cargo-vendor/wasmtime-types-15.0.1/Cargo.toml +0 -36
  479. data/ext/cargo-vendor/wasmtime-types-15.0.1/src/lib.rs +0 -504
  480. data/ext/cargo-vendor/wasmtime-versioned-export-macros-15.0.1/.cargo-checksum.json +0 -1
  481. data/ext/cargo-vendor/wasmtime-versioned-export-macros-15.0.1/Cargo.toml +0 -32
  482. data/ext/cargo-vendor/wasmtime-wasi-15.0.1/.cargo-checksum.json +0 -1
  483. data/ext/cargo-vendor/wasmtime-wasi-15.0.1/Cargo.toml +0 -248
  484. data/ext/cargo-vendor/wasmtime-wasi-15.0.1/src/lib.rs +0 -135
  485. data/ext/cargo-vendor/wasmtime-wasi-15.0.1/src/preview2/host/io.rs +0 -368
  486. data/ext/cargo-vendor/wasmtime-wasi-15.0.1/src/preview2/host/network.rs +0 -515
  487. data/ext/cargo-vendor/wasmtime-wasi-15.0.1/src/preview2/host/tcp.rs +0 -630
  488. data/ext/cargo-vendor/wasmtime-wasi-15.0.1/src/preview2/host/udp.rs +0 -543
  489. data/ext/cargo-vendor/wasmtime-wasi-15.0.1/src/preview2/mod.rs +0 -326
  490. data/ext/cargo-vendor/wasmtime-wasi-15.0.1/src/preview2/preview1.rs +0 -2342
  491. data/ext/cargo-vendor/wasmtime-wasi-15.0.1/src/preview2/stdio.rs +0 -450
  492. data/ext/cargo-vendor/wasmtime-wasi-15.0.1/src/preview2/stream.rs +0 -182
  493. data/ext/cargo-vendor/wasmtime-wasi-15.0.1/src/preview2/table.rs +0 -258
  494. data/ext/cargo-vendor/wasmtime-wasi-15.0.1/wit/command-extended.wit +0 -6
  495. data/ext/cargo-vendor/wasmtime-wasi-15.0.1/wit/deps/cli/command.wit +0 -7
  496. data/ext/cargo-vendor/wasmtime-wasi-15.0.1/wit/deps/cli/reactor.wit +0 -31
  497. data/ext/cargo-vendor/wasmtime-wasi-15.0.1/wit/deps/http/proxy.wit +0 -33
  498. data/ext/cargo-vendor/wasmtime-wasi-15.0.1/wit/deps/http/types.wit +0 -559
  499. data/ext/cargo-vendor/wasmtime-wasi-15.0.1/wit/test.wit +0 -22
  500. data/ext/cargo-vendor/wasmtime-winch-15.0.1/.cargo-checksum.json +0 -1
  501. data/ext/cargo-vendor/wasmtime-winch-15.0.1/Cargo.toml +0 -68
  502. data/ext/cargo-vendor/wasmtime-winch-15.0.1/src/compiler.rs +0 -242
  503. data/ext/cargo-vendor/wasmtime-wit-bindgen-15.0.1/.cargo-checksum.json +0 -1
  504. data/ext/cargo-vendor/wasmtime-wit-bindgen-15.0.1/Cargo.toml +0 -32
  505. data/ext/cargo-vendor/wasmtime-wmemcheck-15.0.1/.cargo-checksum.json +0 -1
  506. data/ext/cargo-vendor/wasmtime-wmemcheck-15.0.1/Cargo.toml +0 -22
  507. data/ext/cargo-vendor/wiggle-15.0.1/.cargo-checksum.json +0 -1
  508. data/ext/cargo-vendor/wiggle-15.0.1/Cargo.toml +0 -106
  509. data/ext/cargo-vendor/wiggle-15.0.1/src/lib.rs +0 -1198
  510. data/ext/cargo-vendor/wiggle-generate-15.0.1/.cargo-checksum.json +0 -1
  511. data/ext/cargo-vendor/wiggle-generate-15.0.1/Cargo.toml +0 -58
  512. data/ext/cargo-vendor/wiggle-generate-15.0.1/LICENSE +0 -220
  513. data/ext/cargo-vendor/wiggle-generate-15.0.1/src/types/handle.rs +0 -84
  514. data/ext/cargo-vendor/wiggle-generate-15.0.1/src/types/record.rs +0 -132
  515. data/ext/cargo-vendor/wiggle-generate-15.0.1/src/types/variant.rs +0 -191
  516. data/ext/cargo-vendor/wiggle-macro-15.0.1/.cargo-checksum.json +0 -1
  517. data/ext/cargo-vendor/wiggle-macro-15.0.1/Cargo.toml +0 -55
  518. data/ext/cargo-vendor/wiggle-macro-15.0.1/LICENSE +0 -220
  519. data/ext/cargo-vendor/winch-codegen-0.13.1/.cargo-checksum.json +0 -1
  520. data/ext/cargo-vendor/winch-codegen-0.13.1/Cargo.toml +0 -67
  521. data/ext/cargo-vendor/winch-codegen-0.13.1/src/abi/local.rs +0 -70
  522. data/ext/cargo-vendor/winch-codegen-0.13.1/src/abi/mod.rs +0 -304
  523. data/ext/cargo-vendor/winch-codegen-0.13.1/src/codegen/call.rs +0 -353
  524. data/ext/cargo-vendor/winch-codegen-0.13.1/src/codegen/context.rs +0 -465
  525. data/ext/cargo-vendor/winch-codegen-0.13.1/src/codegen/control.rs +0 -456
  526. data/ext/cargo-vendor/winch-codegen-0.13.1/src/codegen/env.rs +0 -181
  527. data/ext/cargo-vendor/winch-codegen-0.13.1/src/codegen/mod.rs +0 -436
  528. data/ext/cargo-vendor/winch-codegen-0.13.1/src/frame/mod.rs +0 -189
  529. data/ext/cargo-vendor/winch-codegen-0.13.1/src/isa/aarch64/abi.rs +0 -267
  530. data/ext/cargo-vendor/winch-codegen-0.13.1/src/isa/aarch64/masm.rs +0 -436
  531. data/ext/cargo-vendor/winch-codegen-0.13.1/src/isa/aarch64/mod.rs +0 -136
  532. data/ext/cargo-vendor/winch-codegen-0.13.1/src/isa/mod.rs +0 -218
  533. data/ext/cargo-vendor/winch-codegen-0.13.1/src/isa/x64/abi.rs +0 -410
  534. data/ext/cargo-vendor/winch-codegen-0.13.1/src/isa/x64/asm.rs +0 -1106
  535. data/ext/cargo-vendor/winch-codegen-0.13.1/src/isa/x64/masm.rs +0 -953
  536. data/ext/cargo-vendor/winch-codegen-0.13.1/src/isa/x64/mod.rs +0 -172
  537. data/ext/cargo-vendor/winch-codegen-0.13.1/src/isa/x64/regs.rs +0 -247
  538. data/ext/cargo-vendor/winch-codegen-0.13.1/src/masm.rs +0 -592
  539. data/ext/cargo-vendor/winch-codegen-0.13.1/src/stack.rs +0 -366
  540. data/ext/cargo-vendor/winch-codegen-0.13.1/src/trampoline.rs +0 -489
  541. data/ext/cargo-vendor/winch-codegen-0.13.1/src/visitor.rs +0 -1339
  542. /data/ext/cargo-vendor/{cranelift-bforest-0.102.1 → cranelift-bforest-0.103.0}/LICENSE +0 -0
  543. /data/ext/cargo-vendor/{cranelift-bforest-0.102.1 → cranelift-bforest-0.103.0}/README.md +0 -0
  544. /data/ext/cargo-vendor/{cranelift-bforest-0.102.1 → cranelift-bforest-0.103.0}/src/map.rs +0 -0
  545. /data/ext/cargo-vendor/{cranelift-bforest-0.102.1 → cranelift-bforest-0.103.0}/src/node.rs +0 -0
  546. /data/ext/cargo-vendor/{cranelift-bforest-0.102.1 → cranelift-bforest-0.103.0}/src/path.rs +0 -0
  547. /data/ext/cargo-vendor/{cranelift-bforest-0.102.1 → cranelift-bforest-0.103.0}/src/pool.rs +0 -0
  548. /data/ext/cargo-vendor/{cranelift-bforest-0.102.1 → cranelift-bforest-0.103.0}/src/set.rs +0 -0
  549. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/LICENSE +0 -0
  550. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/README.md +0 -0
  551. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/benches/x64-evex-encoding.rs +0 -0
  552. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/build.rs +0 -0
  553. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/alias_analysis.rs +0 -0
  554. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/binemit/stack_map.rs +0 -0
  555. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/bitset.rs +0 -0
  556. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/cfg_printer.rs +0 -0
  557. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/constant_hash.rs +0 -0
  558. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/context.rs +0 -0
  559. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/ctxhash.rs +0 -0
  560. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/cursor.rs +0 -0
  561. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/data_value.rs +0 -0
  562. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/dbg.rs +0 -0
  563. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/dce.rs +0 -0
  564. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/dominator_tree.rs +0 -0
  565. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/egraph/domtree.rs +0 -0
  566. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/flowgraph.rs +0 -0
  567. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/fx.rs +0 -0
  568. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/incremental_cache.rs +0 -0
  569. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/inst_predicates.rs +0 -0
  570. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/ir/atomic_rmw_op.rs +0 -0
  571. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/ir/builder.rs +0 -0
  572. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/ir/condcodes.rs +0 -0
  573. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/ir/constant.rs +0 -0
  574. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/ir/dynamic_type.rs +0 -0
  575. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/ir/entities.rs +0 -0
  576. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/ir/extfunc.rs +0 -0
  577. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/ir/extname.rs +0 -0
  578. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/ir/function.rs +0 -0
  579. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/ir/globalvalue.rs +0 -0
  580. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/ir/immediates.rs +0 -0
  581. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/ir/instructions.rs +0 -0
  582. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/ir/jumptable.rs +0 -0
  583. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/ir/known_symbol.rs +0 -0
  584. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/ir/layout.rs +0 -0
  585. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/ir/libcall.rs +0 -0
  586. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/ir/memflags.rs +0 -0
  587. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/ir/memtype.rs +0 -0
  588. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/ir/mod.rs +0 -0
  589. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/ir/progpoint.rs +0 -0
  590. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/ir/sourceloc.rs +0 -0
  591. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/ir/stackslot.rs +0 -0
  592. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/ir/table.rs +0 -0
  593. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/ir/trapcode.rs +0 -0
  594. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/ir/types.rs +0 -0
  595. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/aarch64/abi.rs +0 -0
  596. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/aarch64/inst/args.rs +0 -0
  597. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/aarch64/inst/emit.rs +0 -0
  598. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/aarch64/inst/emit_tests.rs +0 -0
  599. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/aarch64/inst/imms.rs +0 -0
  600. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/aarch64/inst/mod.rs +0 -0
  601. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/aarch64/inst/regs.rs +0 -0
  602. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/aarch64/inst/unwind/systemv.rs +0 -0
  603. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/aarch64/inst/unwind.rs +0 -0
  604. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/aarch64/inst.isle +0 -0
  605. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/aarch64/inst_neon.isle +0 -0
  606. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/aarch64/lower/isle/generated_code.rs +0 -0
  607. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/aarch64/lower.isle +0 -0
  608. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/aarch64/lower.rs +0 -0
  609. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/aarch64/lower_dynamic_neon.isle +0 -0
  610. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/aarch64/mod.rs +0 -0
  611. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/aarch64/pcc.rs +0 -0
  612. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/aarch64/settings.rs +0 -0
  613. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/call_conv.rs +0 -0
  614. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/mod.rs +0 -0
  615. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/riscv64/abi.rs +0 -0
  616. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/riscv64/inst/args.rs +0 -0
  617. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/riscv64/inst/emit.rs +0 -0
  618. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/riscv64/inst/emit_tests.rs +0 -0
  619. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/riscv64/inst/encode.rs +0 -0
  620. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/riscv64/inst/imms.rs +0 -0
  621. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/riscv64/inst/regs.rs +0 -0
  622. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/riscv64/inst/unwind/systemv.rs +0 -0
  623. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/riscv64/inst/unwind.rs +0 -0
  624. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/riscv64/inst/vector.rs +0 -0
  625. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/riscv64/inst_vector.isle +0 -0
  626. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/riscv64/lower/isle/generated_code.rs +0 -0
  627. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/riscv64/lower/isle.rs +0 -0
  628. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/riscv64/lower.rs +0 -0
  629. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/riscv64/mod.rs +0 -0
  630. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/riscv64/settings.rs +0 -0
  631. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/s390x/abi.rs +0 -0
  632. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/s390x/inst/args.rs +0 -0
  633. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/s390x/inst/emit.rs +0 -0
  634. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/s390x/inst/emit_tests.rs +0 -0
  635. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/s390x/inst/imms.rs +0 -0
  636. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/s390x/inst/mod.rs +0 -0
  637. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/s390x/inst/regs.rs +0 -0
  638. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/s390x/inst/unwind/systemv.rs +0 -0
  639. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/s390x/inst/unwind.rs +0 -0
  640. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/s390x/inst.isle +0 -0
  641. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/s390x/lower/isle/generated_code.rs +0 -0
  642. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/s390x/lower.isle +0 -0
  643. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/s390x/lower.rs +0 -0
  644. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/s390x/mod.rs +0 -0
  645. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/s390x/settings.rs +0 -0
  646. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/unwind/systemv.rs +0 -0
  647. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/unwind/winx64.rs +0 -0
  648. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/unwind.rs +0 -0
  649. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/x64/abi.rs +0 -0
  650. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/x64/encoding/evex.rs +0 -0
  651. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/x64/encoding/mod.rs +0 -0
  652. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/x64/encoding/rex.rs +0 -0
  653. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/x64/encoding/vex.rs +0 -0
  654. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/x64/inst/args.rs +0 -0
  655. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/x64/inst/emit.rs +0 -0
  656. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/x64/inst/emit_state.rs +0 -0
  657. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/x64/inst/emit_tests.rs +0 -0
  658. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/x64/inst/mod.rs +0 -0
  659. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/x64/inst/regs.rs +0 -0
  660. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/x64/inst/unwind/systemv.rs +0 -0
  661. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/x64/inst/unwind/winx64.rs +0 -0
  662. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/x64/inst/unwind.rs +0 -0
  663. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/x64/inst.isle +0 -0
  664. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/x64/lower/isle/generated_code.rs +0 -0
  665. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/x64/lower.isle +0 -0
  666. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/x64/lower.rs +0 -0
  667. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/x64/mod.rs +0 -0
  668. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/isa/x64/settings.rs +0 -0
  669. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/iterators.rs +0 -0
  670. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/legalizer/globalvalue.rs +0 -0
  671. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/legalizer/mod.rs +0 -0
  672. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/legalizer/table.rs +0 -0
  673. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/loop_analysis.rs +0 -0
  674. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/machinst/abi.rs +0 -0
  675. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/machinst/blockorder.rs +0 -0
  676. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/machinst/buffer.rs +0 -0
  677. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/machinst/compile.rs +0 -0
  678. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/machinst/helpers.rs +0 -0
  679. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/machinst/inst_common.rs +0 -0
  680. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/machinst/lower.rs +0 -0
  681. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/machinst/mod.rs +0 -0
  682. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/machinst/pcc.rs +0 -0
  683. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/machinst/reg.rs +0 -0
  684. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/machinst/valueregs.rs +0 -0
  685. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/machinst/vcode.rs +0 -0
  686. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/nan_canonicalization.rs +0 -0
  687. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/opts/README.md +0 -0
  688. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/opts/bitops.isle +0 -0
  689. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/opts/extends.isle +0 -0
  690. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/opts/generated_code.rs +0 -0
  691. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/opts/remat.isle +0 -0
  692. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/opts/shifts.isle +0 -0
  693. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/opts/vector.isle +0 -0
  694. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/prelude_lower.isle +0 -0
  695. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/prelude_opt.isle +0 -0
  696. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/print_errors.rs +0 -0
  697. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/remove_constant_phis.rs +0 -0
  698. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/result.rs +0 -0
  699. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/scoped_hash_map.rs +0 -0
  700. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/settings.rs +0 -0
  701. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/souper_harvest.rs +0 -0
  702. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/unreachable_code.rs +0 -0
  703. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/value_label.rs +0 -0
  704. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/verifier/mod.rs +0 -0
  705. /data/ext/cargo-vendor/{cranelift-codegen-0.102.1 → cranelift-codegen-0.103.0}/src/write.rs +0 -0
  706. /data/ext/cargo-vendor/{cranelift-codegen-meta-0.102.1 → cranelift-codegen-meta-0.103.0}/LICENSE +0 -0
  707. /data/ext/cargo-vendor/{cranelift-codegen-meta-0.102.1 → cranelift-codegen-meta-0.103.0}/README.md +0 -0
  708. /data/ext/cargo-vendor/{cranelift-codegen-meta-0.102.1 → cranelift-codegen-meta-0.103.0}/src/cdsl/formats.rs +0 -0
  709. /data/ext/cargo-vendor/{cranelift-codegen-meta-0.102.1 → cranelift-codegen-meta-0.103.0}/src/cdsl/instructions.rs +0 -0
  710. /data/ext/cargo-vendor/{cranelift-codegen-meta-0.102.1 → cranelift-codegen-meta-0.103.0}/src/cdsl/isa.rs +0 -0
  711. /data/ext/cargo-vendor/{cranelift-codegen-meta-0.102.1 → cranelift-codegen-meta-0.103.0}/src/cdsl/mod.rs +0 -0
  712. /data/ext/cargo-vendor/{cranelift-codegen-meta-0.102.1 → cranelift-codegen-meta-0.103.0}/src/cdsl/operands.rs +0 -0
  713. /data/ext/cargo-vendor/{cranelift-codegen-meta-0.102.1 → cranelift-codegen-meta-0.103.0}/src/cdsl/settings.rs +0 -0
  714. /data/ext/cargo-vendor/{cranelift-codegen-meta-0.102.1 → cranelift-codegen-meta-0.103.0}/src/cdsl/types.rs +0 -0
  715. /data/ext/cargo-vendor/{cranelift-codegen-meta-0.102.1 → cranelift-codegen-meta-0.103.0}/src/cdsl/typevar.rs +0 -0
  716. /data/ext/cargo-vendor/{cranelift-codegen-meta-0.102.1 → cranelift-codegen-meta-0.103.0}/src/constant_hash.rs +0 -0
  717. /data/ext/cargo-vendor/{cranelift-codegen-meta-0.102.1 → cranelift-codegen-meta-0.103.0}/src/error.rs +0 -0
  718. /data/ext/cargo-vendor/{cranelift-codegen-meta-0.102.1 → cranelift-codegen-meta-0.103.0}/src/gen_inst.rs +0 -0
  719. /data/ext/cargo-vendor/{cranelift-codegen-meta-0.102.1 → cranelift-codegen-meta-0.103.0}/src/gen_settings.rs +0 -0
  720. /data/ext/cargo-vendor/{cranelift-codegen-meta-0.102.1 → cranelift-codegen-meta-0.103.0}/src/gen_types.rs +0 -0
  721. /data/ext/cargo-vendor/{cranelift-codegen-meta-0.102.1 → cranelift-codegen-meta-0.103.0}/src/isa/arm64.rs +0 -0
  722. /data/ext/cargo-vendor/{cranelift-codegen-meta-0.102.1 → cranelift-codegen-meta-0.103.0}/src/isa/mod.rs +0 -0
  723. /data/ext/cargo-vendor/{cranelift-codegen-meta-0.102.1 → cranelift-codegen-meta-0.103.0}/src/isa/riscv64.rs +0 -0
  724. /data/ext/cargo-vendor/{cranelift-codegen-meta-0.102.1 → cranelift-codegen-meta-0.103.0}/src/isa/s390x.rs +0 -0
  725. /data/ext/cargo-vendor/{cranelift-codegen-meta-0.102.1 → cranelift-codegen-meta-0.103.0}/src/isa/x86.rs +0 -0
  726. /data/ext/cargo-vendor/{cranelift-codegen-meta-0.102.1 → cranelift-codegen-meta-0.103.0}/src/lib.rs +0 -0
  727. /data/ext/cargo-vendor/{cranelift-codegen-meta-0.102.1 → cranelift-codegen-meta-0.103.0}/src/shared/entities.rs +0 -0
  728. /data/ext/cargo-vendor/{cranelift-codegen-meta-0.102.1 → cranelift-codegen-meta-0.103.0}/src/shared/formats.rs +0 -0
  729. /data/ext/cargo-vendor/{cranelift-codegen-meta-0.102.1 → cranelift-codegen-meta-0.103.0}/src/shared/immediates.rs +0 -0
  730. /data/ext/cargo-vendor/{cranelift-codegen-meta-0.102.1 → cranelift-codegen-meta-0.103.0}/src/shared/instructions.rs +0 -0
  731. /data/ext/cargo-vendor/{cranelift-codegen-meta-0.102.1 → cranelift-codegen-meta-0.103.0}/src/shared/mod.rs +0 -0
  732. /data/ext/cargo-vendor/{cranelift-codegen-meta-0.102.1 → cranelift-codegen-meta-0.103.0}/src/shared/settings.rs +0 -0
  733. /data/ext/cargo-vendor/{cranelift-codegen-meta-0.102.1 → cranelift-codegen-meta-0.103.0}/src/shared/types.rs +0 -0
  734. /data/ext/cargo-vendor/{cranelift-codegen-meta-0.102.1 → cranelift-codegen-meta-0.103.0}/src/srcgen.rs +0 -0
  735. /data/ext/cargo-vendor/{cranelift-codegen-meta-0.102.1 → cranelift-codegen-meta-0.103.0}/src/unique_table.rs +0 -0
  736. /data/ext/cargo-vendor/{cranelift-codegen-shared-0.102.1 → cranelift-codegen-shared-0.103.0}/LICENSE +0 -0
  737. /data/ext/cargo-vendor/{cranelift-codegen-shared-0.102.1 → cranelift-codegen-shared-0.103.0}/README.md +0 -0
  738. /data/ext/cargo-vendor/{cranelift-codegen-shared-0.102.1 → cranelift-codegen-shared-0.103.0}/src/constant_hash.rs +0 -0
  739. /data/ext/cargo-vendor/{cranelift-codegen-shared-0.102.1 → cranelift-codegen-shared-0.103.0}/src/constants.rs +0 -0
  740. /data/ext/cargo-vendor/{cranelift-control-0.102.1 → cranelift-control-0.103.0}/LICENSE +0 -0
  741. /data/ext/cargo-vendor/{cranelift-control-0.102.1 → cranelift-control-0.103.0}/README.md +0 -0
  742. /data/ext/cargo-vendor/{cranelift-control-0.102.1 → cranelift-control-0.103.0}/src/chaos.rs +0 -0
  743. /data/ext/cargo-vendor/{cranelift-control-0.102.1 → cranelift-control-0.103.0}/src/lib.rs +0 -0
  744. /data/ext/cargo-vendor/{cranelift-control-0.102.1 → cranelift-control-0.103.0}/src/zero_sized.rs +0 -0
  745. /data/ext/cargo-vendor/{cranelift-entity-0.102.1 → cranelift-entity-0.103.0}/LICENSE +0 -0
  746. /data/ext/cargo-vendor/{cranelift-entity-0.102.1 → cranelift-entity-0.103.0}/README.md +0 -0
  747. /data/ext/cargo-vendor/{cranelift-entity-0.102.1 → cranelift-entity-0.103.0}/src/boxed_slice.rs +0 -0
  748. /data/ext/cargo-vendor/{cranelift-entity-0.102.1 → cranelift-entity-0.103.0}/src/iter.rs +0 -0
  749. /data/ext/cargo-vendor/{cranelift-entity-0.102.1 → cranelift-entity-0.103.0}/src/keys.rs +0 -0
  750. /data/ext/cargo-vendor/{cranelift-entity-0.102.1 → cranelift-entity-0.103.0}/src/list.rs +0 -0
  751. /data/ext/cargo-vendor/{cranelift-entity-0.102.1 → cranelift-entity-0.103.0}/src/map.rs +0 -0
  752. /data/ext/cargo-vendor/{cranelift-entity-0.102.1 → cranelift-entity-0.103.0}/src/packed_option.rs +0 -0
  753. /data/ext/cargo-vendor/{cranelift-entity-0.102.1 → cranelift-entity-0.103.0}/src/set.rs +0 -0
  754. /data/ext/cargo-vendor/{cranelift-entity-0.102.1 → cranelift-entity-0.103.0}/src/sparse.rs +0 -0
  755. /data/ext/cargo-vendor/{cranelift-frontend-0.102.1 → cranelift-frontend-0.103.0}/LICENSE +0 -0
  756. /data/ext/cargo-vendor/{cranelift-frontend-0.102.1 → cranelift-frontend-0.103.0}/README.md +0 -0
  757. /data/ext/cargo-vendor/{cranelift-frontend-0.102.1 → cranelift-frontend-0.103.0}/src/frontend.rs +0 -0
  758. /data/ext/cargo-vendor/{cranelift-frontend-0.102.1 → cranelift-frontend-0.103.0}/src/ssa.rs +0 -0
  759. /data/ext/cargo-vendor/{cranelift-frontend-0.102.1 → cranelift-frontend-0.103.0}/src/switch.rs +0 -0
  760. /data/ext/cargo-vendor/{cranelift-frontend-0.102.1 → cranelift-frontend-0.103.0}/src/variable.rs +0 -0
  761. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/README.md +0 -0
  762. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/build.rs +0 -0
  763. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/fail/bad_converters.isle +0 -0
  764. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/fail/bound_var_type_mismatch.isle +0 -0
  765. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/fail/converter_extractor_constructor.isle +0 -0
  766. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/fail/error1.isle +0 -0
  767. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/fail/extra_parens.isle +0 -0
  768. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/fail/impure_expression.isle +0 -0
  769. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/fail/impure_rhs.isle +0 -0
  770. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/fail/multi_internal_etor.isle +0 -0
  771. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/fail/multi_prio.isle +0 -0
  772. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/link/borrows.isle +0 -0
  773. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/link/borrows_main.rs +0 -0
  774. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/link/iflets.isle +0 -0
  775. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/link/iflets_main.rs +0 -0
  776. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/link/multi_constructor.isle +0 -0
  777. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/link/multi_extractor.isle +0 -0
  778. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/link/test.isle +0 -0
  779. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/link/test_main.rs +0 -0
  780. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/pass/bound_var.isle +0 -0
  781. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/pass/construct_and_extract.isle +0 -0
  782. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/pass/conversions.isle +0 -0
  783. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/pass/conversions_extern.isle +0 -0
  784. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/pass/let.isle +0 -0
  785. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/pass/nodebug.isle +0 -0
  786. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/pass/prio_trie_bug.isle +0 -0
  787. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/pass/test2.isle +0 -0
  788. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/pass/test3.isle +0 -0
  789. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/pass/test4.isle +0 -0
  790. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/pass/tutorial.isle +0 -0
  791. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/run/iconst.isle +0 -0
  792. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/run/iconst_main.rs +0 -0
  793. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/run/let_shadowing.isle +0 -0
  794. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/isle_examples/run/let_shadowing_main.rs +0 -0
  795. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/src/ast.rs +0 -0
  796. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/src/compile.rs +0 -0
  797. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/src/error.rs +0 -0
  798. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/src/lexer.rs +0 -0
  799. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/src/lib.rs +0 -0
  800. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/src/log.rs +0 -0
  801. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/src/overlap.rs +0 -0
  802. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/src/parser.rs +0 -0
  803. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/src/sema.rs +0 -0
  804. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/src/serialize.rs +0 -0
  805. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/src/trie_again.rs +0 -0
  806. /data/ext/cargo-vendor/{cranelift-isle-0.102.1 → cranelift-isle-0.103.0}/tests/run_tests.rs +0 -0
  807. /data/ext/cargo-vendor/{cranelift-native-0.102.1 → cranelift-native-0.103.0}/LICENSE +0 -0
  808. /data/ext/cargo-vendor/{cranelift-native-0.102.1 → cranelift-native-0.103.0}/README.md +0 -0
  809. /data/ext/cargo-vendor/{cranelift-native-0.102.1 → cranelift-native-0.103.0}/src/riscv.rs +0 -0
  810. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/LICENSE +0 -0
  811. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/README.md +0 -0
  812. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/src/code_translator/bounds_checks.rs +0 -0
  813. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/src/code_translator.rs +0 -0
  814. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/src/environ/mod.rs +0 -0
  815. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/src/environ/spec.rs +0 -0
  816. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/src/func_translator.rs +0 -0
  817. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/src/heap.rs +0 -0
  818. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/src/module_translator.rs +0 -0
  819. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/src/sections_translator.rs +0 -0
  820. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/src/state.rs +0 -0
  821. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/tests/wasm_testsuite.rs +0 -0
  822. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/arith.wat +0 -0
  823. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/br_table.wat +0 -0
  824. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/call-simd.wat +0 -0
  825. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/call.wat +0 -0
  826. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/embenchen_fannkuch.wat +0 -0
  827. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/embenchen_fasta.wat +0 -0
  828. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/embenchen_ifs.wat +0 -0
  829. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/embenchen_primes.wat +0 -0
  830. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/fac-multi-value.wat +0 -0
  831. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/fibonacci.wat +0 -0
  832. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/globals.wat +0 -0
  833. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/icall-simd.wat +0 -0
  834. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/icall.wat +0 -0
  835. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/if-reachability-translation-0.wat +0 -0
  836. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/if-reachability-translation-1.wat +0 -0
  837. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/if-reachability-translation-2.wat +0 -0
  838. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/if-reachability-translation-3.wat +0 -0
  839. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/if-reachability-translation-4.wat +0 -0
  840. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/if-reachability-translation-5.wat +0 -0
  841. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/if-reachability-translation-6.wat +0 -0
  842. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/if-unreachable-else-params-2.wat +0 -0
  843. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/if-unreachable-else-params.wat +0 -0
  844. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/issue-1306-name-section-with-u32-max-function-index.wasm +0 -0
  845. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/memory.wat +0 -0
  846. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/multi-0.wat +0 -0
  847. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/multi-1.wat +0 -0
  848. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/multi-10.wat +0 -0
  849. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/multi-11.wat +0 -0
  850. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/multi-12.wat +0 -0
  851. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/multi-13.wat +0 -0
  852. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/multi-14.wat +0 -0
  853. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/multi-15.wat +0 -0
  854. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/multi-16.wat +0 -0
  855. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/multi-17.wat +0 -0
  856. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/multi-2.wat +0 -0
  857. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/multi-3.wat +0 -0
  858. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/multi-4.wat +0 -0
  859. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/multi-5.wat +0 -0
  860. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/multi-6.wat +0 -0
  861. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/multi-7.wat +0 -0
  862. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/multi-8.wat +0 -0
  863. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/multi-9.wat +0 -0
  864. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/nullref.wat +0 -0
  865. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/passive-data.wat +0 -0
  866. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/pr2303.wat +0 -0
  867. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/pr2559.wat +0 -0
  868. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/ref-func-0.wat +0 -0
  869. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/rust_fannkuch.wat +0 -0
  870. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/select.wat +0 -0
  871. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/simd-store.wat +0 -0
  872. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/simd.wat +0 -0
  873. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/table-copy.wat +0 -0
  874. /data/ext/cargo-vendor/{cranelift-wasm-0.102.1 → cranelift-wasm-0.103.0}/wasmtests/unreachable_code.wat +0 -0
  875. /data/ext/cargo-vendor/{wasi-cap-std-sync-15.0.1 → wasi-cap-std-sync-16.0.0}/LICENSE +0 -0
  876. /data/ext/cargo-vendor/{wasi-cap-std-sync-15.0.1 → wasi-cap-std-sync-16.0.0}/README.md +0 -0
  877. /data/ext/cargo-vendor/{wasi-cap-std-sync-15.0.1 → wasi-cap-std-sync-16.0.0}/src/clocks.rs +0 -0
  878. /data/ext/cargo-vendor/{wasi-cap-std-sync-15.0.1 → wasi-cap-std-sync-16.0.0}/src/dir.rs +0 -0
  879. /data/ext/cargo-vendor/{wasi-cap-std-sync-15.0.1 → wasi-cap-std-sync-16.0.0}/src/file.rs +0 -0
  880. /data/ext/cargo-vendor/{wasi-cap-std-sync-15.0.1 → wasi-cap-std-sync-16.0.0}/src/lib.rs +0 -0
  881. /data/ext/cargo-vendor/{wasi-cap-std-sync-15.0.1 → wasi-cap-std-sync-16.0.0}/src/net.rs +0 -0
  882. /data/ext/cargo-vendor/{wasi-cap-std-sync-15.0.1 → wasi-cap-std-sync-16.0.0}/src/sched/unix.rs +0 -0
  883. /data/ext/cargo-vendor/{wasi-cap-std-sync-15.0.1 → wasi-cap-std-sync-16.0.0}/src/sched/windows.rs +0 -0
  884. /data/ext/cargo-vendor/{wasi-cap-std-sync-15.0.1 → wasi-cap-std-sync-16.0.0}/src/sched.rs +0 -0
  885. /data/ext/cargo-vendor/{wasi-cap-std-sync-15.0.1 → wasi-cap-std-sync-16.0.0}/src/stdio.rs +0 -0
  886. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/LICENSE +0 -0
  887. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/README.md +0 -0
  888. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/WASI/README.md +0 -0
  889. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/WASI/docs/README.md +0 -0
  890. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/WASI/phases/README.md +0 -0
  891. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/WASI/phases/ephemeral/docs.md +0 -0
  892. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/WASI/phases/ephemeral/witx/typenames.witx +0 -0
  893. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/WASI/phases/ephemeral/witx/wasi_ephemeral_args.witx +0 -0
  894. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/WASI/phases/ephemeral/witx/wasi_ephemeral_clock.witx +0 -0
  895. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/WASI/phases/ephemeral/witx/wasi_ephemeral_environ.witx +0 -0
  896. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/WASI/phases/ephemeral/witx/wasi_ephemeral_fd.witx +0 -0
  897. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/WASI/phases/ephemeral/witx/wasi_ephemeral_path.witx +0 -0
  898. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/WASI/phases/ephemeral/witx/wasi_ephemeral_poll.witx +0 -0
  899. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/WASI/phases/ephemeral/witx/wasi_ephemeral_proc.witx +0 -0
  900. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/WASI/phases/ephemeral/witx/wasi_ephemeral_random.witx +0 -0
  901. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/WASI/phases/ephemeral/witx/wasi_ephemeral_sched.witx +0 -0
  902. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/WASI/phases/ephemeral/witx/wasi_ephemeral_sock.witx +0 -0
  903. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/WASI/phases/old/snapshot_0/docs.md +0 -0
  904. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/WASI/phases/old/snapshot_0/witx/typenames.witx +0 -0
  905. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/WASI/phases/old/snapshot_0/witx/wasi_unstable.witx +0 -0
  906. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/WASI/phases/snapshot/docs.html +0 -0
  907. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/WASI/phases/snapshot/docs.md +0 -0
  908. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/WASI/phases/snapshot/witx/typenames.witx +0 -0
  909. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/WASI/phases/snapshot/witx/wasi_snapshot_preview1.witx +0 -0
  910. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/WASI/proposal-template/README.md +0 -0
  911. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/WASI/proposals/README.md +0 -0
  912. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/WASI/snapshots/README.md +0 -0
  913. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/WASI/standard/README.md +0 -0
  914. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/build.rs +0 -0
  915. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/src/clocks.rs +0 -0
  916. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/src/ctx.rs +0 -0
  917. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/src/dir.rs +0 -0
  918. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/src/error.rs +0 -0
  919. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/src/file.rs +0 -0
  920. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/src/pipe.rs +0 -0
  921. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/src/random.rs +0 -0
  922. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/src/sched/subscription.rs +0 -0
  923. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/src/sched.rs +0 -0
  924. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/src/snapshots/mod.rs +0 -0
  925. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/src/snapshots/preview_0.rs +0 -0
  926. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/src/snapshots/preview_1/error.rs +0 -0
  927. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/src/string_array.rs +0 -0
  928. /data/ext/cargo-vendor/{wasi-common-15.0.1 → wasi-common-16.0.0}/src/table.rs +0 -0
  929. /data/ext/cargo-vendor/{wasm-encoder-0.36.2 → wasmtime-16.0.0}/LICENSE +0 -0
  930. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/README.md +0 -0
  931. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/code.rs +0 -0
  932. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/component/func/host.rs +0 -0
  933. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/component/func/options.rs +0 -0
  934. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/component/func.rs +0 -0
  935. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/component/instance.rs +0 -0
  936. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/component/linker.rs +0 -0
  937. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/component/matching.rs +0 -0
  938. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/component/mod.rs +0 -0
  939. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/component/resources.rs +0 -0
  940. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/component/storage.rs +0 -0
  941. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/component/store.rs +0 -0
  942. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/component/types.rs +0 -0
  943. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/component/values.rs +0 -0
  944. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/coredump.rs +0 -0
  945. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/engine/serialization.rs +0 -0
  946. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/engine.rs +0 -0
  947. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/externals/global.rs +0 -0
  948. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/externals/table.rs +0 -0
  949. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/externals.rs +0 -0
  950. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/func/typed.rs +0 -0
  951. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/instance.rs +0 -0
  952. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/limits.rs +0 -0
  953. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/linker.rs +0 -0
  954. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/module/registry.rs +0 -0
  955. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/profiling.rs +0 -0
  956. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/ref.rs +0 -0
  957. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/resources.rs +0 -0
  958. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/signatures.rs +0 -0
  959. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/store/context.rs +0 -0
  960. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/store/data.rs +0 -0
  961. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/store/func_refs.rs +0 -0
  962. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/store.rs +0 -0
  963. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/trampoline/func.rs +0 -0
  964. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/trampoline/global.rs +0 -0
  965. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/trampoline/memory.rs +0 -0
  966. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/trampoline/table.rs +0 -0
  967. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/trampoline.rs +0 -0
  968. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/trap.rs +0 -0
  969. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/types/matching.rs +0 -0
  970. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/types.rs +0 -0
  971. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/unix.rs +0 -0
  972. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/values.rs +0 -0
  973. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-16.0.0}/src/windows.rs +0 -0
  974. /data/ext/cargo-vendor/{wasmtime-asm-macros-15.0.1 → wasmtime-asm-macros-16.0.0}/src/lib.rs +0 -0
  975. /data/ext/cargo-vendor/{wasmparser-0.116.1 → wasmtime-cache-16.0.0}/LICENSE +0 -0
  976. /data/ext/cargo-vendor/{wasmtime-cache-15.0.1 → wasmtime-cache-16.0.0}/build.rs +0 -0
  977. /data/ext/cargo-vendor/{wasmtime-cache-15.0.1 → wasmtime-cache-16.0.0}/src/config/tests.rs +0 -0
  978. /data/ext/cargo-vendor/{wasmtime-cache-15.0.1 → wasmtime-cache-16.0.0}/src/config.rs +0 -0
  979. /data/ext/cargo-vendor/{wasmtime-cache-15.0.1 → wasmtime-cache-16.0.0}/src/tests.rs +0 -0
  980. /data/ext/cargo-vendor/{wasmtime-cache-15.0.1 → wasmtime-cache-16.0.0}/src/worker/tests/system_time_stub.rs +0 -0
  981. /data/ext/cargo-vendor/{wasmtime-cache-15.0.1 → wasmtime-cache-16.0.0}/src/worker/tests.rs +0 -0
  982. /data/ext/cargo-vendor/{wasmtime-cache-15.0.1 → wasmtime-cache-16.0.0}/tests/cache_write_default_config.rs +0 -0
  983. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/src/bindgen.rs +0 -0
  984. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/src/component.rs +0 -0
  985. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/src/lib.rs +0 -0
  986. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/tests/codegen/char.wit +0 -0
  987. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/tests/codegen/conventions.wit +0 -0
  988. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/tests/codegen/direct-import.wit +0 -0
  989. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/tests/codegen/empty.wit +0 -0
  990. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/tests/codegen/flags.wit +0 -0
  991. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/tests/codegen/floats.wit +0 -0
  992. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/tests/codegen/function-new.wit +0 -0
  993. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/tests/codegen/integers.wit +0 -0
  994. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/tests/codegen/lists.wit +0 -0
  995. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/tests/codegen/many-arguments.wit +0 -0
  996. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/tests/codegen/multi-return.wit +0 -0
  997. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/tests/codegen/multiversion/deps/v1/root.wit +0 -0
  998. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/tests/codegen/multiversion/deps/v2/root.wit +0 -0
  999. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/tests/codegen/multiversion/root.wit +0 -0
  1000. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/tests/codegen/records.wit +0 -0
  1001. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/tests/codegen/rename.wit +0 -0
  1002. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/tests/codegen/resources-export.wit +0 -0
  1003. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/tests/codegen/resources-import.wit +0 -0
  1004. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/tests/codegen/share-types.wit +0 -0
  1005. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/tests/codegen/simple-functions.wit +0 -0
  1006. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/tests/codegen/simple-lists.wit +0 -0
  1007. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/tests/codegen/simple-wasi.wit +0 -0
  1008. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/tests/codegen/small-anonymous.wit +0 -0
  1009. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/tests/codegen/smoke-default.wit +0 -0
  1010. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/tests/codegen/smoke-export.wit +0 -0
  1011. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/tests/codegen/smoke.wit +0 -0
  1012. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/tests/codegen/strings.wit +0 -0
  1013. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/tests/codegen/use-paths.wit +0 -0
  1014. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/tests/codegen/variants.wit +0 -0
  1015. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/tests/codegen/worlds-with-types.wit +0 -0
  1016. /data/ext/cargo-vendor/{wasmtime-component-macro-15.0.1 → wasmtime-component-macro-16.0.0}/tests/codegen.rs +0 -0
  1017. /data/ext/cargo-vendor/{wasmtime-component-util-15.0.1 → wasmtime-component-util-16.0.0}/src/lib.rs +0 -0
  1018. /data/ext/cargo-vendor/{wasmtime-15.0.1 → wasmtime-cranelift-16.0.0}/LICENSE +0 -0
  1019. /data/ext/cargo-vendor/{wasmtime-cranelift-15.0.1 → wasmtime-cranelift-16.0.0}/SECURITY.md +0 -0
  1020. /data/ext/cargo-vendor/{wasmtime-cranelift-15.0.1 → wasmtime-cranelift-16.0.0}/src/builder.rs +0 -0
  1021. /data/ext/cargo-vendor/{wasmtime-cranelift-15.0.1 → wasmtime-cranelift-16.0.0}/src/debug/gc.rs +0 -0
  1022. /data/ext/cargo-vendor/{wasmtime-cranelift-15.0.1 → wasmtime-cranelift-16.0.0}/src/debug/transform/address_transform.rs +0 -0
  1023. /data/ext/cargo-vendor/{wasmtime-cranelift-15.0.1 → wasmtime-cranelift-16.0.0}/src/debug/transform/attr.rs +0 -0
  1024. /data/ext/cargo-vendor/{wasmtime-cranelift-15.0.1 → wasmtime-cranelift-16.0.0}/src/debug/transform/line_program.rs +0 -0
  1025. /data/ext/cargo-vendor/{wasmtime-cranelift-15.0.1 → wasmtime-cranelift-16.0.0}/src/debug/transform/mod.rs +0 -0
  1026. /data/ext/cargo-vendor/{wasmtime-cranelift-15.0.1 → wasmtime-cranelift-16.0.0}/src/debug/transform/range_info_builder.rs +0 -0
  1027. /data/ext/cargo-vendor/{wasmtime-cranelift-15.0.1 → wasmtime-cranelift-16.0.0}/src/debug/transform/refs.rs +0 -0
  1028. /data/ext/cargo-vendor/{wasmtime-cranelift-15.0.1 → wasmtime-cranelift-16.0.0}/src/debug/transform/unit.rs +0 -0
  1029. /data/ext/cargo-vendor/{wasmtime-cranelift-15.0.1 → wasmtime-cranelift-16.0.0}/src/debug/transform/utils.rs +0 -0
  1030. /data/ext/cargo-vendor/{wasmtime-cranelift-15.0.1 → wasmtime-cranelift-16.0.0}/src/debug/write_debuginfo.rs +0 -0
  1031. /data/ext/cargo-vendor/{wasmtime-cranelift-15.0.1 → wasmtime-cranelift-16.0.0}/src/lib.rs +0 -0
  1032. /data/ext/cargo-vendor/{wasmtime-cranelift-shared-15.0.1 → wasmtime-cranelift-shared-16.0.0}/src/compiled_function.rs +0 -0
  1033. /data/ext/cargo-vendor/{wasmtime-cranelift-shared-15.0.1 → wasmtime-cranelift-shared-16.0.0}/src/isa_builder.rs +0 -0
  1034. /data/ext/cargo-vendor/{wasmtime-cranelift-shared-15.0.1 → wasmtime-cranelift-shared-16.0.0}/src/lib.rs +0 -0
  1035. /data/ext/cargo-vendor/{wasmtime-cranelift-shared-15.0.1 → wasmtime-cranelift-shared-16.0.0}/src/obj.rs +0 -0
  1036. /data/ext/cargo-vendor/{wasmtime-cache-15.0.1 → wasmtime-environ-16.0.0}/LICENSE +0 -0
  1037. /data/ext/cargo-vendor/{wasmtime-environ-15.0.1 → wasmtime-environ-16.0.0}/examples/factc.rs +0 -0
  1038. /data/ext/cargo-vendor/{wasmtime-environ-15.0.1 → wasmtime-environ-16.0.0}/src/address_map.rs +0 -0
  1039. /data/ext/cargo-vendor/{wasmtime-environ-15.0.1 → wasmtime-environ-16.0.0}/src/builtin.rs +0 -0
  1040. /data/ext/cargo-vendor/{wasmtime-environ-15.0.1 → wasmtime-environ-16.0.0}/src/component/dfg.rs +0 -0
  1041. /data/ext/cargo-vendor/{wasmtime-environ-15.0.1 → wasmtime-environ-16.0.0}/src/component/info.rs +0 -0
  1042. /data/ext/cargo-vendor/{wasmtime-environ-15.0.1 → wasmtime-environ-16.0.0}/src/component/translate/adapt.rs +0 -0
  1043. /data/ext/cargo-vendor/{wasmtime-environ-15.0.1 → wasmtime-environ-16.0.0}/src/component/translate/inline.rs +0 -0
  1044. /data/ext/cargo-vendor/{wasmtime-environ-15.0.1 → wasmtime-environ-16.0.0}/src/component/types/resources.rs +0 -0
  1045. /data/ext/cargo-vendor/{wasmtime-environ-15.0.1 → wasmtime-environ-16.0.0}/src/component/vmcomponent_offsets.rs +0 -0
  1046. /data/ext/cargo-vendor/{wasmtime-environ-15.0.1 → wasmtime-environ-16.0.0}/src/component.rs +0 -0
  1047. /data/ext/cargo-vendor/{wasmtime-environ-15.0.1 → wasmtime-environ-16.0.0}/src/fact/core_types.rs +0 -0
  1048. /data/ext/cargo-vendor/{wasmtime-environ-15.0.1 → wasmtime-environ-16.0.0}/src/fact/signature.rs +0 -0
  1049. /data/ext/cargo-vendor/{wasmtime-environ-15.0.1 → wasmtime-environ-16.0.0}/src/fact/trampoline.rs +0 -0
  1050. /data/ext/cargo-vendor/{wasmtime-environ-15.0.1 → wasmtime-environ-16.0.0}/src/fact/transcode.rs +0 -0
  1051. /data/ext/cargo-vendor/{wasmtime-environ-15.0.1 → wasmtime-environ-16.0.0}/src/fact/traps.rs +0 -0
  1052. /data/ext/cargo-vendor/{wasmtime-environ-15.0.1 → wasmtime-environ-16.0.0}/src/fact.rs +0 -0
  1053. /data/ext/cargo-vendor/{wasmtime-environ-15.0.1 → wasmtime-environ-16.0.0}/src/obj.rs +0 -0
  1054. /data/ext/cargo-vendor/{wasmtime-environ-15.0.1 → wasmtime-environ-16.0.0}/src/ref_bits.rs +0 -0
  1055. /data/ext/cargo-vendor/{wasmtime-environ-15.0.1 → wasmtime-environ-16.0.0}/src/stack_map.rs +0 -0
  1056. /data/ext/cargo-vendor/{wasmtime-environ-15.0.1 → wasmtime-environ-16.0.0}/src/trap_encoding.rs +0 -0
  1057. /data/ext/cargo-vendor/{wasmtime-environ-15.0.1 → wasmtime-environ-16.0.0}/src/tunables.rs +0 -0
  1058. /data/ext/cargo-vendor/{wasmtime-environ-15.0.1 → wasmtime-environ-16.0.0}/src/vmoffsets.rs +0 -0
  1059. /data/ext/cargo-vendor/{wasmtime-cranelift-15.0.1 → wasmtime-fiber-16.0.0}/LICENSE +0 -0
  1060. /data/ext/cargo-vendor/{wasmtime-fiber-15.0.1 → wasmtime-fiber-16.0.0}/build.rs +0 -0
  1061. /data/ext/cargo-vendor/{wasmtime-fiber-15.0.1 → wasmtime-fiber-16.0.0}/src/unix/aarch64.rs +0 -0
  1062. /data/ext/cargo-vendor/{wasmtime-fiber-15.0.1 → wasmtime-fiber-16.0.0}/src/unix/arm.rs +0 -0
  1063. /data/ext/cargo-vendor/{wasmtime-fiber-15.0.1 → wasmtime-fiber-16.0.0}/src/unix/riscv64.rs +0 -0
  1064. /data/ext/cargo-vendor/{wasmtime-fiber-15.0.1 → wasmtime-fiber-16.0.0}/src/unix/s390x.S +0 -0
  1065. /data/ext/cargo-vendor/{wasmtime-fiber-15.0.1 → wasmtime-fiber-16.0.0}/src/unix/x86.rs +0 -0
  1066. /data/ext/cargo-vendor/{wasmtime-fiber-15.0.1 → wasmtime-fiber-16.0.0}/src/unix/x86_64.rs +0 -0
  1067. /data/ext/cargo-vendor/{wasmtime-fiber-15.0.1 → wasmtime-fiber-16.0.0}/src/windows.rs +0 -0
  1068. /data/ext/cargo-vendor/{wasmtime-environ-15.0.1 → wasmtime-jit-16.0.0}/LICENSE +0 -0
  1069. /data/ext/cargo-vendor/{wasmtime-jit-15.0.1 → wasmtime-jit-16.0.0}/src/debug.rs +0 -0
  1070. /data/ext/cargo-vendor/{wasmtime-jit-15.0.1 → wasmtime-jit-16.0.0}/src/demangling.rs +0 -0
  1071. /data/ext/cargo-vendor/{wasmtime-jit-15.0.1 → wasmtime-jit-16.0.0}/src/profiling/jitdump.rs +0 -0
  1072. /data/ext/cargo-vendor/{wasmtime-jit-15.0.1 → wasmtime-jit-16.0.0}/src/profiling/perfmap.rs +0 -0
  1073. /data/ext/cargo-vendor/{wasmtime-jit-15.0.1 → wasmtime-jit-16.0.0}/src/profiling/vtune.rs +0 -0
  1074. /data/ext/cargo-vendor/{wasmtime-jit-15.0.1 → wasmtime-jit-16.0.0}/src/profiling.rs +0 -0
  1075. /data/ext/cargo-vendor/{wasmtime-jit-debug-15.0.1 → wasmtime-jit-debug-16.0.0}/README.md +0 -0
  1076. /data/ext/cargo-vendor/{wasmtime-jit-debug-15.0.1 → wasmtime-jit-debug-16.0.0}/src/gdb_jit_int.rs +0 -0
  1077. /data/ext/cargo-vendor/{wasmtime-jit-debug-15.0.1 → wasmtime-jit-debug-16.0.0}/src/lib.rs +0 -0
  1078. /data/ext/cargo-vendor/{wasmtime-jit-debug-15.0.1 → wasmtime-jit-debug-16.0.0}/src/perf_jitdump.rs +0 -0
  1079. /data/ext/cargo-vendor/{wasmtime-jit-icache-coherence-15.0.1 → wasmtime-jit-icache-coherence-16.0.0}/src/lib.rs +0 -0
  1080. /data/ext/cargo-vendor/{wasmtime-jit-icache-coherence-15.0.1 → wasmtime-jit-icache-coherence-16.0.0}/src/libc.rs +0 -0
  1081. /data/ext/cargo-vendor/{wasmtime-jit-icache-coherence-15.0.1 → wasmtime-jit-icache-coherence-16.0.0}/src/miri.rs +0 -0
  1082. /data/ext/cargo-vendor/{wasmtime-jit-icache-coherence-15.0.1 → wasmtime-jit-icache-coherence-16.0.0}/src/win.rs +0 -0
  1083. /data/ext/cargo-vendor/{wasmtime-fiber-15.0.1 → wasmtime-runtime-16.0.0}/LICENSE +0 -0
  1084. /data/ext/cargo-vendor/{wasmtime-runtime-15.0.1/src/trampolines → wasmtime-runtime-16.0.0/src/arch}/s390x.S +0 -0
  1085. /data/ext/cargo-vendor/{wasmtime-runtime-15.0.1 → wasmtime-runtime-16.0.0}/src/component/libcalls.rs +0 -0
  1086. /data/ext/cargo-vendor/{wasmtime-runtime-15.0.1 → wasmtime-runtime-16.0.0}/src/component/resources.rs +0 -0
  1087. /data/ext/cargo-vendor/{wasmtime-runtime-15.0.1 → wasmtime-runtime-16.0.0}/src/component.rs +0 -0
  1088. /data/ext/cargo-vendor/{wasmtime-runtime-15.0.1 → wasmtime-runtime-16.0.0}/src/debug_builtins.rs +0 -0
  1089. /data/ext/cargo-vendor/{wasmtime-runtime-15.0.1 → wasmtime-runtime-16.0.0}/src/export.rs +0 -0
  1090. /data/ext/cargo-vendor/{wasmtime-runtime-15.0.1 → wasmtime-runtime-16.0.0}/src/externref.rs +0 -0
  1091. /data/ext/cargo-vendor/{wasmtime-runtime-15.0.1 → wasmtime-runtime-16.0.0}/src/imports.rs +0 -0
  1092. /data/ext/cargo-vendor/{wasmtime-runtime-15.0.1 → wasmtime-runtime-16.0.0}/src/instance/allocator/on_demand.rs +0 -0
  1093. /data/ext/cargo-vendor/{wasmtime-runtime-15.0.1 → wasmtime-runtime-16.0.0}/src/instance/allocator/pooling/index_allocator.rs +0 -0
  1094. /data/ext/cargo-vendor/{wasmtime-runtime-15.0.1 → wasmtime-runtime-16.0.0}/src/instance/allocator.rs +0 -0
  1095. /data/ext/cargo-vendor/{wasmtime-runtime-15.0.1 → wasmtime-runtime-16.0.0}/src/instance.rs +0 -0
  1096. /data/ext/cargo-vendor/{wasmtime-runtime-15.0.1 → wasmtime-runtime-16.0.0}/src/memory.rs +0 -0
  1097. /data/ext/cargo-vendor/{wasmtime-runtime-15.0.1 → wasmtime-runtime-16.0.0}/src/mmap_vec.rs +0 -0
  1098. /data/ext/cargo-vendor/{wasmtime-runtime-15.0.1 → wasmtime-runtime-16.0.0}/src/module_id.rs +0 -0
  1099. /data/ext/cargo-vendor/{wasmtime-runtime-15.0.1 → wasmtime-runtime-16.0.0}/src/mpk/disabled.rs +0 -0
  1100. /data/ext/cargo-vendor/{wasmtime-runtime-15.0.1 → wasmtime-runtime-16.0.0}/src/mpk/mod.rs +0 -0
  1101. /data/ext/cargo-vendor/{wasmtime-runtime-15.0.1 → wasmtime-runtime-16.0.0}/src/mpk/sys.rs +0 -0
  1102. /data/ext/cargo-vendor/{wasmtime-runtime-15.0.1 → wasmtime-runtime-16.0.0}/src/parking_spot.rs +0 -0
  1103. /data/ext/cargo-vendor/{wasmtime-runtime-15.0.1 → wasmtime-runtime-16.0.0}/src/send_sync_ptr.rs +0 -0
  1104. /data/ext/cargo-vendor/{wasmtime-runtime-15.0.1 → wasmtime-runtime-16.0.0}/src/store_box.rs +0 -0
  1105. /data/ext/cargo-vendor/{wasmtime-runtime-15.0.1/src/mmap/miri.rs → wasmtime-runtime-16.0.0/src/sys/miri/mmap.rs} +0 -0
  1106. /data/ext/cargo-vendor/{wasmtime-runtime-15.0.1/src/mmap/unix.rs → wasmtime-runtime-16.0.0/src/sys/unix/mmap.rs} +0 -0
  1107. /data/ext/cargo-vendor/{wasmtime-runtime-15.0.1/src/mmap/windows.rs → wasmtime-runtime-16.0.0/src/sys/windows/mmap.rs} +0 -0
  1108. /data/ext/cargo-vendor/{wasmtime-runtime-15.0.1 → wasmtime-runtime-16.0.0}/src/table.rs +0 -0
  1109. /data/ext/cargo-vendor/{wasmtime-runtime-15.0.1 → wasmtime-runtime-16.0.0}/src/traphandlers/coredump.rs +0 -0
  1110. /data/ext/cargo-vendor/{wasmtime-runtime-15.0.1 → wasmtime-runtime-16.0.0}/src/vmcontext/vm_host_func_context.rs +0 -0
  1111. /data/ext/cargo-vendor/{wasmtime-jit-15.0.1 → wasmtime-types-16.0.0}/LICENSE +0 -0
  1112. /data/ext/cargo-vendor/{wasmtime-types-15.0.1 → wasmtime-types-16.0.0}/src/error.rs +0 -0
  1113. /data/ext/cargo-vendor/{wasmtime-versioned-export-macros-15.0.1 → wasmtime-versioned-export-macros-16.0.0}/src/lib.rs +0 -0
  1114. /data/ext/cargo-vendor/{wasmtime-runtime-15.0.1 → wasmtime-wasi-16.0.0}/LICENSE +0 -0
  1115. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/README.md +0 -0
  1116. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/build.rs +0 -0
  1117. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/src/preview2/clocks/host.rs +0 -0
  1118. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/src/preview2/clocks.rs +0 -0
  1119. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/src/preview2/command.rs +0 -0
  1120. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/src/preview2/ctx.rs +0 -0
  1121. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/src/preview2/error.rs +0 -0
  1122. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/src/preview2/filesystem.rs +0 -0
  1123. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/src/preview2/host/clocks.rs +0 -0
  1124. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/src/preview2/host/env.rs +0 -0
  1125. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/src/preview2/host/exit.rs +0 -0
  1126. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/src/preview2/host/filesystem/sync.rs +0 -0
  1127. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/src/preview2/host/filesystem.rs +0 -0
  1128. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/src/preview2/host/instance_network.rs +0 -0
  1129. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/src/preview2/host/mod.rs +0 -0
  1130. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/src/preview2/host/random.rs +0 -0
  1131. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/src/preview2/host/tcp_create_socket.rs +0 -0
  1132. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/src/preview2/host/udp_create_socket.rs +0 -0
  1133. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/src/preview2/ip_name_lookup.rs +0 -0
  1134. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/src/preview2/network.rs +0 -0
  1135. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/src/preview2/pipe.rs +0 -0
  1136. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/src/preview2/poll.rs +0 -0
  1137. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/src/preview2/random.rs +0 -0
  1138. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/src/preview2/stdio/worker_thread_stdin.rs +0 -0
  1139. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/src/preview2/tcp.rs +0 -0
  1140. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/src/preview2/udp.rs +0 -0
  1141. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/src/preview2/write_stream.rs +0 -0
  1142. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/wit/deps/cli/environment.wit +0 -0
  1143. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/wit/deps/cli/exit.wit +0 -0
  1144. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/wit/deps/cli/run.wit +0 -0
  1145. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/wit/deps/cli/stdio.wit +0 -0
  1146. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/wit/deps/cli/terminal.wit +0 -0
  1147. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/wit/deps/clocks/monotonic-clock.wit +0 -0
  1148. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/wit/deps/clocks/wall-clock.wit +0 -0
  1149. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/wit/deps/clocks/world.wit +0 -0
  1150. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/wit/deps/filesystem/preopens.wit +0 -0
  1151. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/wit/deps/filesystem/types.wit +0 -0
  1152. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/wit/deps/filesystem/world.wit +0 -0
  1153. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/wit/deps/http/handler.wit +0 -0
  1154. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/wit/deps/io/error.wit +0 -0
  1155. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/wit/deps/io/poll.wit +0 -0
  1156. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/wit/deps/io/streams.wit +0 -0
  1157. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/wit/deps/io/world.wit +0 -0
  1158. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/wit/deps/random/insecure-seed.wit +0 -0
  1159. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/wit/deps/random/insecure.wit +0 -0
  1160. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/wit/deps/random/random.wit +0 -0
  1161. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/wit/deps/random/world.wit +0 -0
  1162. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/wit/deps/sockets/instance-network.wit +0 -0
  1163. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/wit/deps/sockets/ip-name-lookup.wit +0 -0
  1164. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/wit/deps/sockets/network.wit +0 -0
  1165. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/wit/deps/sockets/tcp-create-socket.wit +0 -0
  1166. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/wit/deps/sockets/tcp.wit +0 -0
  1167. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/wit/deps/sockets/udp-create-socket.wit +0 -0
  1168. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/wit/deps/sockets/udp.wit +0 -0
  1169. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wasmtime-wasi-16.0.0}/wit/deps/sockets/world.wit +0 -0
  1170. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1/witx → wasmtime-wasi-16.0.0/witx/preview1}/typenames.witx +0 -0
  1171. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1/witx → wasmtime-wasi-16.0.0/witx/preview1}/wasi_snapshot_preview1.witx +0 -0
  1172. /data/ext/cargo-vendor/{wasmtime-winch-15.0.1 → wasmtime-winch-16.0.0}/LICENSE +0 -0
  1173. /data/ext/cargo-vendor/{wasmtime-winch-15.0.1 → wasmtime-winch-16.0.0}/src/builder.rs +0 -0
  1174. /data/ext/cargo-vendor/{wasmtime-winch-15.0.1 → wasmtime-winch-16.0.0}/src/lib.rs +0 -0
  1175. /data/ext/cargo-vendor/{wasmtime-wit-bindgen-15.0.1 → wasmtime-wit-bindgen-16.0.0}/src/lib.rs +0 -0
  1176. /data/ext/cargo-vendor/{wasmtime-wit-bindgen-15.0.1 → wasmtime-wit-bindgen-16.0.0}/src/rust.rs +0 -0
  1177. /data/ext/cargo-vendor/{wasmtime-wit-bindgen-15.0.1 → wasmtime-wit-bindgen-16.0.0}/src/source.rs +0 -0
  1178. /data/ext/cargo-vendor/{wasmtime-wit-bindgen-15.0.1 → wasmtime-wit-bindgen-16.0.0}/src/types.rs +0 -0
  1179. /data/ext/cargo-vendor/{wasmtime-wmemcheck-15.0.1 → wasmtime-wmemcheck-16.0.0}/src/lib.rs +0 -0
  1180. /data/ext/cargo-vendor/{wasmtime-types-15.0.1 → wiggle-16.0.0}/LICENSE +0 -0
  1181. /data/ext/cargo-vendor/{wiggle-15.0.1 → wiggle-16.0.0}/README.md +0 -0
  1182. /data/ext/cargo-vendor/{wiggle-15.0.1 → wiggle-16.0.0}/src/borrow.rs +0 -0
  1183. /data/ext/cargo-vendor/{wiggle-15.0.1 → wiggle-16.0.0}/src/error.rs +0 -0
  1184. /data/ext/cargo-vendor/{wiggle-15.0.1 → wiggle-16.0.0}/src/guest_type.rs +0 -0
  1185. /data/ext/cargo-vendor/{wiggle-15.0.1 → wiggle-16.0.0}/src/region.rs +0 -0
  1186. /data/ext/cargo-vendor/{wiggle-15.0.1 → wiggle-16.0.0}/src/wasmtime.rs +0 -0
  1187. /data/ext/cargo-vendor/{wasmtime-wasi-15.0.1 → wiggle-generate-16.0.0}/LICENSE +0 -0
  1188. /data/ext/cargo-vendor/{wiggle-generate-15.0.1 → wiggle-generate-16.0.0}/README.md +0 -0
  1189. /data/ext/cargo-vendor/{wiggle-generate-15.0.1 → wiggle-generate-16.0.0}/src/codegen_settings.rs +0 -0
  1190. /data/ext/cargo-vendor/{wiggle-generate-15.0.1 → wiggle-generate-16.0.0}/src/config.rs +0 -0
  1191. /data/ext/cargo-vendor/{wiggle-generate-15.0.1 → wiggle-generate-16.0.0}/src/funcs.rs +0 -0
  1192. /data/ext/cargo-vendor/{wiggle-generate-15.0.1 → wiggle-generate-16.0.0}/src/lib.rs +0 -0
  1193. /data/ext/cargo-vendor/{wiggle-generate-15.0.1 → wiggle-generate-16.0.0}/src/lifetimes.rs +0 -0
  1194. /data/ext/cargo-vendor/{wiggle-generate-15.0.1 → wiggle-generate-16.0.0}/src/module_trait.rs +0 -0
  1195. /data/ext/cargo-vendor/{wiggle-generate-15.0.1 → wiggle-generate-16.0.0}/src/names.rs +0 -0
  1196. /data/ext/cargo-vendor/{wiggle-generate-15.0.1 → wiggle-generate-16.0.0}/src/types/error.rs +0 -0
  1197. /data/ext/cargo-vendor/{wiggle-generate-15.0.1 → wiggle-generate-16.0.0}/src/types/flags.rs +0 -0
  1198. /data/ext/cargo-vendor/{wiggle-generate-15.0.1 → wiggle-generate-16.0.0}/src/types/mod.rs +0 -0
  1199. /data/ext/cargo-vendor/{wiggle-generate-15.0.1 → wiggle-generate-16.0.0}/src/wasmtime.rs +0 -0
  1200. /data/ext/cargo-vendor/{wiggle-15.0.1 → wiggle-macro-16.0.0}/LICENSE +0 -0
  1201. /data/ext/cargo-vendor/{wiggle-macro-15.0.1 → wiggle-macro-16.0.0}/src/lib.rs +0 -0
  1202. /data/ext/cargo-vendor/{winch-codegen-0.13.1 → winch-codegen-0.14.0}/LICENSE +0 -0
  1203. /data/ext/cargo-vendor/{winch-codegen-0.13.1 → winch-codegen-0.14.0}/build.rs +0 -0
  1204. /data/ext/cargo-vendor/{winch-codegen-0.13.1 → winch-codegen-0.14.0}/src/codegen/builtin.rs +0 -0
  1205. /data/ext/cargo-vendor/{winch-codegen-0.13.1 → winch-codegen-0.14.0}/src/isa/aarch64/address.rs +0 -0
  1206. /data/ext/cargo-vendor/{winch-codegen-0.13.1 → winch-codegen-0.14.0}/src/isa/aarch64/asm.rs +0 -0
  1207. /data/ext/cargo-vendor/{winch-codegen-0.13.1 → winch-codegen-0.14.0}/src/isa/aarch64/regs.rs +0 -0
  1208. /data/ext/cargo-vendor/{winch-codegen-0.13.1 → winch-codegen-0.14.0}/src/isa/reg.rs +0 -0
  1209. /data/ext/cargo-vendor/{winch-codegen-0.13.1 → winch-codegen-0.14.0}/src/isa/x64/address.rs +0 -0
  1210. /data/ext/cargo-vendor/{winch-codegen-0.13.1 → winch-codegen-0.14.0}/src/lib.rs +0 -0
  1211. /data/ext/cargo-vendor/{winch-codegen-0.13.1 → winch-codegen-0.14.0}/src/regalloc.rs +0 -0
  1212. /data/ext/cargo-vendor/{winch-codegen-0.13.1 → winch-codegen-0.14.0}/src/regset.rs +0 -0
@@ -1,3203 +0,0 @@
1
- //! State relating to validating a WebAssembly component.
2
-
3
- use super::{
4
- check_max,
5
- core::Module,
6
- types::{
7
- AliasableResourceId, ComponentCoreInstanceTypeId, ComponentDefinedTypeId,
8
- ComponentFuncType, ComponentFuncTypeId, ComponentInstanceType, ComponentInstanceTypeId,
9
- ComponentType, ComponentTypeId, ComponentValType, CoreTypeId, EntityType, InstanceType,
10
- ModuleType, RecordType, Remapping, ResourceId, TypeAlloc, TypeList, VariantCase,
11
- },
12
- };
13
- use crate::validator::names::{ComponentName, ComponentNameKind, KebabStr, KebabString};
14
- use crate::{
15
- limits::*,
16
- types::{
17
- ComponentAnyTypeId, ComponentCoreModuleTypeId, ComponentCoreTypeId, ComponentDefinedType,
18
- ComponentEntityType, Context, CoreInstanceTypeKind, LoweringInfo, Remap, SubtypeCx,
19
- TupleType, TypeInfo, VariantType,
20
- },
21
- BinaryReaderError, CanonicalOption, ComponentExportName, ComponentExternalKind,
22
- ComponentOuterAliasKind, ComponentTypeRef, CompositeType, ExternalKind, FuncType, GlobalType,
23
- InstantiationArgKind, MemoryType, RecGroup, Result, SubType, TableType, TypeBounds, ValType,
24
- WasmFeatures,
25
- };
26
- use indexmap::{map::Entry, IndexMap, IndexSet};
27
- use std::collections::{HashMap, HashSet};
28
- use std::mem;
29
-
30
- fn to_kebab_str<'a>(s: &'a str, desc: &str, offset: usize) -> Result<&'a KebabStr> {
31
- match KebabStr::new(s) {
32
- Some(s) => Ok(s),
33
- None => {
34
- if s.is_empty() {
35
- bail!(offset, "{desc} name cannot be empty");
36
- }
37
-
38
- bail!(offset, "{desc} name `{s}` is not in kebab case");
39
- }
40
- }
41
- }
42
-
43
- pub(crate) struct ComponentState {
44
- /// Whether this state is a concrete component, an instance type, or a
45
- /// component type.
46
- kind: ComponentKind,
47
-
48
- // Core index spaces
49
- pub core_types: Vec<ComponentCoreTypeId>,
50
- pub core_funcs: Vec<CoreTypeId>,
51
- pub core_tags: Vec<CoreTypeId>,
52
- pub core_modules: Vec<ComponentCoreModuleTypeId>,
53
- pub core_instances: Vec<ComponentCoreInstanceTypeId>,
54
- pub core_memories: Vec<MemoryType>,
55
- pub core_tables: Vec<TableType>,
56
- pub core_globals: Vec<GlobalType>,
57
-
58
- // Component index spaces
59
- pub types: Vec<ComponentAnyTypeId>,
60
- pub funcs: Vec<ComponentFuncTypeId>,
61
- pub values: Vec<(ComponentValType, bool)>,
62
- pub instances: Vec<ComponentInstanceTypeId>,
63
- pub components: Vec<ComponentTypeId>,
64
-
65
- pub imports: IndexMap<String, ComponentEntityType>,
66
- pub import_names: IndexSet<ComponentName>,
67
- pub exports: IndexMap<String, ComponentEntityType>,
68
- pub export_names: IndexSet<ComponentName>,
69
-
70
- has_start: bool,
71
- type_info: TypeInfo,
72
-
73
- /// A mapping of imported resources in this component.
74
- ///
75
- /// This mapping represents all "type variables" imported into the
76
- /// component, or resources. This could be resources imported directly as
77
- /// a top-level type import or additionally transitively through other
78
- /// imported instances.
79
- ///
80
- /// The mapping element here is a "path" which is a list of indexes into
81
- /// the import map that will be generated for this component. Each index
82
- /// is an index into an `IndexMap`, and each list is guaranteed to have at
83
- /// least one element.
84
- ///
85
- /// An example of this map is:
86
- ///
87
- /// ```wasm
88
- /// (component
89
- /// ;; [0] - the first import
90
- /// (import "r" (type (sub resource)))
91
- ///
92
- /// ;; [1] - the second import
93
- /// (import "r2" (type (sub resource)))
94
- ///
95
- /// (import "i" (instance
96
- /// ;; [2, 0] - the third import, and the first export the instance
97
- /// (export "r3" (type (sub resource)))
98
- /// ;; [2, 1] - the third import, and the second export the instance
99
- /// (export "r4" (type (sub resource)))
100
- /// ))
101
- ///
102
- /// ;; ...
103
- /// )
104
- /// ```
105
- ///
106
- /// The `Vec<usize>` here can be thought of as `Vec<String>` but a
107
- /// (hopefully) more efficient representation.
108
- ///
109
- /// Finally note that this map is listed as an "append only" map because all
110
- /// insertions into it should always succeed. Any insertion which overlaps
111
- /// with a previous entry indicates a bug in the validator which needs to be
112
- /// corrected via other means.
113
- //
114
- // TODO: make these `SkolemResourceId` and then go fix all the compile
115
- // errors, don't add skolem things into the type area
116
- imported_resources: IndexMapAppendOnly<ResourceId, Vec<usize>>,
117
-
118
- /// A mapping of "defined" resources in this component, or those which
119
- /// are defined within the instantiation of this component.
120
- ///
121
- /// Defined resources, as the name implies, can sort of be thought of as
122
- /// "these are defined within the component". Note though that the means by
123
- /// which a local definition can occur are not simply those defined in the
124
- /// component but also in its transitively instantiated components
125
- /// internally. This means that this set closes over many transitive
126
- /// internal items in addition to those defined immediately in the component
127
- /// itself.
128
- ///
129
- /// The `Option<ValType>` in this mapping is whether or not the underlying
130
- /// reprsentation of the resource is known to this component. Immediately
131
- /// defined resources, for example, will have `Some(I32)` here. Resources
132
- /// that come from transitively defined components, for example, will have
133
- /// `None`. In the type context all entries here are `None`.
134
- ///
135
- /// Note that like `imported_resources` all insertions into this map are
136
- /// expected to succeed to it's declared as append-only.
137
- defined_resources: IndexMapAppendOnly<ResourceId, Option<ValType>>,
138
-
139
- /// A mapping of explicitly exported resources from this component in
140
- /// addition to the path that they're exported at.
141
- ///
142
- /// For more information on the path here see the documentation for
143
- /// `imported_resources`. Note that the indexes here index into the
144
- /// list of exports of this component.
145
- explicit_resources: IndexMap<ResourceId, Vec<usize>>,
146
-
147
- /// The set of types which are considered "exported" from this component.
148
- ///
149
- /// This is added to whenever a type export is found, or an instance export
150
- /// which itself contains a type export. This additionally includes all
151
- /// imported types since those are suitable for export as well.
152
- ///
153
- /// This set is consulted whenever an exported item is added since all
154
- /// referenced types must be members of this set.
155
- exported_types: HashSet<ComponentAnyTypeId>,
156
-
157
- /// Same as `exported_types`, but for imports.
158
- imported_types: HashSet<ComponentAnyTypeId>,
159
-
160
- /// The set of top-level resource exports and their names.
161
- ///
162
- /// This context is used to validate method names such as `[method]foo.bar`
163
- /// to ensure that `foo` is an exported resource and that the type mentioned
164
- /// in a function type is actually named `foo`.
165
- ///
166
- /// Note that imports/exports have disjoint contexts to ensure that they're
167
- /// validated correctly. Namely you can't retroactively attach methods to an
168
- /// import, for example.
169
- toplevel_exported_resources: ComponentNameContext,
170
-
171
- /// Same as `toplevel_exported_resources`, but for imports.
172
- toplevel_imported_resources: ComponentNameContext,
173
- }
174
-
175
- #[derive(Copy, Clone, Debug, PartialEq, Eq)]
176
- pub enum ComponentKind {
177
- Component,
178
- InstanceType,
179
- ComponentType,
180
- }
181
-
182
- /// Helper context used to track information about resource names for method
183
- /// name validation.
184
- #[derive(Default)]
185
- struct ComponentNameContext {
186
- /// A map from a resource type id to an index in the `all_resource_names`
187
- /// set for the name of that resource.
188
- resource_name_map: HashMap<AliasableResourceId, usize>,
189
-
190
- /// All known resource names in this context, used to validate static method
191
- /// names to by ensuring that static methods' resource names are somewhere
192
- /// in this set.
193
- all_resource_names: IndexSet<String>,
194
- }
195
-
196
- #[derive(Debug, Copy, Clone)]
197
- pub enum ExternKind {
198
- Import,
199
- Export,
200
- }
201
-
202
- impl ExternKind {
203
- pub fn desc(&self) -> &'static str {
204
- match self {
205
- ExternKind::Import => "import",
206
- ExternKind::Export => "export",
207
- }
208
- }
209
- }
210
-
211
- impl ComponentState {
212
- pub fn new(kind: ComponentKind) -> Self {
213
- Self {
214
- kind,
215
- core_types: Default::default(),
216
- core_modules: Default::default(),
217
- core_instances: Default::default(),
218
- core_funcs: Default::default(),
219
- core_memories: Default::default(),
220
- core_tables: Default::default(),
221
- core_globals: Default::default(),
222
- core_tags: Default::default(),
223
- types: Default::default(),
224
- funcs: Default::default(),
225
- values: Default::default(),
226
- instances: Default::default(),
227
- components: Default::default(),
228
- imports: Default::default(),
229
- exports: Default::default(),
230
- import_names: Default::default(),
231
- export_names: Default::default(),
232
- has_start: Default::default(),
233
- type_info: TypeInfo::new(),
234
- imported_resources: Default::default(),
235
- defined_resources: Default::default(),
236
- explicit_resources: Default::default(),
237
- exported_types: Default::default(),
238
- imported_types: Default::default(),
239
- toplevel_exported_resources: Default::default(),
240
- toplevel_imported_resources: Default::default(),
241
- }
242
- }
243
-
244
- pub fn type_count(&self) -> usize {
245
- self.core_types.len() + self.types.len()
246
- }
247
-
248
- pub fn instance_count(&self) -> usize {
249
- self.core_instances.len() + self.instances.len()
250
- }
251
-
252
- pub fn function_count(&self) -> usize {
253
- self.core_funcs.len() + self.funcs.len()
254
- }
255
-
256
- pub fn add_core_type(
257
- components: &mut [Self],
258
- ty: crate::CoreType,
259
- features: &WasmFeatures,
260
- types: &mut TypeAlloc,
261
- offset: usize,
262
- check_limit: bool,
263
- ) -> Result<()> {
264
- let id = match ty {
265
- crate::CoreType::Sub(sub) => {
266
- let id = types.push_ty(sub);
267
- ComponentCoreTypeId::Sub(id)
268
- }
269
- crate::CoreType::Module(decls) => {
270
- let mod_ty = Self::create_module_type(
271
- components,
272
- decls.into_vec(),
273
- features,
274
- types,
275
- offset,
276
- )?;
277
- let id = types.push_ty(mod_ty);
278
- ComponentCoreTypeId::Module(id)
279
- }
280
- };
281
-
282
- let current = components.last_mut().unwrap();
283
- if check_limit {
284
- check_max(current.type_count(), 1, MAX_WASM_TYPES, "types", offset)?;
285
- }
286
- current.core_types.push(id);
287
- Ok(())
288
- }
289
-
290
- pub fn add_core_module(
291
- &mut self,
292
- module: &Module,
293
- types: &mut TypeAlloc,
294
- offset: usize,
295
- ) -> Result<()> {
296
- let imports = module.imports_for_module_type(offset)?;
297
-
298
- // We have to clone the module's imports and exports here
299
- // because we cannot take the data out of the `MaybeOwned`
300
- // as it might be shared with a function validator.
301
- let mod_ty = ModuleType {
302
- info: TypeInfo::core(module.type_size),
303
- imports,
304
- exports: module.exports.clone(),
305
- };
306
-
307
- let mod_id = types.push_ty(mod_ty);
308
- self.core_modules.push(mod_id);
309
-
310
- Ok(())
311
- }
312
-
313
- pub fn add_core_instance(
314
- &mut self,
315
- instance: crate::Instance,
316
- types: &mut TypeAlloc,
317
- offset: usize,
318
- ) -> Result<()> {
319
- let instance = match instance {
320
- crate::Instance::Instantiate { module_index, args } => {
321
- self.instantiate_core_module(module_index, args.into_vec(), types, offset)?
322
- }
323
- crate::Instance::FromExports(exports) => {
324
- self.instantiate_core_exports(exports.into_vec(), types, offset)?
325
- }
326
- };
327
-
328
- self.core_instances.push(instance);
329
-
330
- Ok(())
331
- }
332
-
333
- pub fn add_type(
334
- components: &mut Vec<Self>,
335
- ty: crate::ComponentType,
336
- features: &WasmFeatures,
337
- types: &mut TypeAlloc,
338
- offset: usize,
339
- check_limit: bool,
340
- ) -> Result<()> {
341
- assert!(!components.is_empty());
342
-
343
- fn current(components: &mut Vec<ComponentState>) -> &mut ComponentState {
344
- components.last_mut().unwrap()
345
- }
346
-
347
- let id = match ty {
348
- crate::ComponentType::Defined(ty) => {
349
- let ty = current(components).create_defined_type(ty, types, offset)?;
350
- types.push(ty).into()
351
- }
352
- crate::ComponentType::Func(ty) => {
353
- let ty = current(components).create_function_type(ty, types, offset)?;
354
- types.push(ty).into()
355
- }
356
- crate::ComponentType::Component(decls) => {
357
- let ty = Self::create_component_type(
358
- components,
359
- decls.into_vec(),
360
- features,
361
- types,
362
- offset,
363
- )?;
364
- types.push(ty).into()
365
- }
366
- crate::ComponentType::Instance(decls) => {
367
- let ty = Self::create_instance_type(
368
- components,
369
- decls.into_vec(),
370
- features,
371
- types,
372
- offset,
373
- )?;
374
- types.push(ty).into()
375
- }
376
- crate::ComponentType::Resource { rep, dtor } => {
377
- let component = current(components);
378
-
379
- // Resource types cannot be declared in a type context, only
380
- // within a component context.
381
- if component.kind != ComponentKind::Component {
382
- bail!(
383
- offset,
384
- "resources can only be defined within a concrete component"
385
- );
386
- }
387
-
388
- // Current MVP restriction of the component model.
389
- if rep != ValType::I32 {
390
- bail!(offset, "resources can only be represented by `i32`");
391
- }
392
-
393
- // If specified validate that the destructor is both a valid
394
- // function and has the correct signature.
395
- if let Some(dtor) = dtor {
396
- let ty = component.core_function_at(dtor, offset)?;
397
- let ty = types[ty].composite_type.unwrap_func();
398
- if ty.params() != [rep] || ty.results() != [] {
399
- bail!(
400
- offset,
401
- "core function {dtor} has wrong signature for a destructor"
402
- );
403
- }
404
- }
405
-
406
- // As this is the introduction of a resource create a fresh new
407
- // identifier for the resource. This is then added into the
408
- // list of defined resources for this component, notably with a
409
- // rep listed to enable getting access to various intrinsics
410
- // such as `resource.rep`.
411
- let id = types.alloc_resource_id();
412
- component.defined_resources.insert(id.resource(), Some(rep));
413
- id.into()
414
- }
415
- };
416
-
417
- let current = current(components);
418
- if check_limit {
419
- check_max(current.type_count(), 1, MAX_WASM_TYPES, "types", offset)?;
420
- }
421
- current.types.push(id);
422
-
423
- Ok(())
424
- }
425
-
426
- pub fn add_import(
427
- &mut self,
428
- import: crate::ComponentImport,
429
- features: &WasmFeatures,
430
- types: &mut TypeAlloc,
431
- offset: usize,
432
- ) -> Result<()> {
433
- let mut entity = self.check_type_ref(&import.ty, features, types, offset)?;
434
- self.add_entity(
435
- &mut entity,
436
- Some((import.name.0, ExternKind::Import)),
437
- features,
438
- types,
439
- offset,
440
- )?;
441
- self.toplevel_imported_resources.validate_extern(
442
- import.name.0,
443
- ExternKind::Import,
444
- &entity,
445
- types,
446
- offset,
447
- &mut self.import_names,
448
- &mut self.imports,
449
- &mut self.type_info,
450
- )?;
451
- Ok(())
452
- }
453
-
454
- fn add_entity(
455
- &mut self,
456
- ty: &mut ComponentEntityType,
457
- name_and_kind: Option<(&str, ExternKind)>,
458
- features: &WasmFeatures,
459
- types: &mut TypeAlloc,
460
- offset: usize,
461
- ) -> Result<()> {
462
- let kind = name_and_kind.map(|(_, k)| k);
463
- let (len, max, desc) = match ty {
464
- ComponentEntityType::Module(id) => {
465
- self.core_modules.push(*id);
466
- (self.core_modules.len(), MAX_WASM_MODULES, "modules")
467
- }
468
- ComponentEntityType::Component(id) => {
469
- self.components.push(*id);
470
- (self.components.len(), MAX_WASM_COMPONENTS, "components")
471
- }
472
- ComponentEntityType::Instance(id) => {
473
- match kind {
474
- Some(ExternKind::Import) => self.prepare_instance_import(id, types),
475
- Some(ExternKind::Export) => self.prepare_instance_export(id, types),
476
- None => {}
477
- }
478
- self.instances.push(*id);
479
- (self.instance_count(), MAX_WASM_INSTANCES, "instances")
480
- }
481
- ComponentEntityType::Func(id) => {
482
- self.funcs.push(*id);
483
- (self.function_count(), MAX_WASM_FUNCTIONS, "functions")
484
- }
485
- ComponentEntityType::Value(ty) => {
486
- self.check_value_support(features, offset)?;
487
- let value_used = match kind {
488
- Some(ExternKind::Import) | None => false,
489
- Some(ExternKind::Export) => true,
490
- };
491
- self.values.push((*ty, value_used));
492
- (self.values.len(), MAX_WASM_VALUES, "values")
493
- }
494
- ComponentEntityType::Type {
495
- created,
496
- referenced,
497
- } => {
498
- self.types.push(*created);
499
-
500
- // Extra logic here for resources being imported and exported.
501
- // Note that if `created` is the same as `referenced` then this
502
- // is the original introduction of the resource which is where
503
- // `self.{imported,defined}_resources` are updated.
504
- if let ComponentAnyTypeId::Resource(id) = *created {
505
- match kind {
506
- Some(ExternKind::Import) => {
507
- // A fresh new resource is being imported into a
508
- // component. This arises from the import section of
509
- // a component or from the import declaration in a
510
- // component type. In both cases a new imported
511
- // resource is injected with a fresh new identifier
512
- // into our state.
513
- if created == referenced {
514
- self.imported_resources
515
- .insert(id.resource(), vec![self.imports.len()]);
516
- }
517
- }
518
-
519
- Some(ExternKind::Export) => {
520
- // A fresh resource is being exported from this
521
- // component. This arises as part of the
522
- // declaration of a component type, for example. In
523
- // this situation brand new resource identifier is
524
- // allocated and a definition is added, unlike the
525
- // import case where an imported resource is added.
526
- // Notably the representation of this new resource
527
- // is unknown so it's listed as `None`.
528
- if created == referenced {
529
- self.defined_resources.insert(id.resource(), None);
530
- }
531
-
532
- // If this is a type export of a resource type then
533
- // update the `explicit_resources` list. A new
534
- // export path is about to be created for this
535
- // resource and this keeps track of that.
536
- self.explicit_resources
537
- .insert(id.resource(), vec![self.exports.len()]);
538
- }
539
-
540
- None => {}
541
- }
542
- }
543
- (self.types.len(), MAX_WASM_TYPES, "types")
544
- }
545
- };
546
-
547
- check_max(len, 0, max, desc, offset)?;
548
-
549
- // Before returning perform the final validation of the type of the item
550
- // being imported/exported. This will ensure that everything is
551
- // appropriately named with respect to type definitions, resources, etc.
552
- if let Some((name, kind)) = name_and_kind {
553
- if !self.validate_and_register_named_types(Some(name), kind, ty, types) {
554
- bail!(
555
- offset,
556
- "{} not valid to be used as {}",
557
- ty.desc(),
558
- kind.desc()
559
- );
560
- }
561
- }
562
- Ok(())
563
- }
564
-
565
- /// Validates that the `ty` referenced only refers to named types internally
566
- /// and then inserts anything necessary, if applicable, to the defined sets
567
- /// within this component.
568
- ///
569
- /// This function will validate that `ty` only refers to named types. For
570
- /// example if it's a record then all of its fields must refer to named
571
- /// types. This consults either `self.imported_types` or
572
- /// `self.exported_types` as specified by `kind`. Note that this is not
573
- /// inherently recursive itself but it ends up being recursive since if
574
- /// recursive members were named then all their components must also be
575
- /// named. Consequently this check stops at the "one layer deep" position,
576
- /// or more accurately the position where types must be named (e.g. tuples
577
- /// aren't required to be named).
578
- fn validate_and_register_named_types(
579
- &mut self,
580
- toplevel_name: Option<&str>,
581
- kind: ExternKind,
582
- ty: &ComponentEntityType,
583
- types: &TypeAlloc,
584
- ) -> bool {
585
- if let ComponentEntityType::Type { created, .. } = ty {
586
- // If this is a top-level resource then register it in the
587
- // appropriate context so later validation of method-like-names
588
- // works out.
589
- if let Some(name) = toplevel_name {
590
- if let ComponentAnyTypeId::Resource(id) = *created {
591
- let cx = match kind {
592
- ExternKind::Import => &mut self.toplevel_imported_resources,
593
- ExternKind::Export => &mut self.toplevel_exported_resources,
594
- };
595
- cx.register(name, id);
596
- }
597
- }
598
- }
599
-
600
- match self.kind {
601
- ComponentKind::Component | ComponentKind::ComponentType => {}
602
- ComponentKind::InstanceType => return true,
603
- }
604
- let set = match kind {
605
- ExternKind::Import => &self.imported_types,
606
- ExternKind::Export => &self.exported_types,
607
- };
608
- match ty {
609
- // When a type is imported or exported than any recursive type
610
- // referred to by that import/export must additionally be exported
611
- // or imported. Here this walks the "first layer" of the type which
612
- // delegates to `TypeAlloc::type_named_type_id` to determine whether
613
- // the components of the type being named here are indeed all they
614
- // themselves named.
615
- ComponentEntityType::Type {
616
- created,
617
- referenced,
618
- } => {
619
- if !self.all_valtypes_named(types, *referenced, set) {
620
- return false;
621
- }
622
- match kind {
623
- // Imported types are both valid for import and valid for
624
- // export.
625
- ExternKind::Import => {
626
- self.imported_types.insert(*created);
627
- self.exported_types.insert(*created);
628
- }
629
- ExternKind::Export => {
630
- self.exported_types.insert(*created);
631
- }
632
- }
633
-
634
- true
635
- }
636
-
637
- // Instances are slightly nuanced here. The general idea is that if
638
- // an instance is imported, then any type exported by the instance
639
- // is then also exported. Additionally for exports. To get this to
640
- // work out this arm will recursively call
641
- // `validate_and_register_named_types` which means that types are
642
- // inserted into `self.{imported,exported}_types` as-we-go rather
643
- // than all at once.
644
- //
645
- // This then recursively validates that all items in the instance
646
- // itself are valid to import/export, recursive instances are
647
- // captured, and everything is appropriately added to the right
648
- // imported/exported set.
649
- ComponentEntityType::Instance(i) => types[*i]
650
- .exports
651
- .iter()
652
- .all(|(_name, ty)| self.validate_and_register_named_types(None, kind, ty, types)),
653
-
654
- // All types referred to by a function must be named.
655
- ComponentEntityType::Func(id) => self.all_valtypes_named_in_func(types, *id, set),
656
-
657
- ComponentEntityType::Value(ty) => types.type_named_valtype(ty, set),
658
-
659
- // Components/modules are always "closed" or "standalone" and don't
660
- // need validation with respect to their named types.
661
- ComponentEntityType::Component(_) | ComponentEntityType::Module(_) => true,
662
- }
663
- }
664
-
665
- fn all_valtypes_named(
666
- &self,
667
- types: &TypeAlloc,
668
- id: ComponentAnyTypeId,
669
- set: &HashSet<ComponentAnyTypeId>,
670
- ) -> bool {
671
- match id {
672
- // Resource types, in isolation, are always valid to import or
673
- // export since they're either attached to an import or being
674
- // exported.
675
- //
676
- // Note that further validation of this happens in `finish`, too.
677
- ComponentAnyTypeId::Resource(_) => true,
678
-
679
- // Component types are validated as they are constructed,
680
- // so all component types are valid to export if they've
681
- // already been constructed.
682
- ComponentAnyTypeId::Component(_) => true,
683
-
684
- ComponentAnyTypeId::Defined(id) => self.all_valtypes_named_in_defined(types, id, set),
685
- ComponentAnyTypeId::Func(id) => self.all_valtypes_named_in_func(types, id, set),
686
- ComponentAnyTypeId::Instance(id) => self.all_valtypes_named_in_instance(types, id, set),
687
- }
688
- }
689
-
690
- fn all_valtypes_named_in_instance(
691
- &self,
692
- types: &TypeAlloc,
693
- id: ComponentInstanceTypeId,
694
- set: &HashSet<ComponentAnyTypeId>,
695
- ) -> bool {
696
- // Instances must recursively have all referenced types named.
697
- let ty = &types[id];
698
- ty.exports.values().all(|ty| match ty {
699
- ComponentEntityType::Module(_) => true,
700
- ComponentEntityType::Func(id) => self.all_valtypes_named_in_func(types, *id, set),
701
- ComponentEntityType::Type { created: id, .. } => {
702
- self.all_valtypes_named(types, *id, set)
703
- }
704
- ComponentEntityType::Value(ComponentValType::Type(id)) => {
705
- self.all_valtypes_named_in_defined(types, *id, set)
706
- }
707
- ComponentEntityType::Instance(id) => {
708
- self.all_valtypes_named_in_instance(types, *id, set)
709
- }
710
- ComponentEntityType::Component(_)
711
- | ComponentEntityType::Value(ComponentValType::Primitive(_)) => return true,
712
- })
713
- }
714
-
715
- fn all_valtypes_named_in_defined(
716
- &self,
717
- types: &TypeAlloc,
718
- id: ComponentDefinedTypeId,
719
- set: &HashSet<ComponentAnyTypeId>,
720
- ) -> bool {
721
- let ty = &types[id];
722
- match ty {
723
- // These types do not contain anything which must be
724
- // named.
725
- ComponentDefinedType::Primitive(_)
726
- | ComponentDefinedType::Flags(_)
727
- | ComponentDefinedType::Enum(_) => true,
728
-
729
- // Referenced types of all these aggregates must all be
730
- // named.
731
- ComponentDefinedType::Record(r) => {
732
- r.fields.values().all(|t| types.type_named_valtype(t, set))
733
- }
734
- ComponentDefinedType::Tuple(r) => {
735
- r.types.iter().all(|t| types.type_named_valtype(t, set))
736
- }
737
- ComponentDefinedType::Variant(r) => r
738
- .cases
739
- .values()
740
- .filter_map(|t| t.ty.as_ref())
741
- .all(|t| types.type_named_valtype(t, set)),
742
- ComponentDefinedType::Result { ok, err } => {
743
- ok.as_ref()
744
- .map(|t| types.type_named_valtype(t, set))
745
- .unwrap_or(true)
746
- && err
747
- .as_ref()
748
- .map(|t| types.type_named_valtype(t, set))
749
- .unwrap_or(true)
750
- }
751
- ComponentDefinedType::List(ty) | ComponentDefinedType::Option(ty) => {
752
- types.type_named_valtype(ty, set)
753
- }
754
-
755
- // The resource referred to by own/borrow must be named.
756
- ComponentDefinedType::Own(id) | ComponentDefinedType::Borrow(id) => {
757
- set.contains(&(*id).into())
758
- }
759
- }
760
- }
761
-
762
- fn all_valtypes_named_in_func(
763
- &self,
764
- types: &TypeAlloc,
765
- id: ComponentFuncTypeId,
766
- set: &HashSet<ComponentAnyTypeId>,
767
- ) -> bool {
768
- let ty = &types[id];
769
- // Function types must have all their parameters/results named.
770
- ty.params
771
- .iter()
772
- .map(|(_, ty)| ty)
773
- .chain(ty.results.iter().map(|(_, ty)| ty))
774
- .all(|ty| types.type_named_valtype(ty, set))
775
- }
776
-
777
- /// Updates the type `id` specified, an identifier for a component instance
778
- /// type, to be imported into this component.
779
- ///
780
- /// Importing an instance type into a component specially handles the
781
- /// defined resources registered in the instance type. Notably all
782
- /// defined resources are "freshened" into brand new type variables and
783
- /// these new variables are substituted within the type. This is what
784
- /// creates a new `TypeId` and may update the `id` specified.
785
- ///
786
- /// One side effect of this operation, for example, is that if an instance
787
- /// type is used twice to import two different instances then the instances
788
- /// do not share resource types despite sharing the same original instance
789
- /// type.
790
- fn prepare_instance_import(&mut self, id: &mut ComponentInstanceTypeId, types: &mut TypeAlloc) {
791
- let ty = &types[*id];
792
-
793
- // No special treatment for imports of instances which themselves have
794
- // no defined resources
795
- if ty.defined_resources.is_empty() {
796
- return;
797
- }
798
-
799
- let mut new_ty = ComponentInstanceType {
800
- // Copied from the input verbatim
801
- info: ty.info,
802
-
803
- // Copied over as temporary storage for now, and both of these are
804
- // filled out and expanded below.
805
- exports: ty.exports.clone(),
806
- explicit_resources: ty.explicit_resources.clone(),
807
-
808
- // Explicitly discard this field since the
809
- // defined resources are lifted into `self`
810
- defined_resources: Default::default(),
811
- };
812
-
813
- // Create brand new resources for all defined ones in the instance.
814
- let resources = (0..ty.defined_resources.len())
815
- .map(|_| types.alloc_resource_id())
816
- .collect::<IndexSet<_>>();
817
-
818
- // Build a map from the defined resources in `ty` to those in `new_ty`.
819
- //
820
- // As part of this same loop the new resources, which were previously
821
- // defined in `ty`, now become imported variables in `self`. Their
822
- // path for where they're imported is updated as well with
823
- // `self.next_import_index` as the import-to-be soon.
824
- let mut mapping = Remapping::default();
825
- let ty = &types[*id];
826
- for (old, new) in ty.defined_resources.iter().zip(&resources) {
827
- let prev = mapping.resources.insert(*old, new.resource());
828
- assert!(prev.is_none());
829
-
830
- let mut base = vec![self.imports.len()];
831
- base.extend(ty.explicit_resources[old].iter().copied());
832
- self.imported_resources.insert(new.resource(), base);
833
- }
834
-
835
- // Using the old-to-new resource mapping perform a substitution on
836
- // the `exports` and `explicit_resources` fields of `new_ty`
837
- for ty in new_ty.exports.values_mut() {
838
- types.remap_component_entity(ty, &mut mapping);
839
- }
840
- for (id, path) in mem::take(&mut new_ty.explicit_resources) {
841
- let id = *mapping.resources.get(&id).unwrap_or(&id);
842
- new_ty.explicit_resources.insert(id, path);
843
- }
844
-
845
- // Now that `new_ty` is complete finish its registration and then
846
- // update `id` on the way out.
847
- *id = types.push_ty(new_ty);
848
- }
849
-
850
- /// Prepares an instance type, pointed to `id`, for being exported as a
851
- /// concrete instance from `self`.
852
- ///
853
- /// This will internally perform any resource "freshening" as required and
854
- /// then additionally update metadata within `self` about resources being
855
- /// exported or defined.
856
- fn prepare_instance_export(&mut self, id: &mut ComponentInstanceTypeId, types: &mut TypeAlloc) {
857
- // Exports of an instance mean that the enclosing context
858
- // is inheriting the resources that the instance
859
- // encapsulates. This means that the instance type
860
- // recorded for this export will itself have no
861
- // defined resources.
862
- let ty = &types[*id];
863
-
864
- // Check to see if `defined_resources` is non-empty, and if so then
865
- // "freshen" all the resources and inherit them to our own defined
866
- // resources, updating `id` in the process.
867
- //
868
- // Note though that this specifically is not rewriting the resources of
869
- // exported instances. The `defined_resources` set on instance types is
870
- // a little subtle (see its documentation for more info), but the
871
- // general idea is that for a concrete instance it's always empty. Only
872
- // for instance type definitions does it ever have elements in it.
873
- //
874
- // That means that if this set is non-empty then what's happening is
875
- // that we're in a type context an exporting an instance of a previously
876
- // specified type. In this case all resources are required to be
877
- // "freshened" to ensure that multiple exports of the same type all
878
- // export different types of resources.
879
- //
880
- // And finally note that this operation empties out the
881
- // `defined_resources` set of the type that is registered for the
882
- // instance, as this export is modeled as producing a concrete instance.
883
- if !ty.defined_resources.is_empty() {
884
- let mut new_ty = ty.clone();
885
- let mut mapping = Remapping::default();
886
- for old in mem::take(&mut new_ty.defined_resources) {
887
- let new = types.alloc_resource_id();
888
- mapping.resources.insert(old, new.resource());
889
- self.defined_resources.insert(new.resource(), None);
890
- }
891
- for ty in new_ty.exports.values_mut() {
892
- types.remap_component_entity(ty, &mut mapping);
893
- }
894
- for (id, path) in mem::take(&mut new_ty.explicit_resources) {
895
- let id = mapping.resources.get(&id).copied().unwrap_or(id);
896
- new_ty.explicit_resources.insert(id, path);
897
- }
898
- *id = types.push_ty(new_ty);
899
- }
900
-
901
- // Any explicit resources in the instance are now additionally explicit
902
- // in this component since it's exported.
903
- //
904
- // The path to each explicit resources gets one element prepended which
905
- // is `self.next_export_index`, the index of the export about to be
906
- // generated.
907
- let ty = &types[*id];
908
- for (id, path) in ty.explicit_resources.iter() {
909
- let mut new_path = vec![self.exports.len()];
910
- new_path.extend(path);
911
- self.explicit_resources.insert(*id, new_path);
912
- }
913
- }
914
-
915
- pub fn add_export(
916
- &mut self,
917
- name: ComponentExportName<'_>,
918
- mut ty: ComponentEntityType,
919
- features: &WasmFeatures,
920
- types: &mut TypeAlloc,
921
- offset: usize,
922
- check_limit: bool,
923
- ) -> Result<()> {
924
- if check_limit {
925
- check_max(self.exports.len(), 1, MAX_WASM_EXPORTS, "exports", offset)?;
926
- }
927
- self.add_entity(
928
- &mut ty,
929
- Some((name.0, ExternKind::Export)),
930
- features,
931
- types,
932
- offset,
933
- )?;
934
- self.toplevel_exported_resources.validate_extern(
935
- name.0,
936
- ExternKind::Export,
937
- &ty,
938
- types,
939
- offset,
940
- &mut self.export_names,
941
- &mut self.exports,
942
- &mut self.type_info,
943
- )?;
944
- Ok(())
945
- }
946
-
947
- pub fn lift_function(
948
- &mut self,
949
- core_func_index: u32,
950
- type_index: u32,
951
- options: Vec<CanonicalOption>,
952
- types: &TypeList,
953
- offset: usize,
954
- ) -> Result<()> {
955
- let ty = self.function_type_at(type_index, types, offset)?;
956
- let core_ty = types[self.core_function_at(core_func_index, offset)?].unwrap_func();
957
-
958
- // Lifting a function is for an export, so match the expected canonical ABI
959
- // export signature
960
- let info = ty.lower(types, false);
961
- self.check_options(Some(core_ty), &info, &options, types, offset)?;
962
-
963
- if core_ty.params() != info.params.as_slice() {
964
- bail!(
965
- offset,
966
- "lowered parameter types `{:?}` do not match parameter types \
967
- `{:?}` of core function {core_func_index}",
968
- info.params.as_slice(),
969
- core_ty.params(),
970
- );
971
- }
972
-
973
- if core_ty.results() != info.results.as_slice() {
974
- bail!(
975
- offset,
976
- "lowered result types `{:?}` do not match result types \
977
- `{:?}` of core function {core_func_index}",
978
- info.results.as_slice(),
979
- core_ty.results()
980
- );
981
- }
982
-
983
- self.funcs
984
- .push(self.types[type_index as usize].unwrap_func());
985
-
986
- Ok(())
987
- }
988
-
989
- pub fn lower_function(
990
- &mut self,
991
- func_index: u32,
992
- options: Vec<CanonicalOption>,
993
- types: &mut TypeAlloc,
994
- offset: usize,
995
- ) -> Result<()> {
996
- let ty = &types[self.function_at(func_index, offset)?];
997
-
998
- // Lowering a function is for an import, so use a function type that matches
999
- // the expected canonical ABI import signature.
1000
- let info = ty.lower(types, true);
1001
-
1002
- self.check_options(None, &info, &options, types, offset)?;
1003
-
1004
- let lowered_ty = SubType {
1005
- is_final: false,
1006
- supertype_idx: None,
1007
- composite_type: CompositeType::Func(info.into_func_type()),
1008
- };
1009
-
1010
- let id = types.push_ty(lowered_ty);
1011
- self.core_funcs.push(id);
1012
-
1013
- Ok(())
1014
- }
1015
-
1016
- pub fn resource_new(
1017
- &mut self,
1018
- resource: u32,
1019
- types: &mut TypeAlloc,
1020
- offset: usize,
1021
- ) -> Result<()> {
1022
- let rep = self.check_local_resource(resource, types, offset)?;
1023
- let core_ty = SubType {
1024
- is_final: false,
1025
- supertype_idx: None,
1026
- composite_type: CompositeType::Func(FuncType::new([rep], [ValType::I32])),
1027
- };
1028
- self.core_funcs.push(types.push_ty(core_ty));
1029
- Ok(())
1030
- }
1031
-
1032
- pub fn resource_drop(
1033
- &mut self,
1034
- resource: u32,
1035
- types: &mut TypeAlloc,
1036
- offset: usize,
1037
- ) -> Result<()> {
1038
- self.resource_at(resource, types, offset)?;
1039
- let core_ty = SubType {
1040
- is_final: false,
1041
- supertype_idx: None,
1042
- composite_type: CompositeType::Func(FuncType::new([ValType::I32], [])),
1043
- };
1044
- self.core_funcs.push(types.push_ty(core_ty));
1045
- Ok(())
1046
- }
1047
-
1048
- pub fn resource_rep(
1049
- &mut self,
1050
- resource: u32,
1051
- types: &mut TypeAlloc,
1052
- offset: usize,
1053
- ) -> Result<()> {
1054
- let rep = self.check_local_resource(resource, types, offset)?;
1055
- let core_ty = SubType {
1056
- is_final: false,
1057
- supertype_idx: None,
1058
- composite_type: CompositeType::Func(FuncType::new([ValType::I32], [rep])),
1059
- };
1060
- self.core_funcs.push(types.push_ty(core_ty));
1061
- Ok(())
1062
- }
1063
-
1064
- fn check_local_resource(&self, idx: u32, types: &TypeList, offset: usize) -> Result<ValType> {
1065
- let resource = self.resource_at(idx, types, offset)?;
1066
- match self
1067
- .defined_resources
1068
- .get(&resource.resource())
1069
- .and_then(|rep| *rep)
1070
- {
1071
- Some(ty) => Ok(ty),
1072
- None => bail!(offset, "type {idx} is not a local resource"),
1073
- }
1074
- }
1075
-
1076
- fn resource_at<'a>(
1077
- &self,
1078
- idx: u32,
1079
- _types: &'a TypeList,
1080
- offset: usize,
1081
- ) -> Result<AliasableResourceId> {
1082
- if let ComponentAnyTypeId::Resource(id) = self.component_type_at(idx, offset)? {
1083
- return Ok(id);
1084
- }
1085
- bail!(offset, "type index {} is not a resource type", idx)
1086
- }
1087
-
1088
- pub fn add_component(&mut self, component: ComponentType, types: &mut TypeAlloc) -> Result<()> {
1089
- let id = types.push_ty(component);
1090
- self.components.push(id);
1091
- Ok(())
1092
- }
1093
-
1094
- pub fn add_instance(
1095
- &mut self,
1096
- instance: crate::ComponentInstance,
1097
- features: &WasmFeatures,
1098
- types: &mut TypeAlloc,
1099
- offset: usize,
1100
- ) -> Result<()> {
1101
- let instance = match instance {
1102
- crate::ComponentInstance::Instantiate {
1103
- component_index,
1104
- args,
1105
- } => self.instantiate_component(
1106
- component_index,
1107
- args.into_vec(),
1108
- features,
1109
- types,
1110
- offset,
1111
- )?,
1112
- crate::ComponentInstance::FromExports(exports) => {
1113
- self.instantiate_component_exports(exports.into_vec(), features, types, offset)?
1114
- }
1115
- };
1116
-
1117
- self.instances.push(instance);
1118
-
1119
- Ok(())
1120
- }
1121
-
1122
- pub fn add_alias(
1123
- components: &mut [Self],
1124
- alias: crate::ComponentAlias,
1125
- features: &WasmFeatures,
1126
- types: &mut TypeAlloc,
1127
- offset: usize,
1128
- ) -> Result<()> {
1129
- match alias {
1130
- crate::ComponentAlias::InstanceExport {
1131
- instance_index,
1132
- kind,
1133
- name,
1134
- } => components.last_mut().unwrap().alias_instance_export(
1135
- instance_index,
1136
- kind,
1137
- name,
1138
- features,
1139
- types,
1140
- offset,
1141
- ),
1142
- crate::ComponentAlias::CoreInstanceExport {
1143
- instance_index,
1144
- kind,
1145
- name,
1146
- } => components.last_mut().unwrap().alias_core_instance_export(
1147
- instance_index,
1148
- kind,
1149
- name,
1150
- types,
1151
- offset,
1152
- ),
1153
- crate::ComponentAlias::Outer { kind, count, index } => match kind {
1154
- ComponentOuterAliasKind::CoreModule => {
1155
- Self::alias_module(components, count, index, offset)
1156
- }
1157
- ComponentOuterAliasKind::CoreType => {
1158
- Self::alias_core_type(components, count, index, offset)
1159
- }
1160
- ComponentOuterAliasKind::Type => {
1161
- Self::alias_type(components, count, index, types, offset)
1162
- }
1163
- ComponentOuterAliasKind::Component => {
1164
- Self::alias_component(components, count, index, offset)
1165
- }
1166
- },
1167
- }
1168
- }
1169
-
1170
- pub fn add_start(
1171
- &mut self,
1172
- func_index: u32,
1173
- args: &[u32],
1174
- results: u32,
1175
- features: &WasmFeatures,
1176
- types: &mut TypeList,
1177
- offset: usize,
1178
- ) -> Result<()> {
1179
- if !features.component_model_values {
1180
- bail!(
1181
- offset,
1182
- "support for component model `value`s is not enabled"
1183
- );
1184
- }
1185
- if self.has_start {
1186
- return Err(BinaryReaderError::new(
1187
- "component cannot have more than one start function",
1188
- offset,
1189
- ));
1190
- }
1191
-
1192
- let ft = &types[self.function_at(func_index, offset)?];
1193
-
1194
- if ft.params.len() != args.len() {
1195
- bail!(
1196
- offset,
1197
- "component start function requires {} arguments but was given {}",
1198
- ft.params.len(),
1199
- args.len()
1200
- );
1201
- }
1202
-
1203
- if ft.results.len() as u32 != results {
1204
- bail!(
1205
- offset,
1206
- "component start function has a result count of {results} \
1207
- but the function type has a result count of {type_results}",
1208
- type_results = ft.results.len(),
1209
- );
1210
- }
1211
-
1212
- let cx = SubtypeCx::new(types, types);
1213
- for (i, ((_, ty), arg)) in ft.params.iter().zip(args).enumerate() {
1214
- // Ensure the value's type is a subtype of the parameter type
1215
- cx.component_val_type(self.value_at(*arg, offset)?, ty, offset)
1216
- .with_context(|| {
1217
- format!("value type mismatch for component start function argument {i}")
1218
- })?;
1219
- }
1220
-
1221
- for (_, ty) in ft.results.iter() {
1222
- self.values.push((*ty, false));
1223
- }
1224
-
1225
- self.has_start = true;
1226
-
1227
- Ok(())
1228
- }
1229
-
1230
- fn check_options(
1231
- &self,
1232
- core_ty: Option<&FuncType>,
1233
- info: &LoweringInfo,
1234
- options: &[CanonicalOption],
1235
- types: &TypeList,
1236
- offset: usize,
1237
- ) -> Result<()> {
1238
- fn display(option: CanonicalOption) -> &'static str {
1239
- match option {
1240
- CanonicalOption::UTF8 => "utf8",
1241
- CanonicalOption::UTF16 => "utf16",
1242
- CanonicalOption::CompactUTF16 => "latin1-utf16",
1243
- CanonicalOption::Memory(_) => "memory",
1244
- CanonicalOption::Realloc(_) => "realloc",
1245
- CanonicalOption::PostReturn(_) => "post-return",
1246
- }
1247
- }
1248
-
1249
- let mut encoding = None;
1250
- let mut memory = None;
1251
- let mut realloc = None;
1252
- let mut post_return = None;
1253
-
1254
- for option in options {
1255
- match option {
1256
- CanonicalOption::UTF8 | CanonicalOption::UTF16 | CanonicalOption::CompactUTF16 => {
1257
- match encoding {
1258
- Some(existing) => {
1259
- bail!(
1260
- offset,
1261
- "canonical encoding option `{}` conflicts with option `{}`",
1262
- display(existing),
1263
- display(*option),
1264
- )
1265
- }
1266
- None => encoding = Some(*option),
1267
- }
1268
- }
1269
- CanonicalOption::Memory(idx) => {
1270
- memory = match memory {
1271
- None => {
1272
- self.memory_at(*idx, offset)?;
1273
- Some(*idx)
1274
- }
1275
- Some(_) => {
1276
- return Err(BinaryReaderError::new(
1277
- "canonical option `memory` is specified more than once",
1278
- offset,
1279
- ))
1280
- }
1281
- }
1282
- }
1283
- CanonicalOption::Realloc(idx) => {
1284
- realloc = match realloc {
1285
- None => {
1286
- let ty = types[self.core_function_at(*idx, offset)?].unwrap_func();
1287
- if ty.params()
1288
- != [ValType::I32, ValType::I32, ValType::I32, ValType::I32]
1289
- || ty.results() != [ValType::I32]
1290
- {
1291
- return Err(BinaryReaderError::new(
1292
- "canonical option `realloc` uses a core function with an incorrect signature",
1293
- offset,
1294
- ));
1295
- }
1296
- Some(*idx)
1297
- }
1298
- Some(_) => {
1299
- return Err(BinaryReaderError::new(
1300
- "canonical option `realloc` is specified more than once",
1301
- offset,
1302
- ))
1303
- }
1304
- }
1305
- }
1306
- CanonicalOption::PostReturn(idx) => {
1307
- post_return = match post_return {
1308
- None => {
1309
- let core_ty = core_ty.ok_or_else(|| {
1310
- BinaryReaderError::new(
1311
- "canonical option `post-return` cannot be specified for lowerings",
1312
- offset,
1313
- )
1314
- })?;
1315
-
1316
- let ty = types[self.core_function_at(*idx, offset)?].unwrap_func();
1317
-
1318
- if ty.params() != core_ty.results() || !ty.results().is_empty() {
1319
- return Err(BinaryReaderError::new(
1320
- "canonical option `post-return` uses a core function with an incorrect signature",
1321
- offset,
1322
- ));
1323
- }
1324
- Some(*idx)
1325
- }
1326
- Some(_) => {
1327
- return Err(BinaryReaderError::new(
1328
- "canonical option `post-return` is specified more than once",
1329
- offset,
1330
- ))
1331
- }
1332
- }
1333
- }
1334
- }
1335
- }
1336
-
1337
- if info.requires_memory && memory.is_none() {
1338
- return Err(BinaryReaderError::new(
1339
- "canonical option `memory` is required",
1340
- offset,
1341
- ));
1342
- }
1343
-
1344
- if info.requires_realloc && realloc.is_none() {
1345
- return Err(BinaryReaderError::new(
1346
- "canonical option `realloc` is required",
1347
- offset,
1348
- ));
1349
- }
1350
-
1351
- Ok(())
1352
- }
1353
-
1354
- fn check_type_ref(
1355
- &mut self,
1356
- ty: &ComponentTypeRef,
1357
- features: &WasmFeatures,
1358
- types: &mut TypeAlloc,
1359
- offset: usize,
1360
- ) -> Result<ComponentEntityType> {
1361
- Ok(match ty {
1362
- ComponentTypeRef::Module(index) => {
1363
- let id = self.core_type_at(*index, offset)?;
1364
- match id {
1365
- ComponentCoreTypeId::Sub(_) => {
1366
- bail!(offset, "core type index {index} is not a module type")
1367
- }
1368
- ComponentCoreTypeId::Module(id) => ComponentEntityType::Module(id),
1369
- }
1370
- }
1371
- ComponentTypeRef::Func(index) => {
1372
- let id = self.component_type_at(*index, offset)?;
1373
- match id {
1374
- ComponentAnyTypeId::Func(id) => ComponentEntityType::Func(id),
1375
- _ => bail!(offset, "type index {index} is not a function type"),
1376
- }
1377
- }
1378
- ComponentTypeRef::Value(ty) => {
1379
- self.check_value_support(features, offset)?;
1380
- let ty = match ty {
1381
- crate::ComponentValType::Primitive(ty) => ComponentValType::Primitive(*ty),
1382
- crate::ComponentValType::Type(index) => {
1383
- ComponentValType::Type(self.defined_type_at(*index, offset)?)
1384
- }
1385
- };
1386
- ComponentEntityType::Value(ty)
1387
- }
1388
- ComponentTypeRef::Type(TypeBounds::Eq(index)) => {
1389
- let referenced = self.component_type_at(*index, offset)?;
1390
- let created = types.with_unique(referenced);
1391
- ComponentEntityType::Type {
1392
- referenced,
1393
- created,
1394
- }
1395
- }
1396
- ComponentTypeRef::Type(TypeBounds::SubResource) => {
1397
- let id = types.alloc_resource_id();
1398
- ComponentEntityType::Type {
1399
- referenced: id.into(),
1400
- created: id.into(),
1401
- }
1402
- }
1403
- ComponentTypeRef::Instance(index) => {
1404
- let id = self.component_type_at(*index, offset)?;
1405
- match id {
1406
- ComponentAnyTypeId::Instance(id) => ComponentEntityType::Instance(id),
1407
- _ => bail!(offset, "type index {index} is not an instance type"),
1408
- }
1409
- }
1410
- ComponentTypeRef::Component(index) => {
1411
- let id = self.component_type_at(*index, offset)?;
1412
- match id {
1413
- ComponentAnyTypeId::Component(id) => ComponentEntityType::Component(id),
1414
- _ => bail!(offset, "type index {index} is not a component type"),
1415
- }
1416
- }
1417
- })
1418
- }
1419
-
1420
- pub fn export_to_entity_type(
1421
- &mut self,
1422
- export: &crate::ComponentExport,
1423
- features: &WasmFeatures,
1424
- types: &mut TypeAlloc,
1425
- offset: usize,
1426
- ) -> Result<ComponentEntityType> {
1427
- let actual = match export.kind {
1428
- ComponentExternalKind::Module => {
1429
- ComponentEntityType::Module(self.module_at(export.index, offset)?)
1430
- }
1431
- ComponentExternalKind::Func => {
1432
- ComponentEntityType::Func(self.function_at(export.index, offset)?)
1433
- }
1434
- ComponentExternalKind::Value => {
1435
- self.check_value_support(features, offset)?;
1436
- ComponentEntityType::Value(*self.value_at(export.index, offset)?)
1437
- }
1438
- ComponentExternalKind::Type => {
1439
- let referenced = self.component_type_at(export.index, offset)?;
1440
- let created = types.with_unique(referenced);
1441
- ComponentEntityType::Type {
1442
- referenced,
1443
- created,
1444
- }
1445
- }
1446
- ComponentExternalKind::Instance => {
1447
- ComponentEntityType::Instance(self.instance_at(export.index, offset)?)
1448
- }
1449
- ComponentExternalKind::Component => {
1450
- ComponentEntityType::Component(self.component_at(export.index, offset)?)
1451
- }
1452
- };
1453
-
1454
- let ascribed = match &export.ty {
1455
- Some(ty) => self.check_type_ref(ty, features, types, offset)?,
1456
- None => return Ok(actual),
1457
- };
1458
-
1459
- SubtypeCx::new(types, types)
1460
- .component_entity_type(&actual, &ascribed, offset)
1461
- .with_context(|| "ascribed type of export is not compatible with item's type")?;
1462
-
1463
- Ok(ascribed)
1464
- }
1465
-
1466
- fn create_module_type(
1467
- components: &[Self],
1468
- decls: Vec<crate::ModuleTypeDeclaration>,
1469
- features: &WasmFeatures,
1470
- types: &mut TypeAlloc,
1471
- offset: usize,
1472
- ) -> Result<ModuleType> {
1473
- let mut state = Module::default();
1474
-
1475
- for decl in decls {
1476
- match decl {
1477
- crate::ModuleTypeDeclaration::Type(ty) => {
1478
- state.add_types(&RecGroup::implicit(ty), features, types, offset, true)?;
1479
- }
1480
- crate::ModuleTypeDeclaration::Export { name, ty } => {
1481
- let ty = state.check_type_ref(&ty, features, types, offset)?;
1482
- state.add_export(name, ty, features, offset, true, types)?;
1483
- }
1484
- crate::ModuleTypeDeclaration::OuterAlias { kind, count, index } => {
1485
- if count > 1 {
1486
- return Err(BinaryReaderError::new(
1487
- "outer type aliases in module type declarations are limited to a \
1488
- maximum count of 1",
1489
- offset,
1490
- ));
1491
- }
1492
- match kind {
1493
- crate::OuterAliasKind::Type => {
1494
- let ty = if count == 0 {
1495
- // Local alias, check the local module state
1496
- ComponentCoreTypeId::Sub(state.type_id_at(index, offset)?)
1497
- } else {
1498
- // Otherwise, check the enclosing component state
1499
- let component =
1500
- Self::check_alias_count(components, count - 1, offset)?;
1501
- component.core_type_at(index, offset)?
1502
- };
1503
-
1504
- check_max(state.types.len(), 1, MAX_WASM_TYPES, "types", offset)?;
1505
-
1506
- match ty {
1507
- ComponentCoreTypeId::Sub(ty) => state.types.push(ty),
1508
- // TODO https://github.com/WebAssembly/component-model/issues/265
1509
- ComponentCoreTypeId::Module(_) => bail!(
1510
- offset,
1511
- "not implemented: aliasing core module types into a core \
1512
- module's types index space"
1513
- ),
1514
- }
1515
- }
1516
- }
1517
- }
1518
- crate::ModuleTypeDeclaration::Import(import) => {
1519
- state.add_import(import, features, types, offset)?;
1520
- }
1521
- }
1522
- }
1523
-
1524
- let imports = state.imports_for_module_type(offset)?;
1525
-
1526
- Ok(ModuleType {
1527
- info: TypeInfo::core(state.type_size),
1528
- imports,
1529
- exports: state.exports,
1530
- })
1531
- }
1532
-
1533
- fn create_component_type(
1534
- components: &mut Vec<Self>,
1535
- decls: Vec<crate::ComponentTypeDeclaration>,
1536
- features: &WasmFeatures,
1537
- types: &mut TypeAlloc,
1538
- offset: usize,
1539
- ) -> Result<ComponentType> {
1540
- components.push(ComponentState::new(ComponentKind::ComponentType));
1541
-
1542
- for decl in decls {
1543
- match decl {
1544
- crate::ComponentTypeDeclaration::CoreType(ty) => {
1545
- Self::add_core_type(components, ty, features, types, offset, true)?;
1546
- }
1547
- crate::ComponentTypeDeclaration::Type(ty) => {
1548
- Self::add_type(components, ty, features, types, offset, true)?;
1549
- }
1550
- crate::ComponentTypeDeclaration::Export { name, ty } => {
1551
- let current = components.last_mut().unwrap();
1552
- let ty = current.check_type_ref(&ty, features, types, offset)?;
1553
- current.add_export(name, ty, features, types, offset, true)?;
1554
- }
1555
- crate::ComponentTypeDeclaration::Import(import) => {
1556
- components
1557
- .last_mut()
1558
- .unwrap()
1559
- .add_import(import, features, types, offset)?;
1560
- }
1561
- crate::ComponentTypeDeclaration::Alias(alias) => {
1562
- Self::add_alias(components, alias, features, types, offset)?;
1563
- }
1564
- };
1565
- }
1566
-
1567
- components.pop().unwrap().finish(types, offset)
1568
- }
1569
-
1570
- fn create_instance_type(
1571
- components: &mut Vec<Self>,
1572
- decls: Vec<crate::InstanceTypeDeclaration>,
1573
- features: &WasmFeatures,
1574
- types: &mut TypeAlloc,
1575
- offset: usize,
1576
- ) -> Result<ComponentInstanceType> {
1577
- components.push(ComponentState::new(ComponentKind::InstanceType));
1578
-
1579
- for decl in decls {
1580
- match decl {
1581
- crate::InstanceTypeDeclaration::CoreType(ty) => {
1582
- Self::add_core_type(components, ty, features, types, offset, true)?;
1583
- }
1584
- crate::InstanceTypeDeclaration::Type(ty) => {
1585
- Self::add_type(components, ty, features, types, offset, true)?;
1586
- }
1587
- crate::InstanceTypeDeclaration::Export { name, ty } => {
1588
- let current = components.last_mut().unwrap();
1589
- let ty = current.check_type_ref(&ty, features, types, offset)?;
1590
- current.add_export(name, ty, features, types, offset, true)?;
1591
- }
1592
- crate::InstanceTypeDeclaration::Alias(alias) => {
1593
- Self::add_alias(components, alias, features, types, offset)?;
1594
- }
1595
- };
1596
- }
1597
-
1598
- let mut state = components.pop().unwrap();
1599
-
1600
- assert!(state.imported_resources.is_empty());
1601
-
1602
- Ok(ComponentInstanceType {
1603
- info: state.type_info,
1604
-
1605
- // The defined resources for this instance type are those listed on
1606
- // the component state. The path to each defined resource is
1607
- // guaranteed to live within the `explicit_resources` map since,
1608
- // when in the type context, the introduction of any defined
1609
- // resource must have been done with `(export "x" (type (sub
1610
- // resource)))` which, in a sense, "fuses" the introduction of the
1611
- // variable with the export. This means that all defined resources,
1612
- // if any, should be guaranteed to have an `explicit_resources` path
1613
- // listed.
1614
- defined_resources: mem::take(&mut state.defined_resources)
1615
- .into_iter()
1616
- .map(|(id, rep)| {
1617
- assert!(rep.is_none());
1618
- id
1619
- })
1620
- .collect(),
1621
-
1622
- // The map of what resources are explicitly exported and where
1623
- // they're exported is plumbed through as-is.
1624
- explicit_resources: mem::take(&mut state.explicit_resources),
1625
-
1626
- exports: mem::take(&mut state.exports),
1627
- })
1628
- }
1629
-
1630
- fn create_function_type(
1631
- &self,
1632
- ty: crate::ComponentFuncType,
1633
- types: &TypeList,
1634
- offset: usize,
1635
- ) -> Result<ComponentFuncType> {
1636
- let mut info = TypeInfo::new();
1637
-
1638
- let mut set =
1639
- HashSet::with_capacity(std::cmp::max(ty.params.len(), ty.results.type_count()));
1640
-
1641
- let params = ty
1642
- .params
1643
- .iter()
1644
- .map(|(name, ty)| {
1645
- let name = to_kebab_str(name, "function parameter", offset)?;
1646
- if !set.insert(name) {
1647
- bail!(
1648
- offset,
1649
- "function parameter name `{name}` conflicts with previous parameter name `{prev}`",
1650
- prev = set.get(&name).unwrap(),
1651
- );
1652
- }
1653
-
1654
- let ty = self.create_component_val_type(*ty, offset)?;
1655
- info.combine(ty.info(types), offset)?;
1656
- Ok((name.to_owned(), ty))
1657
- })
1658
- .collect::<Result<_>>()?;
1659
-
1660
- set.clear();
1661
-
1662
- let results = ty
1663
- .results
1664
- .iter()
1665
- .map(|(name, ty)| {
1666
- let name = name
1667
- .map(|name| {
1668
- let name = to_kebab_str(name, "function result", offset)?;
1669
- if !set.insert(name) {
1670
- bail!(
1671
- offset,
1672
- "function result name `{name}` conflicts with previous result name `{prev}`",
1673
- prev = set.get(name).unwrap(),
1674
- );
1675
- }
1676
-
1677
- Ok(name.to_owned())
1678
- })
1679
- .transpose()?;
1680
-
1681
- let ty = self.create_component_val_type(*ty, offset)?;
1682
- let ty_info = ty.info(types);
1683
- if ty_info.contains_borrow() {
1684
- bail!(offset, "function result cannot contain a `borrow` type");
1685
- }
1686
- info.combine(ty.info(types), offset)?;
1687
- Ok((name, ty))
1688
- })
1689
- .collect::<Result<_>>()?;
1690
-
1691
- Ok(ComponentFuncType {
1692
- info,
1693
- params,
1694
- results,
1695
- })
1696
- }
1697
-
1698
- fn instantiate_core_module(
1699
- &self,
1700
- module_index: u32,
1701
- module_args: Vec<crate::InstantiationArg>,
1702
- types: &mut TypeAlloc,
1703
- offset: usize,
1704
- ) -> Result<ComponentCoreInstanceTypeId> {
1705
- fn insert_arg<'a>(
1706
- name: &'a str,
1707
- arg: &'a InstanceType,
1708
- args: &mut IndexMap<&'a str, &'a InstanceType>,
1709
- offset: usize,
1710
- ) -> Result<()> {
1711
- if args.insert(name, arg).is_some() {
1712
- bail!(
1713
- offset,
1714
- "duplicate module instantiation argument named `{name}`"
1715
- );
1716
- }
1717
-
1718
- Ok(())
1719
- }
1720
-
1721
- let module_type_id = self.module_at(module_index, offset)?;
1722
- let mut args = IndexMap::new();
1723
-
1724
- // Populate the arguments
1725
- for module_arg in module_args {
1726
- match module_arg.kind {
1727
- InstantiationArgKind::Instance => {
1728
- let instance_type = &types[self.core_instance_at(module_arg.index, offset)?];
1729
- insert_arg(module_arg.name, instance_type, &mut args, offset)?;
1730
- }
1731
- }
1732
- }
1733
-
1734
- // Validate the arguments
1735
- let module_type = &types[module_type_id];
1736
- let cx = SubtypeCx::new(types, types);
1737
- for ((module, name), expected) in module_type.imports.iter() {
1738
- let instance = args.get(module.as_str()).ok_or_else(|| {
1739
- format_err!(
1740
- offset,
1741
- "missing module instantiation argument named `{module}`"
1742
- )
1743
- })?;
1744
-
1745
- let arg = instance
1746
- .internal_exports(types)
1747
- .get(name.as_str())
1748
- .ok_or_else(|| {
1749
- format_err!(
1750
- offset,
1751
- "module instantiation argument `{module}` does not \
1752
- export an item named `{name}`",
1753
- )
1754
- })?;
1755
-
1756
- cx.entity_type(arg, expected, offset).with_context(|| {
1757
- format!(
1758
- "type mismatch for export `{name}` of module \
1759
- instantiation argument `{module}`"
1760
- )
1761
- })?;
1762
- }
1763
-
1764
- let mut info = TypeInfo::new();
1765
- for (_, ty) in module_type.exports.iter() {
1766
- info.combine(ty.info(types), offset)?;
1767
- }
1768
-
1769
- Ok(types.push_ty(InstanceType {
1770
- info,
1771
- kind: CoreInstanceTypeKind::Instantiated(module_type_id),
1772
- }))
1773
- }
1774
-
1775
- fn instantiate_component(
1776
- &mut self,
1777
- component_index: u32,
1778
- component_args: Vec<crate::ComponentInstantiationArg>,
1779
- features: &WasmFeatures,
1780
- types: &mut TypeAlloc,
1781
- offset: usize,
1782
- ) -> Result<ComponentInstanceTypeId> {
1783
- let component_type_id = self.component_at(component_index, offset)?;
1784
- let mut args = IndexMap::new();
1785
-
1786
- // Populate the arguments
1787
- for component_arg in component_args {
1788
- let ty = match component_arg.kind {
1789
- ComponentExternalKind::Module => {
1790
- ComponentEntityType::Module(self.module_at(component_arg.index, offset)?)
1791
- }
1792
- ComponentExternalKind::Component => {
1793
- ComponentEntityType::Component(self.component_at(component_arg.index, offset)?)
1794
- }
1795
- ComponentExternalKind::Instance => {
1796
- ComponentEntityType::Instance(self.instance_at(component_arg.index, offset)?)
1797
- }
1798
- ComponentExternalKind::Func => {
1799
- ComponentEntityType::Func(self.function_at(component_arg.index, offset)?)
1800
- }
1801
- ComponentExternalKind::Value => {
1802
- self.check_value_support(features, offset)?;
1803
- ComponentEntityType::Value(*self.value_at(component_arg.index, offset)?)
1804
- }
1805
- ComponentExternalKind::Type => {
1806
- let ty = self.component_type_at(component_arg.index, offset)?;
1807
- ComponentEntityType::Type {
1808
- referenced: ty,
1809
- created: ty,
1810
- }
1811
- }
1812
- };
1813
- match args.entry(component_arg.name.to_string()) {
1814
- Entry::Occupied(e) => {
1815
- bail!(
1816
- offset,
1817
- "instantiation argument `{name}` conflicts with previous argument `{prev}`",
1818
- prev = e.key(),
1819
- name = component_arg.name
1820
- );
1821
- }
1822
- Entry::Vacant(e) => {
1823
- e.insert(ty);
1824
- }
1825
- }
1826
- }
1827
-
1828
- // Here comes the fun part of the component model, we're instantiating
1829
- // the component with type `component_type_id` with the `args`
1830
- // specified. Easy enough!
1831
- //
1832
- // This operation, however, is one of the lynchpins of safety in the
1833
- // component model. Additionally what this ends up implementing ranges
1834
- // from "well just check the types are equal" to "let's have a
1835
- // full-blown ML-style module type system in the component model". There
1836
- // are primarily two major tricky pieces to the component model which
1837
- // make this operation, instantiating components, hard:
1838
- //
1839
- // 1. Components can import and exports other components. This means
1840
- // that arguments to instantiation are along the lines of functions
1841
- // being passed to functions or similar. Effectively this means that
1842
- // the term "variance" comes into play with either contravariance
1843
- // or covariance depending on where you are in typechecking. This is
1844
- // one of the main rationales, however, that this check below is a
1845
- // check for subtyping as opposed to exact type equivalence. For
1846
- // example an instance that exports something is a subtype of an
1847
- // instance that exports nothing. Components get a bit trick since
1848
- // they both have imports and exports. My way of thinking about it
1849
- // is "who's asking for what". If you're asking for imports then
1850
- // I need to at least supply those imports, but I can possibly
1851
- // supply more. If you're asking for a thing which you'll give a set
1852
- // of imports, then I can give you something which takes less imports
1853
- // because what you give still suffices. (things like that). The
1854
- // real complication with components, however, comes with...
1855
- //
1856
- // 2. Resources. Resources in the component model are akin to "abstract
1857
- // types". They're not abstract in the sense that they have no
1858
- // representation, they're always backed by a 32-bit integer right
1859
- // now. Instead they're abstract in the sense that some components
1860
- // aren't allowed to understand the representation of a resource.
1861
- // For example if you import a resource you can't get the underlying
1862
- // internals of it. Furthermore the resource is strictly tracked
1863
- // within the component with `own` and `borrow` runtime semantics.
1864
- // The hardest part about resources, though, is handling them as
1865
- // part of instantiation and subtyping.
1866
- //
1867
- // For example one major aspect of resources is that if a component
1868
- // exports a resource then each instantiation of the component
1869
- // produces a fresh resource type. This means that the type recorded
1870
- // for the instantiation here can't simply be "I instantiated
1871
- // component X" since in such a situation the type of all
1872
- // instantiations would be the same, which they aren't.
1873
- //
1874
- // This sort of subtelty comes up quite frequently for resources.
1875
- // This file contains references to `imported_resources` and
1876
- // `defined_resources` for example which refer to the formal
1877
- // nature of components and their abstract variables. Specifically
1878
- // for instantiation though we're eventually faced with the problem
1879
- // of subtype checks where resource subtyping is defined as "does
1880
- // your id equal mine". Naively implemented that means anything with
1881
- // resources isn't subtypes of anything else since resource ids are
1882
- // unique between components. Instead what actually needs to happen
1883
- // is types need to be substituted.
1884
- //
1885
- // Much of the complexity here is not actually apparent here in this
1886
- // literal one function. Instead it's spread out across validation
1887
- // in this file and type-checking in the `types.rs` module. Note that
1888
- // the "spread out" nature isn't because we're bad maintainers
1889
- // (hopefully), but rather it's quite infectious how many parts need
1890
- // to handle resources and account for defined/imported variables.
1891
- //
1892
- // For example only one subtyping method is called here where `args` is
1893
- // passed in. This method is quite recursive in its nature though and
1894
- // will internally touch all the fields that this file maintains to
1895
- // end up putting into various bits and pieces of type information.
1896
- //
1897
- // Unfortunately there's probably not really a succinct way to read
1898
- // this method and understand everything. If you've written ML module
1899
- // type systems this will probably look quite familiar, but otherwise
1900
- // the whole system is not really easily approachable at this time. It's
1901
- // hoped in the future that there's a formalism to refer to which will
1902
- // make things more clear as the code would be able to reference this
1903
- // hypothetical formalism. Until that's the case, though, these
1904
- // comments are hopefully enough when augmented with communication with
1905
- // the authors.
1906
-
1907
- let component_type = &types[component_type_id];
1908
- let mut exports = component_type.exports.clone();
1909
- let mut info = TypeInfo::new();
1910
- for (_, ty) in component_type.exports.iter() {
1911
- info.combine(ty.info(types), offset)?;
1912
- }
1913
-
1914
- // Perform the subtype check that `args` matches the imports of
1915
- // `component_type_id`. The result of this subtype check is the
1916
- // production of a mapping of resource types from the imports to the
1917
- // arguments provided. This is a substitution map which is then used
1918
- // below to perform a substitution into the exports of the instance
1919
- // since the types of the exports are now in terms of whatever was
1920
- // supplied as imports.
1921
- let mut mapping = SubtypeCx::new(types, types).open_instance_type(
1922
- &args,
1923
- component_type_id,
1924
- ExternKind::Import,
1925
- offset,
1926
- )?;
1927
-
1928
- // Part of the instantiation of a component is that all of its
1929
- // defined resources become "fresh" on each instantiation. This
1930
- // means that each instantiation of a component gets brand new type
1931
- // variables representing its defined resources, modeling that each
1932
- // instantiation produces distinct types. The freshening is performed
1933
- // here by allocating new ids and inserting them into `mapping`.
1934
- //
1935
- // Note that technically the `mapping` from subtyping should be applied
1936
- // first and then the mapping for freshening should be applied
1937
- // afterwards. The keys of the map from subtyping are the imported
1938
- // resources from this component which are disjoint from its defined
1939
- // resources. That means it should be possible to place everything
1940
- // into one large map which maps from:
1941
- //
1942
- // * the component's imported resources go to whatever was explicitly
1943
- // supplied in the import map
1944
- // * the component's defined resources go to fresh new resources
1945
- //
1946
- // These two remapping operations can then get folded into one by
1947
- // placing everything in the same `mapping` and using that for a remap
1948
- // only once.
1949
- let fresh_defined_resources = (0..component_type.defined_resources.len())
1950
- .map(|_| types.alloc_resource_id().resource())
1951
- .collect::<IndexSet<_>>();
1952
- let component_type = &types[component_type_id];
1953
- for ((old, _path), new) in component_type
1954
- .defined_resources
1955
- .iter()
1956
- .zip(&fresh_defined_resources)
1957
- {
1958
- let prev = mapping.resources.insert(*old, *new);
1959
- assert!(prev.is_none());
1960
- }
1961
-
1962
- // Perform the remapping operation over all the exports that will be
1963
- // listed for the final instance type. Note that this is performed
1964
- // both for all the export types in addition to the explicitly exported
1965
- // resources list.
1966
- //
1967
- // Note that this is a crucial step of the instantiation process which
1968
- // is intentionally transforming the type of a component based on the
1969
- // variables provided by imports and additionally ensuring that all
1970
- // references to the component's defined resources are rebound to the
1971
- // fresh ones introduced just above.
1972
- for entity in exports.values_mut() {
1973
- types.remap_component_entity(entity, &mut mapping);
1974
- }
1975
- let component_type = &types[component_type_id];
1976
- let explicit_resources = component_type
1977
- .explicit_resources
1978
- .iter()
1979
- .map(|(id, path)| {
1980
- (
1981
- mapping.resources.get(id).copied().unwrap_or(*id),
1982
- path.clone(),
1983
- )
1984
- })
1985
- .collect::<IndexMap<_, _>>();
1986
-
1987
- // Technically in the last formalism that was consulted in writing this
1988
- // implementation there are two further steps that are part of the
1989
- // instantiation process:
1990
- //
1991
- // 1. The set of defined resources from the instance created, which are
1992
- // added to the outer component, is the subset of the instance's
1993
- // original defined resources and the free variables of the exports.
1994
- //
1995
- // 2. Each element of this subset is required to be "explicit in" the
1996
- // instance, or otherwise explicitly exported somewhere within the
1997
- // instance.
1998
- //
1999
- // With the syntactic structure of the component model, however, neither
2000
- // of these conditions should be necessary. The main reason for this is
2001
- // that this function is specifically dealing with instantiation of
2002
- // components which should already have these properties validated
2003
- // about them. Subsequently we shouldn't have to re-check them.
2004
- //
2005
- // In debug mode, however, do a sanity check.
2006
- if cfg!(debug_assertions) {
2007
- let mut free = IndexSet::new();
2008
- for ty in exports.values() {
2009
- types.free_variables_component_entity(ty, &mut free);
2010
- }
2011
- assert!(fresh_defined_resources.is_subset(&free));
2012
- for resource in fresh_defined_resources.iter() {
2013
- assert!(explicit_resources.contains_key(resource));
2014
- }
2015
- }
2016
-
2017
- // And as the final step of the instantiation process all of the
2018
- // new defined resources from this component instantiation are moved
2019
- // onto `self`. Note that concrete instances never have defined
2020
- // resources (see more comments in `instantiate_exports`) so the
2021
- // `defined_resources` listing in the final type is always empty. This
2022
- // represents how by having a concrete instance the definitions
2023
- // referred to in that instance are now problems for the outer
2024
- // component rather than the inner instance since the instance is bound
2025
- // to the component.
2026
- //
2027
- // All defined resources here have no known representation, so they're
2028
- // all listed with `None`. Also note that none of the resources were
2029
- // exported yet so `self.explicit_resources` is not updated yet. If
2030
- // this instance is exported, however, it'll consult the type's
2031
- // `explicit_resources` array and use that appropriately.
2032
- for resource in fresh_defined_resources {
2033
- self.defined_resources.insert(resource, None);
2034
- }
2035
-
2036
- Ok(types.push_ty(ComponentInstanceType {
2037
- info,
2038
- defined_resources: Default::default(),
2039
- explicit_resources,
2040
- exports,
2041
- }))
2042
- }
2043
-
2044
- fn instantiate_component_exports(
2045
- &mut self,
2046
- exports: Vec<crate::ComponentExport>,
2047
- features: &WasmFeatures,
2048
- types: &mut TypeAlloc,
2049
- offset: usize,
2050
- ) -> Result<ComponentInstanceTypeId> {
2051
- let mut info = TypeInfo::new();
2052
- let mut inst_exports = IndexMap::new();
2053
- let mut explicit_resources = IndexMap::new();
2054
- let mut export_names = IndexSet::new();
2055
-
2056
- // NB: It's intentional that this context is empty since no indices are
2057
- // introduced in the bag-of-exports construct which means there's no
2058
- // way syntactically to register something inside of this.
2059
- let names = ComponentNameContext::default();
2060
-
2061
- for export in exports {
2062
- assert!(export.ty.is_none());
2063
- let ty = match export.kind {
2064
- ComponentExternalKind::Module => {
2065
- ComponentEntityType::Module(self.module_at(export.index, offset)?)
2066
- }
2067
- ComponentExternalKind::Component => {
2068
- ComponentEntityType::Component(self.component_at(export.index, offset)?)
2069
- }
2070
- ComponentExternalKind::Instance => {
2071
- let ty = self.instance_at(export.index, offset)?;
2072
-
2073
- // When an instance is exported from an instance then
2074
- // all explicitly exported resources on the sub-instance are
2075
- // now also listed as exported resources on the outer
2076
- // instance, just with one more element in their path.
2077
- explicit_resources.extend(types[ty].explicit_resources.iter().map(
2078
- |(id, path)| {
2079
- let mut new_path = vec![inst_exports.len()];
2080
- new_path.extend(path);
2081
- (*id, new_path)
2082
- },
2083
- ));
2084
- ComponentEntityType::Instance(ty)
2085
- }
2086
- ComponentExternalKind::Func => {
2087
- ComponentEntityType::Func(self.function_at(export.index, offset)?)
2088
- }
2089
- ComponentExternalKind::Value => {
2090
- self.check_value_support(features, offset)?;
2091
- ComponentEntityType::Value(*self.value_at(export.index, offset)?)
2092
- }
2093
- ComponentExternalKind::Type => {
2094
- let ty = self.component_type_at(export.index, offset)?;
2095
- // If this is an export of a resource type be sure to
2096
- // record that in the explicit list with the appropriate
2097
- // path because if this instance ends up getting used
2098
- // it'll count towards the "explicit in" check.
2099
- if let ComponentAnyTypeId::Resource(id) = ty {
2100
- explicit_resources.insert(id.resource(), vec![inst_exports.len()]);
2101
- }
2102
- ComponentEntityType::Type {
2103
- referenced: ty,
2104
- // The created type index here isn't used anywhere
2105
- // in index spaces because a "bag of exports"
2106
- // doesn't build up its own index spaces. Just fill
2107
- // in the same index here in this case as what's
2108
- // referenced.
2109
- created: ty,
2110
- }
2111
- }
2112
- };
2113
-
2114
- names.validate_extern(
2115
- export.name.0,
2116
- ExternKind::Export,
2117
- &ty,
2118
- types,
2119
- offset,
2120
- &mut export_names,
2121
- &mut inst_exports,
2122
- &mut info,
2123
- )?;
2124
- }
2125
-
2126
- Ok(types.push_ty(ComponentInstanceType {
2127
- info,
2128
- explicit_resources,
2129
- exports: inst_exports,
2130
-
2131
- // NB: the list of defined resources for this instance itself
2132
- // is always empty. Even if this instance exports resources,
2133
- // it's empty.
2134
- //
2135
- // The reason for this is a bit subtle. The general idea, though, is
2136
- // that the defined resources list here is only used for instance
2137
- // types that are sort of "floating around" and haven't actually
2138
- // been attached to something yet. For example when an instance type
2139
- // is simply declared it can have defined resources introduced
2140
- // through `(export "name" (type (sub resource)))`. These
2141
- // definitions, however, are local to the instance itself and aren't
2142
- // defined elsewhere.
2143
- //
2144
- // Here, though, no new definitions were introduced. The instance
2145
- // created here is a "bag of exports" which could only refer to
2146
- // preexisting items. This means that inherently no new resources
2147
- // were created so there's nothing to put in this list. Any
2148
- // resources referenced by the instance must be bound by the outer
2149
- // component context or further above.
2150
- //
2151
- // Furthermore, however, actual instances of instances, which this
2152
- // is, aren't allowed to have defined resources. Instead the
2153
- // resources would have to be injected into the outer component
2154
- // enclosing the instance. That means that even if bag-of-exports
2155
- // could declare a new resource then the resource would be moved
2156
- // from here to `self.defined_resources`. This doesn't exist at this
2157
- // time, though, so this still remains empty and
2158
- // `self.defined_resources` remains unperturbed.
2159
- defined_resources: Default::default(),
2160
- }))
2161
- }
2162
-
2163
- fn instantiate_core_exports(
2164
- &mut self,
2165
- exports: Vec<crate::Export>,
2166
- types: &mut TypeAlloc,
2167
- offset: usize,
2168
- ) -> Result<ComponentCoreInstanceTypeId> {
2169
- fn insert_export(
2170
- types: &TypeList,
2171
- name: &str,
2172
- export: EntityType,
2173
- exports: &mut IndexMap<String, EntityType>,
2174
- info: &mut TypeInfo,
2175
- offset: usize,
2176
- ) -> Result<()> {
2177
- info.combine(export.info(types), offset)?;
2178
-
2179
- if exports.insert(name.to_string(), export).is_some() {
2180
- bail!(
2181
- offset,
2182
- "duplicate instantiation export name `{name}` already defined",
2183
- )
2184
- }
2185
-
2186
- Ok(())
2187
- }
2188
-
2189
- let mut info = TypeInfo::new();
2190
- let mut inst_exports = IndexMap::new();
2191
- for export in exports {
2192
- match export.kind {
2193
- ExternalKind::Func => {
2194
- insert_export(
2195
- types,
2196
- export.name,
2197
- EntityType::Func(self.core_function_at(export.index, offset)?),
2198
- &mut inst_exports,
2199
- &mut info,
2200
- offset,
2201
- )?;
2202
- }
2203
- ExternalKind::Table => insert_export(
2204
- types,
2205
- export.name,
2206
- EntityType::Table(*self.table_at(export.index, offset)?),
2207
- &mut inst_exports,
2208
- &mut info,
2209
- offset,
2210
- )?,
2211
- ExternalKind::Memory => insert_export(
2212
- types,
2213
- export.name,
2214
- EntityType::Memory(*self.memory_at(export.index, offset)?),
2215
- &mut inst_exports,
2216
- &mut info,
2217
- offset,
2218
- )?,
2219
- ExternalKind::Global => {
2220
- insert_export(
2221
- types,
2222
- export.name,
2223
- EntityType::Global(*self.global_at(export.index, offset)?),
2224
- &mut inst_exports,
2225
- &mut info,
2226
- offset,
2227
- )?;
2228
- }
2229
- ExternalKind::Tag => insert_export(
2230
- types,
2231
- export.name,
2232
- EntityType::Tag(self.core_function_at(export.index, offset)?),
2233
- &mut inst_exports,
2234
- &mut info,
2235
- offset,
2236
- )?,
2237
- }
2238
- }
2239
-
2240
- Ok(types.push_ty(InstanceType {
2241
- info,
2242
- kind: CoreInstanceTypeKind::Exports(inst_exports),
2243
- }))
2244
- }
2245
-
2246
- fn alias_core_instance_export(
2247
- &mut self,
2248
- instance_index: u32,
2249
- kind: ExternalKind,
2250
- name: &str,
2251
- types: &TypeList,
2252
- offset: usize,
2253
- ) -> Result<()> {
2254
- macro_rules! push_module_export {
2255
- ($expected:path, $collection:ident, $ty:literal) => {{
2256
- match self.core_instance_export(instance_index, name, types, offset)? {
2257
- $expected(ty) => {
2258
- self.$collection.push(*ty);
2259
- Ok(())
2260
- }
2261
- _ => {
2262
- bail!(
2263
- offset,
2264
- "export `{name}` for core instance {instance_index} is not a {}",
2265
- $ty
2266
- )
2267
- }
2268
- }
2269
- }};
2270
- }
2271
-
2272
- match kind {
2273
- ExternalKind::Func => {
2274
- check_max(
2275
- self.function_count(),
2276
- 1,
2277
- MAX_WASM_FUNCTIONS,
2278
- "functions",
2279
- offset,
2280
- )?;
2281
- push_module_export!(EntityType::Func, core_funcs, "function")
2282
- }
2283
- ExternalKind::Table => {
2284
- check_max(self.core_tables.len(), 1, MAX_WASM_TABLES, "tables", offset)?;
2285
- push_module_export!(EntityType::Table, core_tables, "table")
2286
- }
2287
- ExternalKind::Memory => {
2288
- check_max(
2289
- self.core_memories.len(),
2290
- 1,
2291
- MAX_WASM_MEMORIES,
2292
- "memories",
2293
- offset,
2294
- )?;
2295
- push_module_export!(EntityType::Memory, core_memories, "memory")
2296
- }
2297
- ExternalKind::Global => {
2298
- check_max(
2299
- self.core_globals.len(),
2300
- 1,
2301
- MAX_WASM_GLOBALS,
2302
- "globals",
2303
- offset,
2304
- )?;
2305
- push_module_export!(EntityType::Global, core_globals, "global")
2306
- }
2307
- ExternalKind::Tag => {
2308
- check_max(self.core_tags.len(), 1, MAX_WASM_TAGS, "tags", offset)?;
2309
- push_module_export!(EntityType::Tag, core_tags, "tag")
2310
- }
2311
- }
2312
- }
2313
-
2314
- fn alias_instance_export(
2315
- &mut self,
2316
- instance_index: u32,
2317
- kind: ComponentExternalKind,
2318
- name: &str,
2319
- features: &WasmFeatures,
2320
- types: &mut TypeAlloc,
2321
- offset: usize,
2322
- ) -> Result<()> {
2323
- if let ComponentExternalKind::Value = kind {
2324
- self.check_value_support(features, offset)?;
2325
- }
2326
- let mut ty = match types[self.instance_at(instance_index, offset)?]
2327
- .exports
2328
- .get(name)
2329
- {
2330
- Some(ty) => *ty,
2331
- None => bail!(
2332
- offset,
2333
- "instance {instance_index} has no export named `{name}`"
2334
- ),
2335
- };
2336
-
2337
- let ok = match (&ty, kind) {
2338
- (ComponentEntityType::Module(_), ComponentExternalKind::Module) => true,
2339
- (ComponentEntityType::Module(_), _) => false,
2340
- (ComponentEntityType::Component(_), ComponentExternalKind::Component) => true,
2341
- (ComponentEntityType::Component(_), _) => false,
2342
- (ComponentEntityType::Func(_), ComponentExternalKind::Func) => true,
2343
- (ComponentEntityType::Func(_), _) => false,
2344
- (ComponentEntityType::Instance(_), ComponentExternalKind::Instance) => true,
2345
- (ComponentEntityType::Instance(_), _) => false,
2346
- (ComponentEntityType::Value(_), ComponentExternalKind::Value) => true,
2347
- (ComponentEntityType::Value(_), _) => false,
2348
- (ComponentEntityType::Type { .. }, ComponentExternalKind::Type) => true,
2349
- (ComponentEntityType::Type { .. }, _) => false,
2350
- };
2351
- if !ok {
2352
- bail!(
2353
- offset,
2354
- "export `{name}` for instance {instance_index} is not a {}",
2355
- kind.desc(),
2356
- );
2357
- }
2358
-
2359
- self.add_entity(&mut ty, None, features, types, offset)?;
2360
- Ok(())
2361
- }
2362
-
2363
- fn alias_module(components: &mut [Self], count: u32, index: u32, offset: usize) -> Result<()> {
2364
- let component = Self::check_alias_count(components, count, offset)?;
2365
- let ty = component.module_at(index, offset)?;
2366
-
2367
- let current = components.last_mut().unwrap();
2368
- check_max(
2369
- current.core_modules.len(),
2370
- 1,
2371
- MAX_WASM_MODULES,
2372
- "modules",
2373
- offset,
2374
- )?;
2375
-
2376
- current.core_modules.push(ty);
2377
- Ok(())
2378
- }
2379
-
2380
- fn alias_component(
2381
- components: &mut [Self],
2382
- count: u32,
2383
- index: u32,
2384
- offset: usize,
2385
- ) -> Result<()> {
2386
- let component = Self::check_alias_count(components, count, offset)?;
2387
- let ty = component.component_at(index, offset)?;
2388
-
2389
- let current = components.last_mut().unwrap();
2390
- check_max(
2391
- current.components.len(),
2392
- 1,
2393
- MAX_WASM_COMPONENTS,
2394
- "components",
2395
- offset,
2396
- )?;
2397
-
2398
- current.components.push(ty);
2399
- Ok(())
2400
- }
2401
-
2402
- fn alias_core_type(
2403
- components: &mut [Self],
2404
- count: u32,
2405
- index: u32,
2406
- offset: usize,
2407
- ) -> Result<()> {
2408
- let component = Self::check_alias_count(components, count, offset)?;
2409
- let ty = component.core_type_at(index, offset)?;
2410
-
2411
- let current = components.last_mut().unwrap();
2412
- check_max(current.type_count(), 1, MAX_WASM_TYPES, "types", offset)?;
2413
-
2414
- current.core_types.push(ty);
2415
-
2416
- Ok(())
2417
- }
2418
-
2419
- fn alias_type(
2420
- components: &mut [Self],
2421
- count: u32,
2422
- index: u32,
2423
- types: &mut TypeAlloc,
2424
- offset: usize,
2425
- ) -> Result<()> {
2426
- let component = Self::check_alias_count(components, count, offset)?;
2427
- let ty = component.component_type_at(index, offset)?;
2428
-
2429
- // If `count` "crossed a component boundary", meaning that it went from
2430
- // one component to another, then this must additionally verify that
2431
- // `ty` has no free variables with respect to resources. This is
2432
- // intended to preserve the property for components where each component
2433
- // is an isolated unit that can theoretically be extracted from other
2434
- // components. If resources from other components were allowed to leak
2435
- // in then it would prevent that.
2436
- //
2437
- // This check is done by calculating the `pos` within `components` that
2438
- // our target `component` above was selected at. Once this is acquired
2439
- // the component to the "right" is checked, and if that's a component
2440
- // then it's considered as crossing a component boundary meaning the
2441
- // free variables check runs.
2442
- //
2443
- // The reason this works is that in the list of `ComponentState` types
2444
- // it's guaranteed that any `is_type` components are contiguous at the
2445
- // end of the array. This means that if state one level deeper than the
2446
- // target of this alias is a `!is_type` component, then the target must
2447
- // be a component as well. If the one-level deeper state `is_type` then
2448
- // the target is either a type or a component, both of which are valid
2449
- // (as aliases can reach the enclosing component and have as many free
2450
- // variables as they want).
2451
- let pos_after_component = components.len() - (count as usize);
2452
- if let Some(component) = components.get(pos_after_component) {
2453
- if component.kind == ComponentKind::Component {
2454
- let mut free = IndexSet::new();
2455
- types.free_variables_any_type_id(ty, &mut free);
2456
- if !free.is_empty() {
2457
- bail!(
2458
- offset,
2459
- "cannot alias outer type which transitively refers \
2460
- to resources not defined in the current component"
2461
- );
2462
- }
2463
- }
2464
- }
2465
-
2466
- let current = components.last_mut().unwrap();
2467
- check_max(current.type_count(), 1, MAX_WASM_TYPES, "types", offset)?;
2468
-
2469
- current.types.push(ty);
2470
-
2471
- Ok(())
2472
- }
2473
-
2474
- fn check_alias_count(components: &[Self], count: u32, offset: usize) -> Result<&Self> {
2475
- let count = count as usize;
2476
- if count >= components.len() {
2477
- bail!(offset, "invalid outer alias count of {count}");
2478
- }
2479
-
2480
- Ok(&components[components.len() - count - 1])
2481
- }
2482
-
2483
- fn create_defined_type(
2484
- &self,
2485
- ty: crate::ComponentDefinedType,
2486
- types: &TypeList,
2487
- offset: usize,
2488
- ) -> Result<ComponentDefinedType> {
2489
- match ty {
2490
- crate::ComponentDefinedType::Primitive(ty) => Ok(ComponentDefinedType::Primitive(ty)),
2491
- crate::ComponentDefinedType::Record(fields) => {
2492
- self.create_record_type(fields.as_ref(), types, offset)
2493
- }
2494
- crate::ComponentDefinedType::Variant(cases) => {
2495
- self.create_variant_type(cases.as_ref(), types, offset)
2496
- }
2497
- crate::ComponentDefinedType::List(ty) => Ok(ComponentDefinedType::List(
2498
- self.create_component_val_type(ty, offset)?,
2499
- )),
2500
- crate::ComponentDefinedType::Tuple(tys) => {
2501
- self.create_tuple_type(tys.as_ref(), types, offset)
2502
- }
2503
- crate::ComponentDefinedType::Flags(names) => {
2504
- self.create_flags_type(names.as_ref(), offset)
2505
- }
2506
- crate::ComponentDefinedType::Enum(cases) => {
2507
- self.create_enum_type(cases.as_ref(), offset)
2508
- }
2509
- crate::ComponentDefinedType::Option(ty) => Ok(ComponentDefinedType::Option(
2510
- self.create_component_val_type(ty, offset)?,
2511
- )),
2512
- crate::ComponentDefinedType::Result { ok, err } => Ok(ComponentDefinedType::Result {
2513
- ok: ok
2514
- .map(|ty| self.create_component_val_type(ty, offset))
2515
- .transpose()?,
2516
- err: err
2517
- .map(|ty| self.create_component_val_type(ty, offset))
2518
- .transpose()?,
2519
- }),
2520
- crate::ComponentDefinedType::Own(idx) => Ok(ComponentDefinedType::Own(
2521
- self.resource_at(idx, types, offset)?,
2522
- )),
2523
- crate::ComponentDefinedType::Borrow(idx) => Ok(ComponentDefinedType::Borrow(
2524
- self.resource_at(idx, types, offset)?,
2525
- )),
2526
- }
2527
- }
2528
-
2529
- fn create_record_type(
2530
- &self,
2531
- fields: &[(&str, crate::ComponentValType)],
2532
- types: &TypeList,
2533
- offset: usize,
2534
- ) -> Result<ComponentDefinedType> {
2535
- let mut info = TypeInfo::new();
2536
- let mut field_map = IndexMap::with_capacity(fields.len());
2537
-
2538
- if fields.is_empty() {
2539
- bail!(offset, "record type must have at least one field");
2540
- }
2541
-
2542
- for (name, ty) in fields {
2543
- let name = to_kebab_str(name, "record field", offset)?;
2544
- let ty = self.create_component_val_type(*ty, offset)?;
2545
-
2546
- match field_map.entry(name.to_owned()) {
2547
- Entry::Occupied(e) => bail!(
2548
- offset,
2549
- "record field name `{name}` conflicts with previous field name `{prev}`",
2550
- prev = e.key()
2551
- ),
2552
- Entry::Vacant(e) => {
2553
- info.combine(ty.info(types), offset)?;
2554
- e.insert(ty);
2555
- }
2556
- }
2557
- }
2558
-
2559
- Ok(ComponentDefinedType::Record(RecordType {
2560
- info,
2561
- fields: field_map,
2562
- }))
2563
- }
2564
-
2565
- fn create_variant_type(
2566
- &self,
2567
- cases: &[crate::VariantCase],
2568
- types: &TypeList,
2569
- offset: usize,
2570
- ) -> Result<ComponentDefinedType> {
2571
- let mut info = TypeInfo::new();
2572
- let mut case_map: IndexMap<KebabString, VariantCase> = IndexMap::with_capacity(cases.len());
2573
-
2574
- if cases.is_empty() {
2575
- bail!(offset, "variant type must have at least one case");
2576
- }
2577
-
2578
- if cases.len() > u32::MAX as usize {
2579
- return Err(BinaryReaderError::new(
2580
- "variant type cannot be represented with a 32-bit discriminant value",
2581
- offset,
2582
- ));
2583
- }
2584
-
2585
- for (i, case) in cases.iter().enumerate() {
2586
- if let Some(refines) = case.refines {
2587
- if refines >= i as u32 {
2588
- return Err(BinaryReaderError::new(
2589
- "variant case can only refine a previously defined case",
2590
- offset,
2591
- ));
2592
- }
2593
- }
2594
-
2595
- let name = to_kebab_str(case.name, "variant case", offset)?;
2596
-
2597
- let ty = case
2598
- .ty
2599
- .map(|ty| self.create_component_val_type(ty, offset))
2600
- .transpose()?;
2601
-
2602
- match case_map.entry(name.to_owned()) {
2603
- Entry::Occupied(e) => bail!(
2604
- offset,
2605
- "variant case name `{name}` conflicts with previous case name `{prev}`",
2606
- name = case.name,
2607
- prev = e.key()
2608
- ),
2609
- Entry::Vacant(e) => {
2610
- if let Some(ty) = ty {
2611
- info.combine(ty.info(types), offset)?;
2612
- }
2613
-
2614
- // Safety: the use of `KebabStr::new_unchecked` here is safe because the string
2615
- // was already verified to be kebab case.
2616
- e.insert(VariantCase {
2617
- ty,
2618
- refines: case
2619
- .refines
2620
- .map(|i| KebabStr::new_unchecked(cases[i as usize].name).to_owned()),
2621
- });
2622
- }
2623
- }
2624
- }
2625
-
2626
- Ok(ComponentDefinedType::Variant(VariantType {
2627
- info,
2628
- cases: case_map,
2629
- }))
2630
- }
2631
-
2632
- fn create_tuple_type(
2633
- &self,
2634
- tys: &[crate::ComponentValType],
2635
- types: &TypeList,
2636
- offset: usize,
2637
- ) -> Result<ComponentDefinedType> {
2638
- let mut info = TypeInfo::new();
2639
- if tys.is_empty() {
2640
- bail!(offset, "tuple type must have at least one type");
2641
- }
2642
- let types = tys
2643
- .iter()
2644
- .map(|ty| {
2645
- let ty = self.create_component_val_type(*ty, offset)?;
2646
- info.combine(ty.info(types), offset)?;
2647
- Ok(ty)
2648
- })
2649
- .collect::<Result<_>>()?;
2650
-
2651
- Ok(ComponentDefinedType::Tuple(TupleType { info, types }))
2652
- }
2653
-
2654
- fn create_flags_type(&self, names: &[&str], offset: usize) -> Result<ComponentDefinedType> {
2655
- let mut names_set = IndexSet::with_capacity(names.len());
2656
-
2657
- if names.is_empty() {
2658
- bail!(offset, "flags must have at least one entry");
2659
- }
2660
-
2661
- for name in names {
2662
- let name = to_kebab_str(name, "flag", offset)?;
2663
- if !names_set.insert(name.to_owned()) {
2664
- bail!(
2665
- offset,
2666
- "flag name `{name}` conflicts with previous flag name `{prev}`",
2667
- prev = names_set.get(name).unwrap()
2668
- );
2669
- }
2670
- }
2671
-
2672
- Ok(ComponentDefinedType::Flags(names_set))
2673
- }
2674
-
2675
- fn create_enum_type(&self, cases: &[&str], offset: usize) -> Result<ComponentDefinedType> {
2676
- if cases.len() > u32::MAX as usize {
2677
- return Err(BinaryReaderError::new(
2678
- "enumeration type cannot be represented with a 32-bit discriminant value",
2679
- offset,
2680
- ));
2681
- }
2682
-
2683
- if cases.is_empty() {
2684
- bail!(offset, "enum type must have at least one variant");
2685
- }
2686
-
2687
- let mut tags = IndexSet::with_capacity(cases.len());
2688
-
2689
- for tag in cases {
2690
- let tag = to_kebab_str(tag, "enum tag", offset)?;
2691
- if !tags.insert(tag.to_owned()) {
2692
- bail!(
2693
- offset,
2694
- "enum tag name `{tag}` conflicts with previous tag name `{prev}`",
2695
- prev = tags.get(tag).unwrap()
2696
- );
2697
- }
2698
- }
2699
-
2700
- Ok(ComponentDefinedType::Enum(tags))
2701
- }
2702
-
2703
- fn create_component_val_type(
2704
- &self,
2705
- ty: crate::ComponentValType,
2706
- offset: usize,
2707
- ) -> Result<ComponentValType> {
2708
- Ok(match ty {
2709
- crate::ComponentValType::Primitive(pt) => ComponentValType::Primitive(pt),
2710
- crate::ComponentValType::Type(idx) => {
2711
- ComponentValType::Type(self.defined_type_at(idx, offset)?)
2712
- }
2713
- })
2714
- }
2715
-
2716
- pub fn core_type_at(&self, idx: u32, offset: usize) -> Result<ComponentCoreTypeId> {
2717
- self.core_types
2718
- .get(idx as usize)
2719
- .copied()
2720
- .ok_or_else(|| format_err!(offset, "unknown type {idx}: type index out of bounds"))
2721
- }
2722
-
2723
- pub fn component_type_at(&self, idx: u32, offset: usize) -> Result<ComponentAnyTypeId> {
2724
- self.types
2725
- .get(idx as usize)
2726
- .copied()
2727
- .ok_or_else(|| format_err!(offset, "unknown type {idx}: type index out of bounds"))
2728
- }
2729
-
2730
- fn function_type_at<'a>(
2731
- &self,
2732
- idx: u32,
2733
- types: &'a TypeList,
2734
- offset: usize,
2735
- ) -> Result<&'a ComponentFuncType> {
2736
- let id = self.component_type_at(idx, offset)?;
2737
- match id {
2738
- ComponentAnyTypeId::Func(id) => Ok(&types[id]),
2739
- _ => bail!(offset, "type index {idx} is not a function type"),
2740
- }
2741
- }
2742
-
2743
- fn function_at(&self, idx: u32, offset: usize) -> Result<ComponentFuncTypeId> {
2744
- self.funcs.get(idx as usize).copied().ok_or_else(|| {
2745
- format_err!(
2746
- offset,
2747
- "unknown function {idx}: function index out of bounds"
2748
- )
2749
- })
2750
- }
2751
-
2752
- fn component_at(&self, idx: u32, offset: usize) -> Result<ComponentTypeId> {
2753
- self.components.get(idx as usize).copied().ok_or_else(|| {
2754
- format_err!(
2755
- offset,
2756
- "unknown component {idx}: component index out of bounds"
2757
- )
2758
- })
2759
- }
2760
-
2761
- fn instance_at(&self, idx: u32, offset: usize) -> Result<ComponentInstanceTypeId> {
2762
- self.instances.get(idx as usize).copied().ok_or_else(|| {
2763
- format_err!(
2764
- offset,
2765
- "unknown instance {idx}: instance index out of bounds"
2766
- )
2767
- })
2768
- }
2769
-
2770
- fn value_at(&mut self, idx: u32, offset: usize) -> Result<&ComponentValType> {
2771
- match self.values.get_mut(idx as usize) {
2772
- Some((ty, used)) if !*used => {
2773
- *used = true;
2774
- Ok(ty)
2775
- }
2776
- Some(_) => bail!(offset, "value {idx} cannot be used more than once"),
2777
- None => bail!(offset, "unknown value {idx}: value index out of bounds"),
2778
- }
2779
- }
2780
-
2781
- fn defined_type_at(&self, idx: u32, offset: usize) -> Result<ComponentDefinedTypeId> {
2782
- match self.component_type_at(idx, offset)? {
2783
- ComponentAnyTypeId::Defined(id) => Ok(id),
2784
- _ => bail!(offset, "type index {idx} is not a defined type"),
2785
- }
2786
- }
2787
-
2788
- fn core_function_at(&self, idx: u32, offset: usize) -> Result<CoreTypeId> {
2789
- match self.core_funcs.get(idx as usize) {
2790
- Some(id) => Ok(*id),
2791
- None => bail!(
2792
- offset,
2793
- "unknown core function {idx}: function index out of bounds"
2794
- ),
2795
- }
2796
- }
2797
-
2798
- fn module_at(&self, idx: u32, offset: usize) -> Result<ComponentCoreModuleTypeId> {
2799
- match self.core_modules.get(idx as usize) {
2800
- Some(id) => Ok(*id),
2801
- None => bail!(offset, "unknown module {idx}: module index out of bounds"),
2802
- }
2803
- }
2804
-
2805
- fn core_instance_at(&self, idx: u32, offset: usize) -> Result<ComponentCoreInstanceTypeId> {
2806
- match self.core_instances.get(idx as usize) {
2807
- Some(id) => Ok(*id),
2808
- None => bail!(
2809
- offset,
2810
- "unknown core instance {idx}: instance index out of bounds"
2811
- ),
2812
- }
2813
- }
2814
-
2815
- fn core_instance_export<'a>(
2816
- &self,
2817
- instance_index: u32,
2818
- name: &str,
2819
- types: &'a TypeList,
2820
- offset: usize,
2821
- ) -> Result<&'a EntityType> {
2822
- match types[self.core_instance_at(instance_index, offset)?]
2823
- .internal_exports(types)
2824
- .get(name)
2825
- {
2826
- Some(export) => Ok(export),
2827
- None => bail!(
2828
- offset,
2829
- "core instance {instance_index} has no export named `{name}`"
2830
- ),
2831
- }
2832
- }
2833
-
2834
- fn global_at(&self, idx: u32, offset: usize) -> Result<&GlobalType> {
2835
- match self.core_globals.get(idx as usize) {
2836
- Some(t) => Ok(t),
2837
- None => bail!(offset, "unknown global {idx}: global index out of bounds"),
2838
- }
2839
- }
2840
-
2841
- fn table_at(&self, idx: u32, offset: usize) -> Result<&TableType> {
2842
- match self.core_tables.get(idx as usize) {
2843
- Some(t) => Ok(t),
2844
- None => bail!(offset, "unknown table {idx}: table index out of bounds"),
2845
- }
2846
- }
2847
-
2848
- fn memory_at(&self, idx: u32, offset: usize) -> Result<&MemoryType> {
2849
- match self.core_memories.get(idx as usize) {
2850
- Some(t) => Ok(t),
2851
- None => bail!(offset, "unknown memory {idx}: memory index out of bounds"),
2852
- }
2853
- }
2854
-
2855
- /// Completes the translation of this component, performing final
2856
- /// validation of its structure.
2857
- ///
2858
- /// This method is required to be called for translating all components.
2859
- /// Internally this will convert local data structures into a
2860
- /// `ComponentType` which is suitable to use to describe the type of this
2861
- /// component.
2862
- pub fn finish(&mut self, types: &TypeAlloc, offset: usize) -> Result<ComponentType> {
2863
- let mut ty = ComponentType {
2864
- // Inherit some fields based on translation of the component.
2865
- info: self.type_info,
2866
- imports: self.imports.clone(),
2867
- exports: self.exports.clone(),
2868
-
2869
- // This is filled in as a subset of `self.defined_resources`
2870
- // depending on what's actually used by the exports. See the
2871
- // bottom of this function.
2872
- defined_resources: Default::default(),
2873
-
2874
- // These are inherited directly from what was calculated for this
2875
- // component.
2876
- imported_resources: mem::take(&mut self.imported_resources)
2877
- .into_iter()
2878
- .collect(),
2879
- explicit_resources: mem::take(&mut self.explicit_resources),
2880
- };
2881
-
2882
- // Collect all "free variables", or resources, from the imports of this
2883
- // component. None of the resources defined within this component can
2884
- // be used as part of the exports. This set is then used to reject any
2885
- // of `self.defined_resources` which show up.
2886
- let mut free = IndexSet::default();
2887
- for ty in ty.imports.values() {
2888
- types.free_variables_component_entity(ty, &mut free);
2889
- }
2890
- for (resource, _path) in self.defined_resources.iter() {
2891
- // FIXME: this error message is quite opaque and doesn't indicate
2892
- // more contextual information such as:
2893
- //
2894
- // * what was the exported resource found in the imports
2895
- // * which import was the resource found within
2896
- //
2897
- // These are possible to calculate here if necessary, however.
2898
- if free.contains(resource) {
2899
- bail!(offset, "local resource type found in imports");
2900
- }
2901
- }
2902
-
2903
- // The next step in validation a component, with respect to resources,
2904
- // is to minimize the set of defined resources to only those that
2905
- // are actually used by the exports. This weeds out resources that are
2906
- // defined, used within a component, and never exported, for example.
2907
- //
2908
- // The free variables of all exports are inserted into the `free` set
2909
- // (which is reused from the imports after clearing it). The defined
2910
- // resources calculated for this component are then inserted into this
2911
- // type's list of defined resources if it's contained somewhere in
2912
- // the free variables.
2913
- //
2914
- // Note that at the same time all defined resources must be exported,
2915
- // somehow, transitively from this component. The `explicit_resources`
2916
- // map is consulted for this purpose which lists all explicitly
2917
- // exported resources in the component, regardless from whence they
2918
- // came. If not present in this map then it's not exported and an error
2919
- // is returned.
2920
- //
2921
- // NB: the "types are exported" check is probably sufficient nowadays
2922
- // that the check of the `explicit_resources` map is probably not
2923
- // necessary, but it's left here for completeness and out of an
2924
- // abundance of caution.
2925
- free.clear();
2926
- for ty in ty.exports.values() {
2927
- types.free_variables_component_entity(ty, &mut free);
2928
- }
2929
- for (id, _rep) in mem::take(&mut self.defined_resources) {
2930
- if !free.contains(&id) {
2931
- continue;
2932
- }
2933
-
2934
- let path = match ty.explicit_resources.get(&id).cloned() {
2935
- Some(path) => path,
2936
- // FIXME: this error message is quite opaque and doesn't
2937
- // indicate more contextual information such as:
2938
- //
2939
- // * which resource wasn't found in an export
2940
- // * which export has a reference to the resource
2941
- //
2942
- // These are possible to calculate here if necessary, however.
2943
- None => bail!(
2944
- offset,
2945
- "local resource type found in export but not exported itself"
2946
- ),
2947
- };
2948
-
2949
- ty.defined_resources.push((id, path));
2950
- }
2951
-
2952
- Ok(ty)
2953
- }
2954
-
2955
- fn check_value_support(&self, features: &WasmFeatures, offset: usize) -> Result<()> {
2956
- if !features.component_model_values {
2957
- bail!(
2958
- offset,
2959
- "support for component model `value`s is not enabled"
2960
- );
2961
- }
2962
- Ok(())
2963
- }
2964
- }
2965
-
2966
- impl ComponentNameContext {
2967
- /// Registers that the resource `id` is named `name` within this context.
2968
- fn register(&mut self, name: &str, id: AliasableResourceId) {
2969
- let idx = self.all_resource_names.len();
2970
- let prev = self.resource_name_map.insert(id, idx);
2971
- assert!(
2972
- prev.is_none(),
2973
- "for {id:?}, inserted {idx:?} but already had {prev:?}"
2974
- );
2975
- self.all_resource_names.insert(name.to_string());
2976
- }
2977
-
2978
- fn validate_extern(
2979
- &self,
2980
- name: &str,
2981
- kind: ExternKind,
2982
- ty: &ComponentEntityType,
2983
- types: &TypeAlloc,
2984
- offset: usize,
2985
- kind_names: &mut IndexSet<ComponentName>,
2986
- items: &mut IndexMap<String, ComponentEntityType>,
2987
- info: &mut TypeInfo,
2988
- ) -> Result<()> {
2989
- // First validate that `name` is even a valid kebab name, meaning it's
2990
- // in kebab-case, is an ID, etc.
2991
- let kebab = ComponentName::new(name, offset)
2992
- .with_context(|| format!("{} name `{name}` is not a valid extern name", kind.desc()))?;
2993
-
2994
- if let ExternKind::Export = kind {
2995
- match kebab.kind() {
2996
- ComponentNameKind::Label(_)
2997
- | ComponentNameKind::Method(_)
2998
- | ComponentNameKind::Static(_)
2999
- | ComponentNameKind::Constructor(_)
3000
- | ComponentNameKind::Interface(_) => {}
3001
-
3002
- ComponentNameKind::Hash(_)
3003
- | ComponentNameKind::Url(_)
3004
- | ComponentNameKind::Dependency(_) => {
3005
- bail!(offset, "name `{name}` is not a valid export name")
3006
- }
3007
- }
3008
- }
3009
-
3010
- // Validate that the kebab name, if it has structure such as
3011
- // `[method]a.b`, is indeed valid with respect to known resources.
3012
- self.validate(&kebab, ty, types, offset)
3013
- .with_context(|| format!("{} name `{kebab}` is not valid", kind.desc()))?;
3014
-
3015
- // Top-level kebab-names must all be unique, even between both imports
3016
- // and exports ot a component. For those names consult the `kebab_names`
3017
- // set.
3018
- if let Some(prev) = kind_names.replace(kebab.clone()) {
3019
- bail!(
3020
- offset,
3021
- "{} name `{kebab}` conflicts with previous name `{prev}`",
3022
- kind.desc()
3023
- );
3024
- }
3025
-
3026
- // Otherwise all strings must be unique, regardless of their name, so
3027
- // consult the `items` set to ensure that we're not for example
3028
- // importing the same interface ID twice.
3029
- match items.entry(name.to_string()) {
3030
- Entry::Occupied(e) => {
3031
- bail!(
3032
- offset,
3033
- "{kind} name `{name}` conflicts with previous name `{prev}`",
3034
- kind = kind.desc(),
3035
- prev = e.key(),
3036
- );
3037
- }
3038
- Entry::Vacant(e) => {
3039
- e.insert(*ty);
3040
- info.combine(ty.info(types), offset)?;
3041
- }
3042
- }
3043
- Ok(())
3044
- }
3045
-
3046
- /// Validates that the `name` provided is allowed to have the type `ty`.
3047
- fn validate(
3048
- &self,
3049
- name: &ComponentName,
3050
- ty: &ComponentEntityType,
3051
- types: &TypeAlloc,
3052
- offset: usize,
3053
- ) -> Result<()> {
3054
- let func = || {
3055
- let id = match ty {
3056
- ComponentEntityType::Func(id) => *id,
3057
- _ => bail!(offset, "item is not a func"),
3058
- };
3059
- Ok(&types[id])
3060
- };
3061
- match name.kind() {
3062
- // No validation necessary for these styles of names
3063
- ComponentNameKind::Label(_)
3064
- | ComponentNameKind::Interface(_)
3065
- | ComponentNameKind::Url(_)
3066
- | ComponentNameKind::Dependency(_)
3067
- | ComponentNameKind::Hash(_) => {}
3068
-
3069
- // Constructors must return `(own $resource)` and the `$resource`
3070
- // must be named within this context to match `rname`
3071
- ComponentNameKind::Constructor(rname) => {
3072
- let ty = func()?;
3073
- if ty.results.len() != 1 {
3074
- bail!(offset, "function should return one value");
3075
- }
3076
- let ty = ty.results[0].1;
3077
- let resource = match ty {
3078
- ComponentValType::Primitive(_) => None,
3079
- ComponentValType::Type(ty) => match &types[ty] {
3080
- ComponentDefinedType::Own(id) => Some(id),
3081
- _ => None,
3082
- },
3083
- };
3084
- let resource = match resource {
3085
- Some(id) => id,
3086
- None => bail!(offset, "function should return `(own $T)`"),
3087
- };
3088
- self.validate_resource_name(*resource, rname, offset)?;
3089
- }
3090
-
3091
- // Methods must take `(param "self" (borrow $resource))` as the
3092
- // first argument where `$resources` matches the name `resource` as
3093
- // named in this context.
3094
- ComponentNameKind::Method(name) => {
3095
- let ty = func()?;
3096
- if ty.params.len() == 0 {
3097
- bail!(offset, "function should have at least one argument");
3098
- }
3099
- let (pname, pty) = &ty.params[0];
3100
- if pname.as_str() != "self" {
3101
- bail!(
3102
- offset,
3103
- "function should have a first argument called `self`",
3104
- );
3105
- }
3106
- let id = match pty {
3107
- ComponentValType::Primitive(_) => None,
3108
- ComponentValType::Type(ty) => match &types[*ty] {
3109
- ComponentDefinedType::Borrow(id) => Some(id),
3110
- _ => None,
3111
- },
3112
- };
3113
- let id = match id {
3114
- Some(id) => id,
3115
- None => bail!(
3116
- offset,
3117
- "function should take a first argument of `(borrow $T)`"
3118
- ),
3119
- };
3120
- self.validate_resource_name(*id, name.resource(), offset)?;
3121
- }
3122
-
3123
- // Static methods don't have much validation beyond that they must
3124
- // be a function and the resource name referred to must already be
3125
- // in this context.
3126
- ComponentNameKind::Static(name) => {
3127
- func()?;
3128
- if !self.all_resource_names.contains(name.resource().as_str()) {
3129
- bail!(offset, "static resource name is not known in this context");
3130
- }
3131
- }
3132
- }
3133
-
3134
- Ok(())
3135
- }
3136
-
3137
- fn validate_resource_name(
3138
- &self,
3139
- id: AliasableResourceId,
3140
- name: &KebabStr,
3141
- offset: usize,
3142
- ) -> Result<()> {
3143
- let expected_name_idx = match self.resource_name_map.get(&id) {
3144
- Some(idx) => *idx,
3145
- None => {
3146
- bail!(
3147
- offset,
3148
- "resource used in function does not have a name in this context"
3149
- )
3150
- }
3151
- };
3152
- let expected_name = &self.all_resource_names[expected_name_idx];
3153
- if name.as_str() != expected_name {
3154
- bail!(
3155
- offset,
3156
- "function does not match expected \
3157
- resource name `{expected_name}`"
3158
- );
3159
- }
3160
- Ok(())
3161
- }
3162
- }
3163
-
3164
- use self::append_only::*;
3165
-
3166
- mod append_only {
3167
- use indexmap::IndexMap;
3168
- use std::hash::Hash;
3169
- use std::ops::Deref;
3170
-
3171
- pub struct IndexMapAppendOnly<K, V>(IndexMap<K, V>);
3172
-
3173
- impl<K, V> IndexMapAppendOnly<K, V>
3174
- where
3175
- K: Hash + Eq + PartialEq,
3176
- {
3177
- pub fn insert(&mut self, key: K, value: V) {
3178
- let prev = self.0.insert(key, value);
3179
- assert!(prev.is_none());
3180
- }
3181
- }
3182
-
3183
- impl<K, V> Deref for IndexMapAppendOnly<K, V> {
3184
- type Target = IndexMap<K, V>;
3185
- fn deref(&self) -> &IndexMap<K, V> {
3186
- &self.0
3187
- }
3188
- }
3189
-
3190
- impl<K, V> Default for IndexMapAppendOnly<K, V> {
3191
- fn default() -> Self {
3192
- Self(Default::default())
3193
- }
3194
- }
3195
-
3196
- impl<K, V> IntoIterator for IndexMapAppendOnly<K, V> {
3197
- type IntoIter = <IndexMap<K, V> as IntoIterator>::IntoIter;
3198
- type Item = <IndexMap<K, V> as IntoIterator>::Item;
3199
- fn into_iter(self) -> Self::IntoIter {
3200
- self.0.into_iter()
3201
- }
3202
- }
3203
- }