modify frame_support trait and pallet-balances impl

substrate/frame/balances/src/impl_fungible.rs

@@ -363,6 +363,12 @@ impl<T: Config<I>, I: 'static> fungible::Balanced<T::AccountId> for Pallet<T, I>
 
 impl<T: Config<I>, I: 'static> fungible::BalancedHold<T::AccountId> for Pallet<T, I> {}
 
+impl<T: Config<I>, I: 'static> fungible::hold::DoneSlash<T::RuntimeHoldReason, T::AccountId, T::Balance> for Pallet<T, I> {
+	fn done_slash(reason: &T::RuntimeHoldReason, who: &T::AccountId, amount: T::Balance) {
+		T::DoneSlashHandler::done_slash(reason, who, amount);
+	}
+}
+
 impl<T: Config<I>, I: 'static> AccountTouch<(), T::AccountId> for Pallet<T, I> {
 	type Balance = T::Balance;
 	fn deposit_required(_: ()) -> Self::Balance {

substrate/frame/balances/src/lib.rs

@@ -234,6 +234,7 @@ pub mod pallet {
 			type MaxFreezes = VariantCountOf<Self::RuntimeFreezeReason>;
 
 			type WeightInfo = ();
+			type DoneSlashHandler = ();
 		}
 	}
 
@@ -312,6 +313,8 @@ pub mod pallet {
 		/// The maximum number of individual freeze locks that can exist on an account at any time.
 		#[pallet::constant]
 		type MaxFreezes: Get<u32>;
+
+		type DoneSlashHandler: fungible::hold::DoneSlash<Self::RuntimeHoldReason, Self::AccountId, Self::Balance>;
 	}
 
 	/// The in-code storage version.

substrate/frame/support/src/traits/tokens/fungible/hold.rs

@@ -430,7 +430,7 @@ pub trait Mutate<AccountId>:
 }
 
 /// Trait for slashing a fungible asset which can be place on hold.
-pub trait Balanced<AccountId>: super::Balanced<AccountId> + Unbalanced<AccountId> {
+pub trait Balanced<AccountId>: super::Balanced<AccountId> + Unbalanced<AccountId> + DoneSlash<Self::Reason, AccountId, Self::Balance> {
 	/// Reduce the balance of some funds on hold in an account.
 	///
 	/// The resulting imbalance is the first item of the tuple returned.
@@ -449,6 +449,16 @@ pub trait Balanced<AccountId>: super::Balanced<AccountId> + Unbalanced<AccountId
 		Self::done_slash(reason, who, decrease);
 		(credit, amount.saturating_sub(decrease))
 	}
+}
 
-	fn done_slash(_reason: &Self::Reason, _who: &AccountId, _amount: Self::Balance) {}
+pub trait DoneSlash<Reason, AccountId, Balance> {
+	fn done_slash(_reason: &Reason, _who: &AccountId, _amount: Balance) {}
 }
+
+#[impl_trait_for_tuples::impl_for_tuples(30)]
+impl<Reason, AccountId, Balance: Copy> DoneSlash<Reason, AccountId, Balance> for Tuple {
+	fn done_slash(reason: &Reason, who: &AccountId, amount: Balance) {
+		for_tuples!( #( Tuple::done_slash(reason, who, amount); )* );
+	}
+}
+

substrate/frame/support/src/traits/tokens/fungible/item_of.rs

@@ -22,6 +22,7 @@
 //!
 //! See the [`crate::traits::fungible`] doc for more information about fungible traits.
 
+use frame_support::traits::fungible::hold::DoneSlash;
 use super::*;
 use crate::traits::{
 	fungible::imbalance,
@@ -467,5 +468,16 @@ impl<
 	}
 }
 
+impl<
+	F: fungibles::BalancedHold<AccountId>,
+	A: Get<<F as fungibles::Inspect<AccountId>>::AssetId>,
+	AccountId,
+> DoneSlash<F::Reason, AccountId, F::Balance> for ItemOf<F, A, AccountId>
+{
+	fn done_slash(reason: &F::Reason, who: &AccountId, amount: F::Balance) {
+		<F as fungibles::hold::DoneSlash<F::AssetId, F::Reason, AccountId, F::Balance>>::done_slash(A::get(), reason, who, amount)
+	}
+}
+
 #[test]
 fn test() {}

substrate/frame/support/src/traits/tokens/fungible/union_of.rs

@@ -844,8 +844,8 @@ impl<
 }
 
 impl<
-		Left: fungible::BalancedHold<AccountId>,
-		Right: fungibles::BalancedHold<AccountId, Balance = Left::Balance, Reason = Left::Reason>,
+		Left: fungible::BalancedHold<AccountId> + fungible::hold::DoneSlash<Self::Reason, AccountId, Self::Balance>,
+		Right: fungibles::BalancedHold<AccountId, Balance = Left::Balance, Reason = Left::Reason> + fungibles::hold::DoneSlash<AssetKind, Left::Reason, AccountId, Left::Balance>,
 		Criterion: Convert<AssetKind, Either<(), Right::AssetId>>,
 		AssetKind: AssetId,
 		AccountId,
