ICE using HRTB

[weiznich]

Happens on the current beta release and the current nightly release.

Playground link

Code shared by the playground by clicking on report an issue:
(I'm aware that this code won't work, but rustc should not crash here)

use std::marker::PhantomData;

trait UnRef {
    type UnRef;

    fn make_owned(self) -> Self::UnRef;
}

trait FamilyLt<'a> {
    type Out: Sized;
}

struct RefValue<T>(PhantomData<T>);

impl<'a, T: 'a> FamilyLt<'a> for RefValue<T> {
    type Out = &'a T;
}

trait Extract<'a, I>: Sized {
    type Raw;
    type Out;

    fn extract(&'a self) -> Self::Out;
}
struct TupleIndex1;
struct TupleIndex2;

impl<'a, A: 'a, B: 'a> Extract<'a, TupleIndex1> for (A, B) {
    type Raw = A;
    type Out = &'a A;

    fn extract(&'a self) -> &'a A {
        &self.0
    }
}

impl<'a, A: 'a, B: 'a> Extract<'a, TupleIndex2> for (A, B) {
    type Raw = B;
    type Out = &'a B;

    fn extract(&'a self) -> &'a B {
        &self.1
    }
}

impl<'a, A: 'static, B: 'static, I1, I2> Extract<'a, (I1, I2)> for (A, B)
where
    (A, B): Extract<'a, I1>,
    (A, B): Extract<'a, I2>,
{
    type Raw = (<(A, B) as Extract<'a, I1>>::Raw, <(A, B) as Extract<'a, I2>>::Raw);
    type Out = (<(A, B) as Extract<'a, I1>>::Out, <(A, B) as Extract<'a, I2>>::Out);

    fn extract(&'a self) -> Self::Out {
        (
            <(A, B) as Extract<I1>>::extract(self),
            <(A, B) as Extract<I2>>::extract(self),
        )
    }
}

impl<'a, A> UnRef for &'a A
where
    A: Clone,
{
    type UnRef = A;

    fn make_owned(self) -> A {
        self.clone()
    }
}

impl<'a, A, B> UnRef for (&'a A, &'a B)
where
    A: Clone,
    B: Clone,
{
    type UnRef = (A, B);

    fn make_owned(self) -> (A, B) {
        (self.0.clone(), self.1.clone())
    }
}

fn generic<T:'static, I, O>(t: T) 
where
    for<'a> T: Extract<'a, I, Out = O>,
    //O: UnRef,
    for<'a> <T as Extract<'a, I>>::Out: UnRef,
{
    let extracted = t.extract();
    let owned = extracted.make_owned();
}

fn main() {
    let z = Some(String::from("foo"));
    let out = {
        let a = (z.clone(), z);
        generic::<_, (TupleIndex1, TupleIndex2), _>(a);
    };
}

(Playground)

Errors:

