Re: [PATCH v3 2/7] rust: types: introduce ForLt base trait for CovariantForLt

[Danilo Krummrich]

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!