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 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63
|
// run
// Copyright 2021 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.
package main
import "fmt"
type Temp[T any] struct {
}
var temp, temp1 any
var ch any
func (it Temp[T]) HasNext() bool {
var ok bool
temp1 = <-ch.(chan T)
// test conversion of T to interface{} during an OAS2RECV
temp, ok = <-ch.(chan T)
return ok
}
type MyInt int
func (i MyInt) String() string {
return "a"
}
type Stringer interface {
String() string
}
type Temp2[T Stringer] struct {
}
var temp2 Stringer
func (it Temp2[T]) HasNext() string {
var x map[int]T
var ok bool
// test conversion of T to Stringer during an OAS2MAPR
temp2, ok = x[43]
_ = ok
return temp2.String()
}
func main() {
ch1 := make(chan int, 2)
ch1 <- 5
ch1 <- 6
ch = ch1
iter := Temp[int]{}
iter.HasNext()
iter2 := Temp2[MyInt]{}
if got, want := iter2.HasNext(), "a"; got != want {
panic(fmt.Sprintf("got %v, want %v", got, want))
}
}
|