summary refs log tree commit diff
path: root/src/test/ui/issues/issue-31076.rs
blob: f9c35526ec3423ac371430bcaeb943ff0b896bf5 (plain)
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 `{integer}` to `{integer}`
    let y = 5i32 + 6i32;
    //~^ ERROR cannot add `i32` to `i32`
}