package C1

import "strings"

func example() {
	x := "foo"
	println(x[:len(x)])

	// Match, but the transformation is not sound w.r.t. possible side effects.
	println(strings.Repeat("*", 3)[:len(strings.Repeat("*", 3))])

	// No match, since second use of wildcard doesn't match first.
	println(strings.Repeat("*", 3)[:len(strings.Repeat("*", 2))])

	// Recursive match demonstrating bottom-up rewrite:
	// only after the inner replacement occurs does the outer syntax match.
	println((x[:len(x)])[:len(x[:len(x)])])
	// -> (x[:len(x)])
	// -> x
}