./issue15252.go