@@ -871,6 +871,26 @@ impl<
 		}
 	}
 }
+impl<
+	Reason,
+	Balance,
+	Left: fungible::hold::DoneSlash<Reason, AccountId, Balance>,
+	Right: fungibles::hold::DoneSlash<Right::AssetId, Reason, AccountId, Balance> + fungibles::Inspect<AccountId>,
+	Criterion: Convert<AssetKind, Either<(), Right::AssetId>>,
+	AssetKind: AssetId,
+	AccountId,
+> fungibles::hold::DoneSlash<AssetKind, Reason, AccountId, Balance> for UnionOf<Left, Right, Criterion, AssetKind, AccountId> {
+	fn done_slash(asset: AssetKind, reason: &Reason, who: &AccountId, amount: Balance) {
+		match Criterion::convert(asset.clone()) {
+			Left(()) => {
+					Left::done_slash(reason, who, amount);
+			},
+			Right(a) => {
+					Right::done_slash(a, reason, who, amount);
+			},
+		}
+	}
+}
 
 impl<
 		Left: fungible::Inspect<AccountId>,

substrate/frame/support/src/traits/tokens/fungibles/hold.rs

@@ -214,7 +214,7 @@ pub trait Unbalanced<AccountId>: Inspect<AccountId> {
 }
 
 /// Trait for slashing a fungible asset which can be place on hold.
-pub trait Balanced<AccountId>: super::Balanced<AccountId> + Unbalanced<AccountId> {
+pub trait Balanced<AccountId>: super::Balanced<AccountId> + Unbalanced<AccountId> + DoneSlash<Self::AssetId, Self::Reason, AccountId, Self::Balance> {
 	/// Reduce the balance of some funds on hold in an account.
 	///
 	/// The resulting imbalance is the first item of the tuple returned.
@@ -238,13 +238,16 @@ pub trait Balanced<AccountId>: super::Balanced<AccountId> + Unbalanced<AccountId
 		Self::done_slash(asset, reason, who, decrease);
 		(credit, amount.saturating_sub(decrease))
 	}
+}
 
-	fn done_slash(
-		_asset: Self::AssetId,
-		_reason: &Self::Reason,
-		_who: &AccountId,
-		_amount: Self::Balance,
-	) {
+pub trait DoneSlash<AssetId, Reason, AccountId, Balance> {
+	fn done_slash(_asset: AssetId, _reason: &Reason, _who: &AccountId, _amount: Balance) {}
+}
+
+#[impl_trait_for_tuples::impl_for_tuples(30)]
+impl<AssetId: Copy, Reason, AccountId, Balance: Copy> DoneSlash<AssetId, Reason, AccountId, Balance> for Tuple {
+	fn done_slash(asset_id: AssetId, reason: &Reason, who: &AccountId, amount: Balance) {
+		for_tuples!( #( Tuple::done_slash(asset_id, reason, who, amount); )* );
 	}
 }
 

substrate/frame/support/src/traits/tokens/fungibles/union_of.rs

@@ -825,8 +825,8 @@ impl<
 }
 
 impl<
-		Left: fungibles::BalancedHold<AccountId>,
-		Right: fungibles::BalancedHold<AccountId, Balance = Left::Balance, Reason = Left::Reason>,
+		Left: fungibles::BalancedHold<AccountId> + fungibles::hold::DoneSlash<Self::AssetId, Self::Reason, AccountId, Self::Balance>,
+		Right: fungibles::BalancedHold<AccountId, Balance = Left::Balance, Reason = Left::Reason> + fungibles::hold::DoneSlash<Self::AssetId, Self::Reason, AccountId, Self::Balance>,
 		Criterion: Convert<AssetKind, Either<Left::AssetId, Right::AssetId>>,
 		AssetKind: AssetId,
 		AccountId,
@@ -853,6 +853,27 @@ impl<
 	}
 }
 
+impl<
+	Reason,
+	Balance,
+	Left: fungibles::Inspect<AccountId> + fungibles::hold::DoneSlash<Left::AssetId, Reason, AccountId, Balance>,
+	Right: fungibles::Inspect<AccountId> + fungibles::hold::DoneSlash<Right::AssetId, Reason, AccountId, Balance>,
+	Criterion: Convert<AssetKind, Either<Left::AssetId, Right::AssetId>>,
+	AssetKind: AssetId,
+	AccountId,
+> fungibles::hold::DoneSlash<AssetKind, Reason, AccountId, Balance> for UnionOf<Left, Right, Criterion, AssetKind, AccountId> {
+	fn done_slash(asset: AssetKind, reason: &Reason, who: &AccountId, amount: Balance) {
+		match Criterion::convert(asset.clone()) {
+			Left(a) => {
+				Left::done_slash(a, reason, who, amount);
+			},
+			Right(a) => {
+				Right::done_slash(a, reason, who, amount);
+			},
+		}
+	}
+}
+
 impl<
 		Left: fungibles::Inspect<AccountId> + fungibles::Create<AccountId>,
 		Right: fungibles::Inspect<AccountId, Balance = Left::Balance> + fungibles::Create<AccountId>,