pub fn const_param_default(
tcx: TyCtxt<'_>,
def_id: DefId
) -> EarlyBinder<Const<'_>>