Skip to content

Restore remaining uses of #![feature(associated_type_bounds)] #381

Restore remaining uses of #![feature(associated_type_bounds)]

Restore remaining uses of #![feature(associated_type_bounds)] #381

Check Kani proofs

succeeded May 2, 2024 in 2m 53s