rust-analyzer doesn't like the derive(Arbitrary) generated code for enums

[avandecreme]

The following code get a non-exhaustive pattern error from rust-analyzer but compiles fine with rustc

#[derive(Arbitrary)] // non-exhaustive pattern: `_` not covered reported here
pub enum Foo {
    Bar,
    Baz
}

I think this is a rust-analyzer bug, so I opened https://github.com/rust-lang/rust-analyzer/issues/17031

However, proptest_derive could use one of the workaround I listed in the rust-analyzer issue.

[avandecreme]

This is fixed in the latest version of proptest.