{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"is_constable,"}]}
                is_constable,
            let code = traits::ObligationCauseCode::RepeatElementCopy {
                elt_span: element.span,