{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"db.has_drop_glue("}]}
                                db.has_drop_glue(
                            .map(|(_, field_ty)| {
                                    field_ty.clone().substitute(Interner, subst),