LLVM assertion failure with nested trait

[ashee]

My environment

amitava:l2 amitava$ uname -a
Darwin amitava.local 12.2.0 Darwin Kernel Version 12.2.0: Sat Aug 25 00:48:52 PDT 2012; root:xnu-2050.18.24~1/RELEASE_X86_64 x86_64
amitava:l2 amitava$ rustc --version
rustc 0.4 (c3f9b72 2012-09-30 21:35:32 -0700)
host: x86_64-apple-darwin

trait-test.rs

use io::println;

fn main() {
  trait Text {
    fn to_str(&self) -> ~str;
  }

  fn to_string(t: Text) {
    println(t.to_str());
  }

}

assertion failure

amitava:l2 amitava$ rustc trait-test.rs
Assertion failed: (Ty && "Invalid GetElementPtrInst indices for type!"), function checkGEPType, file /Users/amitava/opt/rust/src/rust/src/llvm/include/llvm/Instructions.h, line 705.
Abort trap: 6

[catamorphism]

Edited to make the title a little clearer.

[erickt]

I ran into different code that may be tripping over the same bug:

trait Add {
    fn to_int(&self) -> int;
    fn add_dynamic(&self, other: &Add) -> int;
}

impl int: Add {
    fn to_int(&self) -> int { *self }
    fn add_dynamic(&self, other: &Add) -> int {
        self.to_int() + other.to_int()
    }
}

fn main() { }

rustc 0.4 and HEAD errors with:

Assertion failed: (Ty && "Invalid GetElementPtrInst indices for type!"), function checkGEPType, file /Users/etryzelaar/Projects/rust/rust/src/llvm/include/llvm/Instructions.h, line 705.

[catamorphism]

@ashee 's example compiles successfully now, and @erickt 's fails with a proper type error. Thanks for the reports!