For the following function

func _() int {
	panic := func(interface{}) {}
	panic(0)
}

we correctly get a "missing return" error. But if the body is nested in a block

func _() int {
	{
		panic := func(interface{}) {}
		panic(0)
	}
}

go/types silently accepts the code.

The problem is the that Checker.isTerminating (in go/types/return.go) uses the wrong scope to decide if panic refers to the predeclared function or not.

Not urgent as this is a rather esoteric case.