ICE: assertion failure "infinite recursion"

[joshlf]

The following program:

trait Any {}
impl<T> Any for T {}

fn into_option<T>(t: T) -> Option<impl Any> {
    into_option(t)
}

fn main() {
    let _ = into_option(0u8);
}

(playground link)

Produces the following compiler error:

thread 'main' panicked at 'assertion failed: `(left != right)`
  left: `impl Any`,
 right: `impl Any`: infinite recursion', librustc/traits/query/normalize.rs:130:25
note: Run with `RUST_BACKTRACE=1` for a backtrace.

Details

• rustc 1.28.0 (9634041f0 2018-07-30) running on x86_64-unknown-linux-gnu
• compiler flags: -C codegen-units=1 -C debuginfo=2 --crate-type bin

[DutchGhost]

Duplicate of #52701