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