What version of Go are you using (go version)?

dev.go2go branch

go version devel +4dfbf5ab9c Thu Jun 25 02:57:14 2020 +0000 linux/amd64

Does this issue reproduce with the latest release?

Tried with latest commit dev.go2go branch.

What did you do?

package main

type stack(type T) []T

func main() {
	slice := []int{}

	_ = stack(slice) // Error: slice (variable of type []int) is not a type
	// _ = stack(int)(slice) // Ok
}

https://go2goplay.golang.org/p/jACGE-qTJ5L

What did you expect to see?

Type inference to work when casting to generic type though to be fair I couldn't find anything related to that specific point in the design draft.

What did you see instead?

I had to provide the type parameter, then it worked.