fix boolean boxing method, so it doesn't use undefined method
add test for interface override type inference error