Skip to content

rp.is_none ICE: trait bound with &'self int instantiated type #9079

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Closed
pnkfelix opened this issue Sep 9, 2013 · 1 comment
Closed

rp.is_none ICE: trait bound with &'self int instantiated type #9079

pnkfelix opened this issue Sep 9, 2013 · 1 comment

Comments

@pnkfelix
Copy link
Member

pnkfelix commented Sep 9, 2013

Test case:

trait T<X> { }

fn foo<I:T<&'self int>>() { }

fn main() { }

Transcript:

% RUST_LOG=rustc=1 rustc --version
/Users/pnkfelix/opt/rust-dbg/bin/rustc 0.8-pre (dd5c737 2013-09-08 12:05:55 -0700)
host: x86_64-apple-darwin
% RUST_LOG=rustc=1 rustc /tmp/baz.rs
task <unnamed> failed at 'assertion failed: rp.is_none()', /Users/pnkfelix/Dev/Mozilla/rust.git/src/librustc/middle/typeck/collect.rs:1108
error: internal compiler error: unexpected failure
note: the compiler hit an unexpected failure path. this is a bug
note: try running with RUST_LOG=rustc=1 to get further details and report the results to github.com/mozilla/rust/issues
task <unnamed> failed at 'explicit failure', /Users/pnkfelix/Dev/Mozilla/rust.git/src/librustc/rustc.rs:376
@pnkfelix
Copy link
Member Author

pnkfelix commented Oct 2, 2013

probable subbug of #4846. I'm closing as an assumed duplicate, but it would be good to include it as a test when #4846 gets fixed.

@pnkfelix pnkfelix closed this as completed Oct 2, 2013
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant