src/test/run-pass/new-impl-syntax.rs

struct Thingy {
    x: int,
    y: int
}

impl ToStr for Thingy {
    fn to_str(&self) -> ~str {
        fmt!("{ x: %d, y: %d }", self.x, self.y)
    }
}

struct PolymorphicThingy<T> {
    x: T
}

impl<T:ToStr> ToStr for PolymorphicThingy<T> {
    fn to_str(&self) -> ~str {
        self.x.to_str()
    }
}

pub fn main() {
    println(Thingy { x: 1, y: 2 }.to_str());
    println(PolymorphicThingy { x: Thingy { x: 1, y: 2 } }.to_str());
}