{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":".map(|(arg,"}]}
            .map(|(arg, _)| arg)
            .filter(|(_, v)| **v == ty::Invariant)
            .collect();