f := foobar[i]
		foobar = foobar[:i] // ERROR "IsSliceInBounds"
		f()
	}
}

func make1(n int) []int {
	s := make([]int, n)
	for i := 0; i < n; i++ { // ERROR "Induction variable: limits \[0,\?\), increment 1"
		s[i] = 1 // ERROR "Proved IsInBounds$"
	}
	return s
}

func make2(n int) []int {
	s := make([]int, n)
	for i := range s { // ERROR "Induction variable: limits \[0,\?\), increment 1"

	_ = make(chan<- int, "foo" /* ERROR "cannot convert" */)
	_ = make(chan int, - /* ERROR "must not be negative" */ 10)
	_ = make(<-chan float64, 10)
	_ = make(chan chan int, n)
	_ = make(chan string, int64(n))
	_ = make(chan bool, 10.0)
	_ = make(chan bool, 10.0<<s)
        _ = &make /* ERROR "cannot take address" */ (chan bool)

	make /* ERROR "not used" */ ([]int, 10)

	var t []int
	_ = make([]int, t[0], t[1])

# (make.bash, make.bat, make.rc)....

bootgo=1.20.6

set -e

if [[ ! -f run.bash ]]; then
	echo 'make.bash must be run from $GOROOT/src' 1>&2
	exit 1
fi

if [[ "$GOBUILDTIMELOGFILE" != "" ]]; then
	echo $(LC_TIME=C date) start make.bash >"$GOBUILDTIMELOGFILE"
fi

# Test for Windows.
case "$(uname)" in
*MINGW* | *WIN32* | *CYGWIN*)
	echo 'ERROR: Do not use make.bash to build on Windows.'
	echo 'Use make.bat instead.'
	echo
	exit 1
	;;
esac

goto fail
L155:del .\cmd\dist\dist.exe
L156:goto :eof
L157:
L158::: DO NOT ADD ANY NEW CODE HERE.
L159::: The bootstrap+del above are the final step of make.bat.
L160::: If something must be added, add it to cmd/dist's cmdbootstrap,
L161::: to avoid needing three copies in three different shell languages
L162::: (make.bash, make.bat, make.rc).
L163:
L164::copydist
L165:mkdir "%GOTOOLDIR%" 2>NUL
L166:copy cmd\dist\dist.exe "%GOTOOLDIR%\"
L167:goto :eof
L168:
L169::nogoenv
L170:set GO111MODULE=off
...

Tim Hockin <******@****.***> 1625032124 -0700

			if [ ${CMD_FLAG} = true ]; then
				continue 2;
			fi

			echo -e "${red}${CMD_TARGETS}${reset}"
			make -C "${KUBE_ROOT}" "${tar}" PRINT_HELP=y
			echo "---------------------------------------------------------------------------------"

			CMD_FLAG=true
			continue 2
		fi
	done

	echo -e "${red}${tar}${reset}"
	make -C "${KUBE_ROOT}" "${tar}" PRINT_HELP=y

Russ Cox <******@****.***> 1328732807 -0500

Stephen Kitt <******@****.***> 1678807068 +0100

Benjamin Elder <******@****.***> 1547627608 -0800