{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"!tcx.instantiate_and_check_impossible_predicates((def_id,"}]}
        !tcx.instantiate_and_check_impossible_predicates((def_id, &args))
    }