{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":"ty.ty_adt_def()"}]}
        ty.ty_adt_def()
        // FIXME(#103640): Should we handle the case where `ty` is a projection?
    }