The tip spec states that the core type of a constraint is born from the
type set of the constraint. https://tip.golang.org/ref/spec#Core_types
So the C constraint in the following program should have no core type,
because its type set is blank. But the foo function compiles okay,
which indicates the current implementation thinks C has a core type.
Maybe, the core type of a constraint should be born from the specific types
of the constraint?
package main
func main() {}
type C interface {
map[int]int
M()
}
func foo[T C]() {
var _ = make(T)
}
--
You received this message because you are subscribed to the Google Groups
"golang-nuts" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to golang-nuts+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/golang-nuts/10f7aca4-2990-483c-b0ee-c9e820f0b863n%40googlegroups.com.
