Skip to content

v0.8.1 - Bug Fix Release

Choose a tag to compare

View all tags
@crumplecup crumplecup released this 17 Feb 01:16
· 1084 commits to main since this release
v0.8.1
93f45aa

elicitation v0.8.1 - Bug Fix Release

This is a patch release that fixes #[cfg(kani)] warnings in downstream crates using the #[derive(Elicit)] macro.

Fixed

#[derive(Elicit)] no longer emits unexpected_cfgs warnings (#3)

The derive macro generated code with #[cfg(kani)] attributes, causing warning spam in downstream crates:

warning: unexpected `cfg` condition name: `kani`
  --> src/games/tictactoe/position.rs:15:87
   |
15 | #[derive(..., elicitation::Elicit, ...)]
   |               ^^^^^^^^^^^^^^^^^^^

Solution: Added #[allow(unexpected_cfgs)] to generated impl blocks. Users no longer need to configure kani in their Cargo.toml.

Impact

  • Zero warnings in downstream crates using #[derive(Elicit)]
  • No API changes
  • No breaking changes
  • Backward compatible with 0.8.0

Upgrade

Update your Cargo.toml:

[dependencies]
elicitation = "0.8.1"

Run cargo update to pick up the fix.

Full Changelog: v0.8.0...v0.8.1

Assets 2
Loading