167def telemetryRecordJSON =
168 (lambda unrestricted value : (family JSON) .
169 (eliminate
170 JSONRenderResult
171 (lambda unrestricted current : (family JSONRenderResult) . Bytes)
172 (renderJSON value)
173 (branch JSONRendered bytes . bytes)
174 (branch JSONRenderFailed error . b"")))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.