mirror
/
go
mirror of https://github.com/golang/go.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

[dev.go2go] go/types: fix broken test case 

While at it, simplified test case a bit.

Fixes #39935.
Updates #39754.

Change-Id: Ia3b51f23807d25e62113757c51a660c7e3a9b381
Reviewed-on: https://go-review.googlesource.com/c/go/+/240478
Reviewed-by: Robert Griesemer <gri@golang.org>
This commit is contained in:
Robert Griesemer 2020-06-29 20:45:56 -07:00
parent 71c7be55eb
commit 236ad5a280
1 changed files with 8 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
src/go/types/fixedbugs/issue39754.go2
View File

@ -2,24 +2,19 @@
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.
package main
package p
type Optional(type T) struct {
p T
set bool
}
type Optional(type T) struct {}
func (o Optional(T)) Val() (T, bool) {
return o.p, true
}
func (_ Optional(T)) Val() (T, bool)
type Box(type T) interface {
Val() (T, bool)
}
func F1(type V interface{}, A, B Box(V))() {}
func f(type V interface{}, A, B Box(V))() {}
func main() {
F1(int, Optional(int), Optional(int))()
F1(int, Optional(int), Optional(string) /* ERROR "does not satisfy Box(V) (missing method Val)" */)()
}
func _() {
f(int, Optional(int), Optional(int))()
f(int, Optional(int), Optional /* ERROR does not satisfy Box */ (string))()
}