func TestCheckBinaryTypedExprInt8AddFloat32(t *testing.T) {
	env := MakeSimpleEnv()
	expectCheckError(t, `int8(0x7f) + float32(0xffffffff)`, env,
		`invalid operation: 127 + 4.29497e+09 (mismatched types int8 and float32)`,
	)
}
Test Int8 + Float32
package eval
import (
	"testing"
	"reflect"
)
func TestCheckBinaryTypedExprInt8AddInt(t *testing.T) {
	env := MakeSimpleEnv()
	expectCheckError(t, `int8(0x7f) + 4`, env,
		`constant 131 overflows int8`,
	)
}
func TestCheckBinaryTypedExprInt8AddRune(t *testing.T) {
	env := MakeSimpleEnv()
	expectCheckError(t, `int8(0x7f) + '@'`, env,
		`constant 191 overflows int8`,
	)
}
func TestCheckBinaryTypedExprInt8AddFloat(t *testing.T) {
	env := MakeSimpleEnv()
	expectCheckError(t, `int8(0x7f) + 2.0`, env,
		`constant 129 overflows int8`,
	)
}
func TestCheckBinaryTypedExprInt8AddComplex(t *testing.T) {
	env := MakeSimpleEnv()
	expectCheckError(t, `int8(0x7f) + 8.0i`, env,
		`constant 0+8i truncated to real`,
	)
}
func TestCheckBinaryTypedExprInt8AddBool(t *testing.T) {
	env := MakeSimpleEnv()
	expectCheckError(t, `int8(0x7f) + true`, env,
		`cannot convert true to type int8`,
		`invalid operation: 127 + true (mismatched types int8 and bool)`,
	)
}
func TestCheckBinaryTypedExprInt8AddString(t *testing.T) {
	env := MakeSimpleEnv()
	expectCheckError(t, `int8(0x7f) + "abc"`, env,
		`cannot convert "abc" to type int8`,
		`invalid operation: 127 + "abc" (mismatched types int8 and string)`,
	)
}
func TestCheckBinaryTypedExprInt8AddNil(t *testing.T) {
	env := MakeSimpleEnv()
	expectCheckError(t, `int8(0x7f) + nil`, env,
		`cannot convert nil to type int8`,
	)
}
func TestCheckBinaryTypedExprInt8AddInt8(t *testing.T) {
	env := MakeSimpleEnv()
	expectCheckError(t, `int8(0x7f) + int8(0x7f)`, env,
		`constant 254 overflows int8`,
	)
}
func TestCheckBinaryTypedExprInt8AddInt16(t *testing.T) {
	env := MakeSimpleEnv()
	expectCheckError(t, `int8(0x7f) + int16(0x7fff)`, env,
		`invalid operation: 127 + 32767 (mismatched types int8 and int16)`,
	)
}
func TestCheckBinaryTypedExprInt8AddInt32(t *testing.T) {
	env := MakeSimpleEnv()
	expectCheckError(t, `int8(0x7f) + int32(0x7fffffff)`, env,
		`invalid operation: 127 + 2147483647 (mismatched types int8 and int32)`,
	)
}
func TestCheckBinaryTypedExprInt8AddInt64(t *testing.T) {
	env := MakeSimpleEnv()
	expectCheckError(t, `int8(0x7f) + int64(0x7fffffffffffffff)`, env,
		`invalid operation: 127 + 9223372036854775807 (mismatched types int8 and int64)`,
	)
}
func TestCheckBinaryTypedExprInt8AddUint8(t *testing.T) {
	env := MakeSimpleEnv()
	expectCheckError(t, `int8(0x7f) + uint8(0xff)`, env,
		`invalid operation: 127 + 255 (mismatched types int8 and uint8)`,
	)
}
func TestCheckBinaryTypedExprInt8AddUint16(t *testing.T) {
	env := MakeSimpleEnv()
	expectCheckError(t, `int8(0x7f) + uint16(0xffff)`, env,
		`invalid operation: 127 + 65535 (mismatched types int8 and uint16)`,
	)
}
func TestCheckBinaryTypedExprInt8AddUint32(t *testing.T) {
	env := MakeSimpleEnv()
	expectCheckError(t, `int8(0x7f) + uint32(0xffffffff)`, env,
		`invalid operation: 127 + 4294967295 (mismatched types int8 and uint32)`,
	)
}
func TestCheckBinaryTypedExprInt8AddUint64(t *testing.T) {
	env := MakeSimpleEnv()
	expectCheckError(t, `int8(0x7f) + uint64(0xffffffffffffffff)`, env,
		`invalid operation: 127 + 18446744073709551615 (mismatched types int8 and uint64)`,
	)
}