Home
last modified time | relevance | path

Searched refs:TypeCheckPosition (Results 1 – 2 of 2) sorted by relevance

/wasmtime-44.0.1/crates/wasmtime/src/runtime/func/
H A Dtyped.rs220 Params::typecheck(store.engine(), ty.params(), TypeCheckPosition::Param) in debug_typecheck()
222 Results::typecheck(store.engine(), ty.results(), TypeCheckPosition::Result) in debug_typecheck()
229 pub enum TypeCheckPosition { enum
248 fn typecheck(engine: &Engine, actual: ValType, position: TypeCheckPosition) -> Result<()> { in typecheck()
255 TypeCheckPosition::Result => actual.ensure_matches(engine, &expected), in typecheck()
258 TypeCheckPosition::Param => match (expected.as_ref(), actual.as_ref()) { in typecheck()
630 position: TypeCheckPosition, in typecheck() argument
656 position: TypeCheckPosition, in typecheck() argument
686 _position: TypeCheckPosition,
/wasmtime-44.0.1/crates/wasmtime/src/runtime/
H A Dfunc.rs1404 Params::typecheck(store.engine(), ty.params(), TypeCheckPosition::Param) in typed()
1406 Results::typecheck(store.engine(), ty.results(), TypeCheckPosition::Result) in typed()