//go:build go1.20

package versions // want "pre.go@go1.20"