Go type inference