{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":");"}]}
                );
                    Some(DeclContext { origin: DeclOrigin::LetExpr }),
                self.result.standard_types.bool_.clone()