diff --git a/cmakeperf/src/commands.rs b/cmakeperf/src/commands.rs index ebfdcc3..0600ac8 100644 --- a/cmakeperf/src/commands.rs +++ b/cmakeperf/src/commands.rs @@ -144,6 +144,10 @@ pub enum DatabaseLoadError { } /// One entry from the compilation database +// +// NOTE: allow() directive added as a workaround for +// https://github.com/proptest-rs/proptest/issues/447 +#[allow(unknown_lints, non_local_definitions)] #[cfg_attr(test, derive(proptest_derive::Arbitrary))] #[derive(Clone, Debug, Deserialize, Eq, Hash, PartialEq)] #[serde(deny_unknown_fields)]