| /wasmtime-44.0.1/crates/wasmtime/src/runtime/component/resources/ |
| H A D | host_dynamic.rs | 75 fn typecheck(ty: ResourceType) -> Option<u32> { in typecheck() method
150 fn typecheck(ty: &InterfaceType, types: &InstanceType<'_>) -> Result<()> { in typecheck() method
151 HostResource::<Dynamic, u32>::typecheck(ty, types) in typecheck()
|
| H A D | host_static.rs | 149 fn typecheck(ty: ResourceType) -> Option<()> { in typecheck() method
222 fn typecheck(ty: &InterfaceType, types: &InstanceType<'_>) -> Result<()> { in typecheck() method
223 HostResource::<Static<T>, ()>::typecheck(ty, types) in typecheck()
|
| H A D | host.rs | 34 fn typecheck(ty: ResourceType) -> Option<D>; in typecheck() method
177 match T::typecheck(cx.resource_type(t)) { in lower_to_index()
210 match T::typecheck(cx.resource_type(t)) { in lower_to_index()
277 let ty = T::typecheck(cx.resource_type(ty)).unwrap(); in lift_from_index()
318 fn typecheck(ty: &InterfaceType, types: &InstanceType<'_>) -> Result<()> { in typecheck() function
323 if T::typecheck(types.resource_type(resource)).is_none() { in typecheck()
|
| H A D | any.rs | 104 let ty = T::typecheck(ty).ok_or_else(|| crate::format_err!("resource type mismatch"))?; in try_into_host_resource()
278 fn typecheck(ty: &InterfaceType, _types: &InstanceType<'_>) -> Result<()> { in typecheck() method
|
| /wasmtime-44.0.1/crates/wasmtime/src/runtime/component/concurrent/ |
| H A D | future_stream_any.rs | 146 fn typecheck(ty: &InterfaceType, _types: &InstanceType<'_>) -> Result<()> { in typecheck() method
316 fn typecheck(ty: &InterfaceType, _types: &InstanceType<'_>) -> Result<()> { in typecheck() method
371 typecheck: fn(Option<&InterfaceType>, &InstanceType<'_>) -> Result<()>,
418 typecheck: types::typecheck_payload::<P>, in new_host()
437 Self::Host { typecheck, .. } => { in typecheck_guest()
438 typecheck(payload, types).context("future payload types differ") in typecheck_guest()
|
| /wasmtime-44.0.1/crates/wasmtime/src/runtime/func/ |
| H A D | typed.rs | 220 Params::typecheck(store.engine(), ty.params(), TypeCheckPosition::Param) in debug_typecheck()
222 Results::typecheck(store.engine(), ty.results(), TypeCheckPosition::Result) in debug_typecheck()
248 fn typecheck(engine: &Engine, actual: ValType, position: TypeCheckPosition) -> Result<()> { in typecheck() method
627 fn typecheck( in typecheck() method
653 fn typecheck( in typecheck() function
658 <(T,) as WasmParams>::typecheck(engine, params, position) in typecheck()
683 fn typecheck(
694 $t::typecheck(_engine, t, _position)?
|
| /wasmtime-44.0.1/crates/wasmtime/src/runtime/component/func/ |
| H A D | host.rs | 44 typecheck: fn(TypeFuncIndex, &InstanceType<'_>) -> Result<()>, field
87 typecheck: F::typecheck, in new()
243 pub fn typecheck(&self, ty: TypeFuncIndex, types: &InstanceType<'_>) -> Result<()> { in typecheck() method
244 (self.typecheck)(ty, types) in typecheck()
294 fn typecheck(ty: TypeFuncIndex, types: &InstanceType<'_>) -> Result<()>; in typecheck() method
625 fn typecheck(ty: TypeFuncIndex, types: &InstanceType<'_>) -> Result<()> { in typecheck() function
630 P::typecheck(&InterfaceType::Tuple(ty.params), types) in typecheck()
632 R::typecheck(&InterfaceType::Tuple(ty.results), types) in typecheck()
708 fn typecheck(ty: TypeFuncIndex, types: &InstanceType<'_>) -> Result<()> { in typecheck() function
|
| H A D | typed.rs | 749 fn typecheck(ty: &InterfaceType, types: &InstanceType<'_>) -> Result<()>; in typecheck() method
965 <$b as ComponentType>::typecheck(ty, types)
1834 fn typecheck(ty: &InterfaceType, types: &InstanceType<'_>) -> Result<()> { in typecheck() function
2081 <[T] as ComponentType>::typecheck(ty, types) in typecheck()
2137 TryHashMap::<K, V>::typecheck(ty, types) in typecheck()
2239 K::typecheck(&map_ty.key, types)?; in typecheck()
2240 V::typecheck(&map_ty.value, types)?; in typecheck()
2684 Some(ty) => T::typecheck(ty, types)?, in typecheck()
2689 Some(ty) => E::typecheck(ty, types)?, in typecheck()
3045 fn typecheck(
[all …]
|
| /wasmtime-44.0.1/crates/test-util/src/ |
| H A D | component.rs | 60 fn typecheck(ty: &InterfaceType, types: &InstanceType<'_>) -> Result<()> {
61 <$b as ComponentType>::typecheck(ty, types)
|
| /wasmtime-44.0.1/crates/wasmtime/src/runtime/component/ |
| H A D | concurrent_disabled.rs | 71 fn typecheck(_ty: &InterfaceType, _types: &InstanceType<'_>) -> Result<()> { in typecheck() method
121 fn typecheck(_ty: &InterfaceType, _types: &InstanceType<'_>) -> Result<()> { in typecheck() method
|
| H A D | func.rs | 156 self.typecheck::<Params, Return>(store, instance)?; in _typed()
160 fn typecheck<Params, Return>( in typecheck() method
172 Params::typecheck(&InterfaceType::Tuple(ty.params), &cx) in typecheck()
174 Return::typecheck(&InterfaceType::Tuple(ty.results), &cx) in typecheck()
|
| H A D | linker.rs | 163 fn typecheck<'a>(&'a self, component: &'a Component) -> Result<TypeChecker<'a>> { in typecheck() method
186 let cx = self.typecheck(&component)?; in substituted_component_type()
215 let cx = self.typecheck(&component)?; in instantiate_pre()
|
| H A D | types.rs | 580 Some(a) => T::typecheck(a, types), in typecheck_payload()
968 pub fn typecheck<Params, Return>(&self, cx: &InstanceType) -> crate::Result<()> in typecheck() method
974 Params::typecheck(&InterfaceType::Tuple(ty.params), cx)?; in typecheck()
975 Return::typecheck(&InterfaceType::Tuple(ty.results), cx)?; in typecheck()
|
| H A D | matching.rs | 174 actual.typecheck(expected, &instance_type) in func()
|
| /wasmtime-44.0.1/crates/component-macro/src/ |
| H A D | component.rs | 351 typecheck: TokenStream, in expand_record_for_component_type()
413 fn typecheck( in expand_record_for_component_type()
417 #internal::#typecheck(ty, types, &[#typecheck_argument]) in expand_record_for_component_type()
939 Ok(quote!((#name, <#ty as #wt::component::ComponentType>::typecheck),)) in expand_record()
974 quote!((#name, Some(<#ty as #wt::component::ComponentType>::typecheck)),), in expand_variant()
1026 fn typecheck( in expand_variant()
1087 fn typecheck( in expand_enum()
|
| /wasmtime-44.0.1/crates/component-macro/tests/expanded/ |
| H A D | smoke-default.rs | 124 func.typecheck::<(), ()>(&_instance_type), in new()
|
| H A D | function-new.rs | 124 func.typecheck::<(), ()>(&_instance_type), in new()
|
| H A D | function-new_concurrent.rs | 124 func.typecheck::<(), ()>(&_instance_type), in new()
|
| H A D | function-new_async.rs | 124 func.typecheck::<(), ()>(&_instance_type), in new()
|
| H A D | smoke-default_async.rs | 124 func.typecheck::<(), ()>(&_instance_type), in new()
|
| H A D | smoke-default_tracing_async.rs | 124 func.typecheck::<(), ()>(&_instance_type), in new()
|
| H A D | function-new_tracing_async.rs | 124 func.typecheck::<(), ()>(&_instance_type), in new()
|
| H A D | smoke-default_concurrent.rs | 124 func.typecheck::<(), ()>(&_instance_type), in new()
|
| H A D | worlds-with-types_concurrent.rs | 149 func.typecheck::<(), ((T, U, R),)>(&_instance_type), in new()
|
| /wasmtime-44.0.1/crates/wasmtime/src/runtime/ |
| H A D | instance.rs | 213 typecheck(module, imports, |cx, ty, item| { in typecheck_externs()
847 typecheck(module, &items, |cx, ty, item| cx.definition(ty, &item.ty()))?; in new()
1028 fn typecheck<I>( in typecheck() function
|