ICE in type checker

[mbackenkoehler]

Code:

use std::ops::Add;

pub trait State: Add<Output=Self> {
    fn new() -> State<Output=Self>;
}

Output:

thread 'rustc' panicked at 'assertion failed: !ty.needs_infer()', src/librustc_typeck/lib.rs:152

Backtrace:

stack backtrace:
   1:     0x7f363e5e966e - sys::backtrace::write::ha67a6a2049d22fadIvs
   2:     0x7f363e5f1d55 - panicking::on_panic::hfa4bf0215983f759lzx
   3:     0x7f363e5b294e - rt::unwind::begin_unwind_inner::ha1b5da93bdf7e8ffC0w
   4:     0x7f363dd48d91 - rt::unwind::begin_unwind::h12043835423437895913
   5:     0x7f363de580e5 - collect::convert_method::h4805f8e025461365dEx
   6:     0x7f363de466dd - collect::convert_item::h6b6cad92074d9a24CSx
   7:     0x7f363de41407 - collect::collect_item_types::hd02205bf6b76e82bS0w
   8:     0x7f363de8df39 - check_crate::h341139d405597625laD
   9:     0x7f363eb4e199 - driver::phase_3_run_analysis_passes::closure.16542
  10:     0x7f363eb4cab1 - middle::ty::ctxt<'tcx>::create_and_enter::h9578579149294230291
  11:     0x7f363eb47991 - driver::phase_3_run_analysis_passes::h8415522514568150077
  12:     0x7f363eb2ba90 - driver::compile_input::h52c7dafd49963360Tba
  13:     0x7f363ec11a63 - run_compiler::h473c62e00f865fa9A7b
  14:     0x7f363ec0f4de - boxed::F.FnBox<A>::call_box::h10713159552398332324
  15:     0x7f363ec0ee09 - rt::unwind::try::try_fn::h16887904248528792425
  16:     0x7f363e5f184d - __rust_try
  17:     0x7f363e5dc8f7 - rt::unwind::try::inner_try::hafffff77ddacfa5fvWw
  18:     0x7f363ec0f028 - boxed::F.FnBox<A>::call_box::h5417278073590676257
  19:     0x7f363e5f0991 - sys::thread::Thread::new::thread_start::h29dca2a2cf2294b535v
  20:     0x7f3638e904a3 - start_thread
  21:     0x7f363e24e13c - clone
  22:                0x0 - <unknown>

Version: 1.3.0

[arielb1]

Minified:

pub trait Foo<T> {
    type Assoc;
}

pub trait Bar: Foo<Self> {
    fn new(&self, b: &Bar<Assoc=()>);
}

fn main() {}