Home
last modified time | relevance | path

Searched refs:TypeChecker (Results 1 – 3 of 3) sorted by relevance

/wasmtime-44.0.1/crates/wasmtime/src/runtime/component/
H A Dtypes.rs65 type_check: fn(&TypeChecker<'a>, T, T) -> bool, in equivalent()
74 &TypeChecker { in equivalent()
95 struct TypeChecker<'a> { struct
102 impl TypeChecker<'_> { argument
319 self.0.equivalent(&other.0, TypeChecker::lists_equal) in eq()
342 self.0.equivalent(&other.0, TypeChecker::maps_equal) in eq()
419 self.0.equivalent(&other.0, TypeChecker::tuples_equal) in eq()
482 self.0.equivalent(&other.0, TypeChecker::enums_equal) in eq()
565 self.0.equivalent(&other.0, TypeChecker::flags_equal) in eq()
616 (Some(a), Some(b)) => TypeChecker { in equivalent_payload_guest()
[all …]
H A Dmatching.rs17 pub struct TypeChecker<'a> { struct
31 impl TypeChecker<'_> { impl
H A Dlinker.rs5 use crate::component::matching::{InstanceType, TypeChecker};
163 fn typecheck<'a>(&'a self, component: &'a Component) -> Result<TypeChecker<'a>> { in typecheck()
164 let mut cx = TypeChecker { in typecheck()