Allow payload-less enum cases to witness a static, get-only Self property protocol requirement. For example: protocol Foo { static var bar: Self { get } } enum Baz: Foo { case bar // Okay } Pa...