{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"//"}]}
                // If an argument is unsatisfied, and the input in its position is useless
            match (is_input, is_arg, useless, unsatisfiable) {
                // then the most likely explanation is that we just got the types wrong