ICE on trait method with type parameter bounded by trait with lifetime parameter

I think this relates to #12807 and #5121.

The following program causes rustc to crash:

// lifetimes_bug.rs
use std;

pub struct StructReader<'a> {
    marker : std::kinds::marker::ContravariantLifetime<'a>,
}

pub trait FromStructReader<'a> {
    fn new(struct_reader : StructReader<'a>) -> Self;
}

pub trait MessageReader {
    fn get_root<'a, T :FromStructReader<'a>>(&'a self) -> T;
}

pub fn main () {}

$ rustc lifetimes_bug.rs 
error: internal compiler error: No inferred index entry for unknown node (id=31)

@pnkfelix

cc @pnkfelix

Another testcase:

trait RefIterable<T> {
    fn refs<'a, Iter: Iterator<&'a T>>(&'a self) -> Iter;
}
fn main() {}

error: internal compiler error: No inferred index entry for unknown node (id=18)
note: the compiler hit an unexpected failure path. this is a bug.
note: we would appreciate a bug report: http://static.rust-lang.org/doc/master/complement-bugreport.html
note: run with `RUST_BACKTRACE=1` for a backtrace
task 'rustc' failed at '~Any', /build/rust-git/src/rust/src/libsyntax/diagnostic.rs:123

cc me

auto merge of #13261 : pnkfelix/rust/fsk-fix-12856, r=nikomatsakis

Thanks for fixing!

As far as I know, now #12857 is the only thing preventing capnproto-rust from having a safe interface.

Auto merge of rust-lang#12856 - Veykril:multi-proc-srv, r=Veykril

needless_borrows_for_generic_args: Fix for &mut

Auto merge of rust-lang#12892 - meithecatte:needless-borrows-mutrefs,…

Navigation Menu

Repository navigation

ICE on trait method with type parameter bounded by trait with lifetime parameter #12856

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

ICE on trait method with type parameter bounded by trait with lifetime parameter #12856

Description

Activity

dwrensha commented on Mar 13, 2014

Kimundi commented on Mar 20, 2014

nikomatsakis commented on Apr 2, 2014

dwrensha commented on Apr 17, 2014

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions