go/test/fixedbugs/bug252.go