error[E0404]: `Add` is not a trait --> $DIR/issue-35987.rs:15:21 | 15 | impl Add for Foo { | --- ^^^ expected trait, found type parameter | | | type parameter defined here error: main function not found error: cannot continue compilation due to previous error