the compiler hit an unexpected failure path

[ghost]

It's a little vague, but I ran into this bug today. I'm not sure how to classify this bug. I'm running Mac OS X 10.9.4, and building with the latest nightly.

$ make && make run

mkdir -p build

rustc src/main.rs -o build/tinier -L rustVM/build/

src/treetraverser.rs:15:12: 15:16 error: cannot determine a type for this bounded type parameter: unconstrained type

src/treetraverser.rs:15 #[deriving(Show)]

                                   ^~~~

note: in expansion of #[deriving]

src/treetraverser.rs:15:1: 15:18 note: expansion site

src/treetraverser.rs:15:12: 15:16 error: cannot determine a type for this bounded type parameter: unconstrained type

src/treetraverser.rs:15 #[deriving(Show)]

                                   ^~~~

note: in expansion of #[deriving]

src/treetraverser.rs:15:1: 15:18 note: expansion site

error: internal compiler error: unexpected failure

note: the compiler hit an unexpected failure path. this is a bug.

note: we would appreciate a bug report: http://doc.rust-lang.org/complement-bugreport.html

note: run with `RUST_BACKTRACE=1` for a backtrace

task 'rustc' failed at 't_f should be a trait', /Users/rustbuild/src/rust-buildbot/slave/nightly-mac/build/src/librustc/middle/typeck/check/vtable.rs:572


make: *** [build] Error 101

[alexcrichton]

Can you provide the code that causes the ICE as well?

[ghost]

Sure thing. https://github.com/ueliem/TinieR/blob/master/src/treetraverser.rs is the exact file.

[klutzy]

Minimal example:

trait T {}
struct S;
impl<U> T for S {}

In @ueliem's code, #[deriving(Show)] enum VariableType<String, int> { ... } is expanded as

impl <String: ::std::fmt::Show, int: ::std::fmt::Show> ::std::fmt::Show for VariableType<String, int> { ... }

which triggers the ICE.

[klutzy]

So this seems #16562.

[klutzy]

The interesting point is that the first int in impl<...> is recognized as type parameter, but the second one in VariableType<..., int> is recognized as built-in type. So first u8 becomes unnecessary parameter which causes #16562.

(@ueliem In your example, you can remove <String, int> bound of enum definition if it is not intended)

[ghost]

Thanks, I removed that bit on the enum definition, and it compiled without the error.

[ghost]

Closing as a dupe of #16562.