{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"item.span,"}]}
                                    item.span,
                                kind => span_bug!(
                                    "should be wfchecking an ADT, got {kind:?}"