{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":".then(||"}]}
                        .then(|| WellFormedLoc::Ty(param.def_id.expect_local())),
                    matches!(param.kind, GenericParamDefKind::Type { .. })
                    default.as_term().unwrap(),