ICE: 'assertion failed: (left == right) (left: 0, right: 1)', ../src/librustc_typeck/check/method/mod.rs:184

[oli-obk]

If the Add trait is missing its generic argument, rustc panics

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

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

#[lang="add"]
trait Add {}

impl Add for i32 {}

fn main() {
    let x = 5 + 6;
}

[oli-obk]

related to #9307

[steveklabnik]

Triage: still ICEs

[estebank]

No longer ICEs:

error[E0369]: binary operation `+` cannot be applied to type `{integer}`
  --> src/main.rs:13:13
   |
13 |     let x = 5 + 6;
   |             ^^^^^
   |
   = note: an implementation of `std::ops::Add` might be missing for `{integer}`