Type parameters should be distinguished from lifetime variables in pretty printer

[lifthrasiir]

Type parameters (ty_param) are currently pretty-printed as 'a or 'a:foo, where the former is same as new syntax for lifetime variables (#4846, not reflected to pp yet) and confusing enough.

[catamorphism]

Not critical for 0.7, IMO. De-milestoning; nominating for milestone 2 (backwards compatible).

[catamorphism]

(bug triage) Seems like the right milestone. Still open.

[huonw]

Triage: assuming I'm interpreting the bug correct, this appears to be fixed, e.g.

fn foo<'a, T>(a: &'a int, _: T) -> &'a int {
    a
}
struct Foo<'self, T> {
    bar: &'self T
}
impl<'self, T> Foo<'self, T> {
    fn new<'a>(a: &'a T) -> Foo<'a, T> {
        Foo { bar: a }
    }
}
fn main() {}

run through rustc --pretty normal becomes

fn foo<'a, T>(a: &'a int, _: T) -> &'a int { a }
struct Foo<'self, T> {
    bar: &'self T,
}
impl <'self, T> Foo<'self, T> {
    fn new<'a>(a: &'a T) -> Foo<'a, T> { Foo{bar: a,} }
}
fn main() { }

Is this what this bug is about?

[lifthrasiir]

@huonw No, it refers a pretty-printed representation of ty_param in the compiler messages (which was occasionally shown up in pretty-printed types, e.g. Foo<'a> instead of Foo<<V#>>). I almost forgot about this bug, but looking at the history of librustc/util/ppaux.rs this bug seems to be got fixed in 4412df2, so feel free to close this bug.

[catamorphism]

As per lifthrasiir, closing