As per @arielb1's comment in https://github.com/rust-lang/rust/issues/35495 , E0002 "is basically a hack and should be merged into E0004". @jonathandturner , any comments?