{"ast_node_type":"import","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
    // They're not necessary to check, though, because we already check them in
    // up, then we don't want to give spurious other errors that point at the RPITITs.
    // `compare_method_predicate_entailment`.