E.g., ``` struct Type; impl Type { fn a(_x: (), _y: ()) -> () { } } impl Type { fn a(_x: ()) -> () { } } fn main() { } ``` Putting the two `a`s into the same `impl` gives the expected error. From https://github.com/rust-lang/rfcs/issues/1614