{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":"})"}]}
            }) => {
                sig, ident, generics, body: None, define_opaque, ..
                // FIXME(contracts): Deny contract here since it won't apply to