{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"//"}]}
                    // on the correctness, rustc would complain as necessary lang items don't seem
                    // Assume both operands are builtin so we can continue inference. No guarantee
                    // to exist anyway.