Why this fires¶
A bare cast from Any cannot prove that the runtime value has the requested
type, so Zolo rejects it.
let user = value as User // error[TE838]Fix it¶
Use a checked cast or flow narrowing:
if let user = value as? User { render(user) }
if value is User { render(value) }