{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"tcx.types.bool"}]}
                tcx.types.bool
                self.demand_suptype(rhs_span, lhs_ty, rhs_ty);
            }