From 4ed773b66660609df128d8e47708c84431e0667d Mon Sep 17 00:00:00 2001 From: "Ivan Mar (sOkam!)" <7308253+heysokam@users.noreply.github.com> Date: Sun, 8 Jun 2025 18:44:22 +0200 Subject: [PATCH] fix: `sample*[T](r: var Rand; s: set[T]): T` triggers `ProveInit` .nim/lib/pure/random.nim(425, 3) Cannot prove that 'result' is initialized. This will become a compile time error in the future. [ProveInit] --- lib/pure/random.nim | 1 + 1 file changed, 1 insertion(+) diff --git a/lib/pure/random.nim b/lib/pure/random.nim index 21303fdb641f3..ad63bea6ad208 100644 --- a/lib/pure/random.nim +++ b/lib/pure/random.nim @@ -435,6 +435,7 @@ proc sample*[T](r: var Rand; s: set[T]): T = let s = {1, 3, 5, 7, 9} assert r.sample(s) in s + result = default(T) assert card(s) != 0 var i = rand(r, card(s) - 1) for e in s: