ICE: encode_symbol: id not found

[eholk]

While trying to combine the ReaderUtil iface in io.rs with the traitless impl on ReaderUtil, I've been running into an ICE. I've reduced the test case down to the following:

trait Reader {
}

trait ReaderUtil {
    fn read_chars(n: uint) -> ~[char];
}

impl<T: Reader> T : ReaderUtil {
    fn read_chars(_n: uint) -> ~[char] {
        // returns the (consumed offset, n_req), appends characters to &chars
        fn chars_from_bytes() -> (uint, uint) {
            (0, 0)
        }
        ~[]
    }
}

It seems to be the nested chars_from_bytes that's causing problems...

[eholk]

Ah, as in #2766, adding <T: Reader> to the inner function makes it work. An ICE doesn't seem like the right error here though.

[nikomatsakis]

Ah, as in #2766 #2766, adding
|<T: Reader>| to the inner function makes it work. An ICE doesn't seem
like the right error here though.

Indeed. :)

[nikomatsakis]

Unlike #2766, this function doesn't use the type parameter T. Weird.

[graydon]

works on trunk