   Compiling playground v0.0.1 (/playground)
error[E0599]: no method named `make_owned` found for type `O` in the current scope
  --> src/main.rs:92:27
   |
92 |     let owned = extracted.make_owned();
   |                           ^^^^^^^^^^
   |
   = note: the method `make_owned` exists but the following trait bounds were not satisfied:
           `&O : UnRef`
   = help: items from traits can only be used if the trait is implemented and in scope
   = note: the following trait defines an item `make_owned`, perhaps you need to implement it:
           candidate #1: `UnRef`

error[E0277]: the trait bound `for<'a> <_ as Extract<'a, (TupleIndex1, TupleIndex2)>>::Out: UnRef` is not satisfied
  --> src/main.rs:99:9
   |
99 |         generic::<_, (TupleIndex1, TupleIndex2), _>(a);
   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `for<'a> UnRef` is not implemented for `<_ as Extract<'a, (TupleIndex1, TupleIndex2)>>::Out`
   |
   = help: the following implementations were found:
             <&'a A as UnRef>
note: required by `generic`
  --> src/main.rs:85:1
   |
85 | / fn generic<T:'static, I, O>(t: T) 
86 | | where
87 | |     for<'a> T: Extract<'a, I, Out = O>,
88 | |     //O: UnRef,
...  |
92 | |     let owned = extracted.make_owned();
93 | | }
   | |_^

thread 'rustc' panicked at 'assertion failed: !ty.needs_infer() && !ty.has_placeholders()', src/librustc_typeck/check/writeback.rs:119:9
note: Run with `RUST_BACKTRACE=1` environment variable to display a backtrace.
error: aborting due to 2 previous errors

Some errors occurred: E0277, E0599.
For more information about an error, try `rustc --explain E0277`.

error: internal compiler error: unexpected panic

note: the compiler unexpectedly panicked. this is a bug.

note: we would appreciate a bug report: https://github.com/rust-lang/rust/blob/master/CONTRIBUTING.md#bug-reports

note: rustc 1.34.0-nightly (f47ec2ad5 2019-02-14) running on x86_64-unknown-linux-gnu

note: compiler flags: -C codegen-units=1 -C debuginfo=2 --crate-type bin

note: some of the compiler flags provided by cargo are hidden

error: Could not compile `playground`.

To learn more, run the command again with --verbose.

[hellow554]

Traceback:

thread 'rustc' panicked at 'assertion failed: !ty.needs_infer() && !ty.has_placeholders()', src/librustc_typeck/check/writeback.rs:119:9
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.
stack backtrace:
   0: std::sys::unix::backtrace::tracing::imp::unwind_backtrace
             at src/libstd/sys/unix/backtrace/tracing/gcc_s.rs:39
   1: std::sys_common::backtrace::_print
             at src/libstd/sys_common/backtrace.rs:70
   2: std::panicking::default_hook::{{closure}}
             at src/libstd/sys_common/backtrace.rs:58
             at src/libstd/panicking.rs:200
   3: std::panicking::default_hook
             at src/libstd/panicking.rs:215
   4: rustc::util::common::panic_hook
   5: std::panicking::rust_panic_with_hook
             at src/libstd/panicking.rs:482
   6: std::panicking::begin_panic
   7: rustc_typeck::check::writeback::WritebackCx::visit_node_id
   8: <rustc_typeck::check::writeback::WritebackCx<'cx, 'gcx, 'tcx> as rustc::hir::intravisit::Visitor<'gcx>>::visit_expr
   9: rustc::hir::intravisit::walk_expr
  10: <rustc_typeck::check::writeback::WritebackCx<'cx, 'gcx, 'tcx> as rustc::hir::intravisit::Visitor<'gcx>>::visit_expr
  11: rustc::hir::intravisit::walk_expr
  12: <rustc_typeck::check::writeback::WritebackCx<'cx, 'gcx, 'tcx> as rustc::hir::intravisit::Visitor<'gcx>>::visit_expr
  13: <rustc_typeck::check::writeback::WritebackCx<'cx, 'gcx, 'tcx> as rustc::hir::intravisit::Visitor<'gcx>>::visit_local
  14: rustc::hir::intravisit::walk_expr
  15: <rustc_typeck::check::writeback::WritebackCx<'cx, 'gcx, 'tcx> as rustc::hir::intravisit::Visitor<'gcx>>::visit_expr
  16: rustc_typeck::check::writeback::<impl rustc_typeck::check::FnCtxt<'a, 'gcx, 'tcx>>::resolve_type_vars_in_body
  17: rustc::ty::context::GlobalCtxt::enter_local
  18: rustc_typeck::check::typeck_tables_of
  19: rustc::ty::query::__query_compute::typeck_tables_of
  20: rustc::ty::query::<impl rustc::ty::query::config::QueryAccessors<'tcx> for rustc::ty::query::queries::typeck_tables_of<'tcx>>::compute
  21: rustc::dep_graph::graph::DepGraph::with_task_impl
  22: rustc::ty::query::plumbing::<impl rustc::ty::context::TyCtxt<'a, 'gcx, 'tcx>>::try_get_with
  23: rustc::ty::<impl rustc::ty::context::TyCtxt<'a, 'gcx, 'tcx>>::par_body_owners
  24: rustc_typeck::check::typeck_item_bodies
  25: rustc::ty::query::__query_compute::typeck_item_bodies
  26: rustc::ty::query::<impl rustc::ty::query::config::QueryAccessors<'tcx> for rustc::ty::query::queries::typeck_item_bodies<'tcx>>::compute
  27: rustc::dep_graph::graph::DepGraph::with_task_impl
  28: rustc::ty::query::plumbing::<impl rustc::ty::context::TyCtxt<'a, 'gcx, 'tcx>>::try_get_with
  29: rustc::util::common::time
  30: rustc_typeck::check_crate
  31: <std::thread::local::LocalKey<T>>::with
  32: rustc::ty::context::TyCtxt::create_and_enter
  33: rustc_driver::driver::compile_input
  34: rustc_driver::run_compiler_with_pool
  35: <scoped_tls::ScopedKey<T>>::set
  36: rustc_driver::run_compiler
  37: <scoped_tls::ScopedKey<T>>::set
query stack during panic:
#0 [typeck_tables_of] processing `main`
#1 [typeck_item_bodies] type-checking all item bodies
end of query stack
error: aborting due to 2 previous errors

Some errors occurred: E0277, E0599.
For more information about an error, try `rustc --explain E0277`.

error: internal compiler error: unexpected panic

note: the compiler unexpectedly panicked. this is a bug.

note: we would appreciate a bug report: https://github.com/rust-lang/rust/blob/master/CONTRIBUTING.md#bug-reports

note: rustc 1.34.0-nightly (f47ec2ad5 2019-02-14) running on x86_64-unknown-linux-gnu

note: compiler flags: -C codegen-units=1 -C debuginfo=2 --crate-type bin

[hellow554]

Possible dupe of #57843

[hellow554]

Does not panic anymore, so it has been a dupe of that references issue

[jonas-schievink]

Closing as fixed.