[SR-1340] Implement SE-0068: Expanding Swift Self to class members and value types

[lattner]

Previous ID	SR-1340
Radar	rdar://problem/17892696
Original Reporter	@lattner
Type	New Feature
Status	Closed
Resolution	Done

Additional Detail from JIRA

Votes	14
Component/s	Compiler
Labels	New Feature, StarterBug
Assignee	@slavapestov
Priority	Medium

md5: ed5a7fa460047035b11b171886828460

is duplicated by:

• SR-4707 There should be a way to access static members of Self from instance methods without full qualification

Issue Description:

"SE-0068: Expanding Swift `Self` to class members and value types" has been accepted:
https://github.com/apple/swift-evolution/blob/master/proposals/0068-universal-self.md

This bug tracks an implementation for it.

[swift-ci]

Comment by Austin Zheng (JIRA)

Given that this is marked as `StarterBug` and the semantics are pretty straightforward, I'd like to try my hand at it.

[swift-ci]

Comment by Josef Willsher (JIRA)

An initial implementation is in this PR: #3866 – we still need to implement allowing `Self` to refer to the dynamic type of non final classes.

[swift-ci]

Comment by Austin Zheng (JIRA)

Awesome! Do you mind if I reassign the ticket to you, joewillsher (JIRA User)?

[swift-ci]

Comment by Josef Willsher (JIRA)

Not at all, thanks

[swift-ci]

Comment by erica sadun (JIRA)

Since this went to radar, is it totally dead? How did it end up?

[DevAndArtist]

Almost two years have passed, this proposal isn't implemented yet. Hmm.

[swift-ci]

Comment by Noam Tamim (JIRA)

Is there still a plan to implement this feature? When it was filed, the common "workaround" was self.dynamicType.staticMethod(). In Swift 3, this has been replaced with type(of: self).staticMethod(), which is even more annoying IMHO.
Self.staticMethod() is so obvious in Swift-world that I just typed it, expecting it to work, and was surprised that it doesn't.

[slavapestov]

Yes, it is still planned. It is a lower priority since it's not ABI, and we need to do some architectural changes to the type system before this feature can make sense for classes.

[johnno1962]

I've put forward a PR that from a functional point of view is a contender to solve this problem even if it isn’t particularly elegant: #22863