{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"//!"}]}
//!     && matches!((v_1, .., v_n, w_1, .., w_m), specialize(c, (p_0, p_1, .., p_m)))
//! <=> specialize(c, p_0) does not error
//! ```