blob: d3b0b7118818b102070ec957c2535230255dec2b [file] [log] [blame]
package C1
import "strings"
func example() {
x := "foo"
// Match, but the transformation is not sound w.r.t. possible side effects.
println(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.
// -> (x[:len(x)])
// -> x