Cross-crate default methods don't work

[brson]

This assumes #4101 is merged. ICE's.

trait_default_method_xc_aux.rs:

pub trait A {
    fn g() -> int { 10 }
}

impl int: A { }

trait-default-method-xc.rs

// aux-build:trait_default_method_bound_aux.rs

extern mod aux(name = "trait_default_method_bound_aux");

fn f<T: aux::A>(i: T) {
    assert i.g() == 10;
}

fn main () {
    f(0);
}

[bstrie]

Right now compiling the first file fails with error: default methods are experimental. We'll have to try reproducing once default methods are actually enabled.

[jdm]

You can build with -A default-methods to avoid the error.

[msullivan]

Cross crate default methods don't seem to work... ever. Trying to directly invoke a cross crate default method fails in typechecking.

[msullivan]

Marking that this is part of #2794 for tracking purposes.