cmd/gc: inconsistent handling of a 'if' clause with a boxed bool variable

[gopherbot]

by rafal.jeczalik:

What steps will reproduce the problem?
If possible, include a link to a program on play.golang.org.
http://play.golang.org/p/qgs2Q1ydez

What is the expected output?
OK
OK

What do you see instead?
invalid operation: b && (i == 0 || i == 1) (mismatched types BoxedBool and bool)

Which compiler are you using (5g, 6g, 8g, gccgo)?
6g

Which operating system are you using?
OS X 10.9

Which version are you using?  (run 'go version')
go version devel +459f7bc40d85 Mon Feb 03 11:05:51 2014 -0800 darwin/amd64

Please provide any additional information below.

[rsc]

Comment 1:

We spent a while on related issues in the spec and I think we decided to leave things as
they are. That is, I think the compiler is working as intended. But perhaps Robert can
confirm.

Labels changed: added release-go1.3.

Status changed to Thinking.

[griesemer]

Comment 2:

This is a variant of 4336: See that issue for a discussion of the involved issues. We
decided to leave as is.
Closing this one as duplicate.

Status changed to Duplicate.

Merged into issue #4336.