commit 34f7622
The following program fails, but it should be OK by my reading of the draft proposal. It works when the embedded field isn't a pointer.
package main
func main() {
var s S(int)
_ = s.E
}
type S(type T) struct {
*E(T)
}
type E(type T) struct {}
It prints this error:
./prog.go2:5: s.E undefined (type instantiate୦୦S୦int has no field or method E)