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!