// Error: 8-10 cannot access fields on type boolean
#false.ok