Re: [PATCH v3 2/7] rust: types: introduce ForLt base trait for CovariantForLt
From: Danilo Krummrich
Date: Wed Jun 24 2026 - 14:06:17 EST
On Wed Jun 24, 2026 at 5:20 PM CEST, Gary Guo wrote:
> This is still unsound, as I mentioned in the last version that the prover must
> be kept.
Heh, I think I just forgot to finish this up, good catch!