{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"//!"}]}
//!   Unspecialize with `Variant2`:
//!       `witness  = [Some(true), 0]`
//!     `witness  = [Variant2(Some(true), 0)]`