assert fail id.crate != ast::local_crate with trait inhertance and type synonyms

[pnkfelix]

% ~/Dev/Mozilla/rust.git/objdir/x86_64-apple-darwin/stage0/bin/rustc --version graphs.rs
/Users/fklock/Dev/Mozilla/rust.git/objdir/x86_64-apple-darwin/stage0/bin/rustc 0.6 (2f46b76 2013-02-04 17:42:19 -0800)
host: x86_64-apple-darwin

Compile the following Rust program graphs.rs:

trait I {}
type K = I;
impl int : K {}
fn main() {}

yields:

% RUST_LOG=rustc=1,::rt::backtrace ~/Dev/Mozilla/rust.git/objdir/x86_64-apple-darwin/stage0/bin/rustc graphs.rs
rust: task failed at 'Assertion id.crate != ast::local_crate failed', /Users/rustbuild/src/rust-buildbot/slave/snap3-mac/build/src/librustc/middle/ty.rs:3656
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', <core-macros>:15
rust: domain main @0x7fecac00c210 root task failed

[catamorphism]

Repro'd with 373504 but not critical for 0.6; de-milestoning

[catamorphism]

This is no longer accepted, as a bare trait isn't a type, and if you change the RHS of the K typedef to @I (or such), you won't be able to use it as a trait in the impl. Closing.