Every #[derive(serde::Deserialize)] on a non-empty struct with experimental diagnostics enabled triggers a "type annotations needed" error, e.g.:
#[derive(serde::Deserialize)]
struct Foo {
v: i32,
}
Minimized:
pub fn missing_field<E>() -> Result<(), E> {
loop {}
}
fn visit_map() -> Result<(), ()> {
missing_field()?;
Ok(())
}
Every
#[derive(serde::Deserialize)]on a non-empty struct with experimental diagnostics enabled triggers a "type annotations needed" error, e.g.:Minimized: