Error code E0701

This error indicates that a #[non_exhaustive] attribute was incorrectly placed on something other than a struct or enum.

Erroneous code example:

#![allow(unused)]
fn main() {
#[non_exhaustive]
trait Foo { }
}