Function default_wrong_type

pub fn default_wrong_type(
    args: &[PreExp],
    fun: &dyn RoocFunction,
    context: &TypeCheckerContext,
    fn_context: &FunctionContext<'_>,
) -> TransformError

Creates a type error for wrong argument types.

Arguments

• args - The actual arguments passed
• fun - The function being called
• context - Type checker context
• fn_context - Function context