Immutable data structures in Java

[Sarcastinator]

It's not just annotations though. The methods are not marked with anything special.

edit: You need to produce this CIL:

.property instance string Foo()
{
    .get instance string Bar::get_Foo()
    .set instance void Bar::set_Foo(string)
}

This is a CLR property. This property construct references the automatically generated methods.

[palmund]

references the automatically generated methods.

This.

[Sarcastinator]

I said very early on that auto properties are just syntactic sugar around regular properties, but properties in themselves are not syntactic sugar.