(ty: &JitType, val: &AbiValue)
| 283 | } |
| 284 | |
| 285 | fn type_check(ty: &JitType, val: &AbiValue) -> Result<(), JitArgumentError> { |
| 286 | match (ty, val) { |
| 287 | (JitType::Int, AbiValue::Int(_)) |
| 288 | | (JitType::Float, AbiValue::Float(_)) |
| 289 | | (JitType::Bool, AbiValue::Bool(_)) => Ok(()), |
| 290 | _ => Err(JitArgumentError::ArgumentTypeMismatch), |
| 291 | } |
| 292 | } |
| 293 | |
| 294 | #[derive(Copy, Clone)] |
| 295 | union UnTypedAbiValue { |