Function ezno_checker::types::calling::call_type_handle_errors

source ยท 
pub fn call_type_handle_errors<T: ReadFromFS, A: ASTImplementation>(
    ty: TypeId,
    arguments: &[UnsynthesisedArgument<'_, A>],
    input: CallingInput,
    environment: &mut Environment<'_>,
    checking_data: &mut CheckingData<'_, T, A>,
    _expected: TypeId
) -> (TypeId, Option<SpecialExpressions>)
Expand description

Also synthesise arguments in terms of expected types