#[link(name = "numeric",
       vers = "0.1")];
#[crate_type = "lib"];

pub trait Trig<T> {
    pure fn sin(&self) -> T;
}

pub pure fn sin<T:Trig<R>, R>(theta: &T) -> R { theta.sin() }

pub trait Angle<T>: Trig<T> {}

extern mod numeric;
use numeric::*;

fn foo<T, A:Angle<T>>(theta: A) -> T { sin(&theta) }

fn main() {}

$ rustc numeric.rs                           
warning: no debug symbols in executable (-arch x86_64)
$ RUST_LOG=rustc=1,::rt::backtrace rustc -L . main.rs
rust: task failed at 'Key not found in table: 28', /usr/local/src/rust/src/librustc/rustc.rc:1
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,::rt::backtrace to get further details and report the results to github.com/mozilla/rust/issues
rust: task failed at 'explicit failure', /usr/local/src/rust/src/librustc/rustc.rc:481
rust: domain main @0x7fa62380bc10 root task failed
rust: task failed at 'killed', /usr/local/src/rust/src/libcore/task/mod.rs:570