Kani does not yet support dyn* #1784

Activity

1. tedinski

   added

   [E] Unsupported ConstructAdd support to an unsupported constructAdd support to an unsupported construct

   [C] Feature / EnhancementA new feature request or enhancement to an existing feature.A new feature request or enhancement to an existing feature.

   on Nov 9, 2022
2. tautschnig

   added a commit that references this issue on Jul 4, 2025

   Upgrade Rust toolchain to 2025-07-04

   ...

   This issue will close once commit 58a98a4 is merged into the 'main' branch.

   58a98a4
3. github-merge-queue

   added a commit that references this issue on Jul 10, 2025

   Upgrade Rust toolchain to 2025-07-04 (#4199)

   ...

   This issue will close once commit 361ccea is merged into the 'main' branch.

   361ccea
4. thanhnguyen-aws

   closed this as completedin #4199on Jul 10, 2025