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