monomorphization fails with generic methods on impls

[nikomatsakis]

This test case:

impl foo for uint {
    fn with<A:copy>(a: A) -> (uint, A) {
        (self, a)
    }
}

fn main() {
    let pair = 3u.with("hi");
    assert pair == (3u, "hi");
}

yields an assertion failure:

rust: upcall fail 'Assertion did.crate != ast::local_crate failed', ../src/rustc/middle/ty.rs:2294

@pcwalton I believe this is why the --monomorphize'd version of rustc did not work.

[nikomatsakis]

just for reference, this works fine:

fn with<A:copy,B:copy>(a: A, b: B) -> (A, B) {
    (a, b)
}

fn main() {
    let pair = with(3u, "hi");
    assert pair == (3u, "hi");
}

[pcwalton]

Yes, this is the error message I saw. Paging @marijnh.

[marijnh]

You'll notice that #1736 is still open. The problem is the way def_self works in inlined methods. I'll iron this out, along with a whole bunch of other breakages of the inliner and monomorphizer, as part of that bug.

[Dretch]

I have a test case that produces a very similar assertion failure message, so I am noting it here:

fn mk () -> io::FILE_res {
    fail "doesnt seem to matter how its made"
}

fn main () {
    let _x = mk();
}

This produces (code from latest master, linux64):

rust: upcall fail 'Assertion did.crate == ast::local_crate failed', ../src/rustc/middle/trans/base.rs:698
error: internal compiler error unexpected failure