ICE: broken MIR with nested opaque types.

[CDirkx]

The following code produces an internal compiler error:

#![feature(impl_trait_in_bindings)]

fn foo() {
    let x : (impl Copy,) = (true,);
}

error: internal compiler error: broken MIR in DefId(0:3 ~ playground[c034]::foo[0]) (_1 = (const true,)): bad assignment ((impl std::marker::Copy,) = (bool,)): NoSolution
 --> src/lib.rs:4:28
  |
4 |     let x : (impl Copy,) = (true,);
  |                            ^^^^^^^

thread 'rustc' panicked at 'no errors encountered even though `delay_span_bug` issued', src/librustc_errors/lib.rs:360:17
stack backtrace:
   0: backtrace::backtrace::libunwind::trace
             at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86
   1: backtrace::backtrace::trace_unsynchronized
             at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66
   2: std::sys_common::backtrace::_print_fmt
             at src/libstd/sys_common/backtrace.rs:78
   3: <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt
             at src/libstd/sys_common/backtrace.rs:59
   4: core::fmt::write
             at src/libcore/fmt/mod.rs:1069
   5: std::io::Write::write_fmt
             at src/libstd/io/mod.rs:1504
   6: std::sys_common::backtrace::_print
             at src/libstd/sys_common/backtrace.rs:62
   7: std::sys_common::backtrace::print
             at src/libstd/sys_common/backtrace.rs:49
   8: std::panicking::default_hook::{{closure}}
             at src/libstd/panicking.rs:198
   9: std::panicking::default_hook
             at src/libstd/panicking.rs:218
  10: rustc_driver::report_ice
  11: std::panicking::rust_panic_with_hook
             at src/libstd/panicking.rs:515
  12: std::panicking::begin_panic
  13: <rustc_errors::HandlerInner as core::ops::drop::Drop>::drop
  14: core::ptr::drop_in_place
  15: <alloc::rc::Rc<T> as core::ops::drop::Drop>::drop
  16: core::ptr::drop_in_place
  17: rustc_interface::interface::run_compiler_in_existing_thread_pool
  18: rustc_ast::attr::with_globals
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.

error: internal compiler error: unexpected panic

(playground)

I tried various other types, bounds and concrete types, all resulting in the same ICE:

let x : Vec<impl Copy> = vec![ 0usize ];

(playground)

let x : [impl Eq; 1] = [ 'c' ];

(playground)

However, when using an anonymous binding (_) the code always compiles:

let _ : (impl Copy,) = (true,);

[DustinByfuglien]

It seems this ICE occurs not only in "well-nested" opaque types.
In the following example it occurs in more "simple" &T type when error message expected.

#![allow(incomplete_features)]
#![feature(impl_trait_in_bindings)]

fn main() {
    let ref _x: impl Sized = 5;
}

(Playground)

Errors:

   Compiling playground v0.0.1 (/playground)
error: internal compiler error: broken MIR in DefId(0:3 ~ playground[f756]::main[0]) (_1 = &(*_3)): bad assignment (&impl Sized = &i32): NoSolution
 --> src/main.rs:5:9
  |
5 |     let ref _x: impl Sized = 5;
  |         ^^^^^^

thread 'rustc' panicked at 'no errors encountered even though `delay_span_bug` issued', src/librustc_errors/lib.rs:360:17

However if we wrote

    let ref _x: impl Sized;
    _x = 5;

then no ICE occurs.

Road to #63065

[turtleslow]

I just ran into an ICE using impl_trait_in_bindings with type_alias_impl_trait. I assume it is caused by the same underlying issue:

#![feature(type_alias_impl_trait)]
#![feature(impl_trait_in_bindings)]

trait M {
    type T;
    fn get(&self) -> Self::T;
}

impl M for u8 {
    type T = impl Iterator<Item = u8>;
    fn get(&self) -> Self::T {
        0..8
    }
}

fn main() {
    let _x: &dyn M<T = impl Iterator<Item = u8>> = &2;
}