{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"{"}]}
                        {
                            &default.display_source_code(db, source_module.into(), false).ok()
                            type_substs.insert(k, make::ty(default).clone_for_update());