rust/tests/ui/lang-items/issue-31076.rs

#![feature(no_core, lang_items)]
#![no_core]

#[lang="sized"]
trait Sized {}

#[lang="add"]
trait Add<T> {}

impl Add<i32> for i32 {}

fn main() {
    let x = 5 + 6;
    //~^ ERROR cannot add `i32` to `{integer}`
    let y = 5i32 + 6i32;
    //~^ ERROR cannot add `i32` to `i32`
}
Add test Add test for incompleately implemented add trait, see issue #31076 2018-11-05 12:33:43 +00:00			`#![feature(no_core, lang_items)]`
			`#![no_core]`

			`#[lang="sized"]`
			`trait Sized {}`

			`#[lang="add"]`
			`trait Add<T> {}`

			`impl Add<i32> for i32 {}`

			`fn main() {`
			`let x = 5 + 6;`
Consider unfulfilled obligations in binop errors When encountering a binop where the types would have been accepted, if all the predicates had been fulfilled, include information about the predicates and suggest appropriate `#[derive]`s if possible. Point at trait(s) that needs to be `impl`emented. 2021-09-28 14:48:54 +00:00			//~^ ERROR cannot add `i32` to `{integer}`
update test to include concrete type (i32) 2018-11-05 13:54:10 +00:00			`let y = 5i32 + 6i32;`
Update tests 2019-12-11 22:11:32 +00:00			//~^ ERROR cannot add `i32` to `i32`
Add test Add test for incompleately implemented add trait, see issue #31076 2018-11-05 12:33:43 +00:00			`}`