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