ronnie
2022-10-14 1504bb53e29d3d46222c0b3ea994fc494b48e153
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
// errorcheck
 
// Copyright 2013 The Go Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.
 
// Ideal vs non-ideal bool. See issue 3915, 3923.
 
package p
 
type mybool bool
type mybool1 bool
 
var (
   x, y int = 1, 2
   c1 bool = x < y
   c2 mybool = x < y
   c3 mybool = c2 == (x < y)
   c4 mybool = c2 == (1 < 2)
   c5 mybool = 1 < 2
   c6 mybool1 = x < y
   c7 = c1 == c2 // ERROR "mismatched types|incompatible types"
   c8 = c2 == c6 // ERROR "mismatched types|incompatible types"
   c9 = c1 == c6 // ERROR "mismatched types|incompatible types"
   _ = c2 && (x < y)
   _ = c2 && (1 < 2)
   _ = c1 && c2 // ERROR "mismatched types|incompatible types"
   _ = c2 && c6 // ERROR "mismatched types|incompatible types"
   _ = c1 && c6 // ERROR "mismatched types|incompatible types"
)