(&self, cx: &InstanceType)
| 971 | |
| 972 | #[doc(hidden)] |
| 973 | pub fn typecheck<Params, Return>(&self, cx: &InstanceType) -> crate::Result<()> |
| 974 | where |
| 975 | Params: crate::component::ComponentNamedList + crate::component::Lower, |
| 976 | Return: crate::component::ComponentNamedList + crate::component::Lift, |
| 977 | { |
| 978 | let ty = &self.0.types[self.0.index]; |
| 979 | Params::typecheck(&InterfaceType::Tuple(ty.params), cx)?; |
| 980 | Return::typecheck(&InterfaceType::Tuple(ty.results), cx)?; |
| 981 | Ok(()) |
| 982 | } |
| 983 | } |
| 984 | |
| 985 | /// Core module type |