{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"//"}]}
                // then the most likely explanation is that we just got the types wrong
                // If an argument is unsatisfied, and the input in its position is useless
                (true, true, true, true) => return Some(Issue::Invalid(i)),