{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"pointer_kind(&last_field_ty,"}]}
                pointer_kind(&last_field_ty, table)
                    table.db.field_types(id.into())[last_field].clone().substitute(Interner, subst);
            } else {