What does `var token: String { get }` require from a conforming type?

What does `var token: String { get }` require from a conforming type?

1. Readable access; the implementation may still be a mutable stored or computed property.
2. An immutable stored let property only.
3. A read-write property through every protocol value.
4. A static property on the conforming type.