Fixed type inference test