Anonymous impls on traits do not work

[brson]

Neither of these are able to resolve foo.

trait A { }

impl A {
    fn foo() -> int { 10 }
}

impl int: A { }

fn main() {
    let x = &0;
    let y = x as &A;
    y.foo();
}

trait A { }

impl A {
    fn foo() -> int { 10 }
}

impl int: A { }

fn f<T: A>(x: &T) {
    assert x.foo() == 10;
}

fn main() { }

This pattern is makes semantic sense, though it is odd and possibly useless.

[graydon]

it's not clear to me what this is supposed to do; is the impl A supposed to be an impl on an object type?

[graydon]

non-critical for 0.6, de-milestoning

[brson]

@graydon I guess that's an open question. The first test case tries to call the method on an object type and the second on a generic type that implements the trait.

[brson]

@graydon I guess that's an open question. The first test case tries to call the method on an object type and the second on a generic type that implements the trait.

[catamorphism]

I think this is obsolete, as a bare trait is no longer a type.