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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

#![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`
}