pub fn evaluate_logical_operation_with_expression<'a, T: ReadFromFS, A: ASTImplementation>(
lhs: (TypeId, Span),
operator: LogicalOperator,
rhs: &'a A::Expression<'a>,
checking_data: &mut CheckingData<'_, T, A>,
environment: &mut Environment<'_>,
expecting: TypeId,
) -> Result<TypeId, ()>
Expand description
TODO strict casts!