[SR-11414] Final class type and Self should be treated as equivalent in class body #53815

swift-ci · 2019-09-04T03:08:10Z


Previous ID	SR-11414
Radar	None
Original Reporter	jumhyn (JIRA User)
Type	Bug
Status	Closed
Resolution	Duplicate

Additional Detail from JIRA


Votes	1
Component/s	Compiler
Labels	Bug
Assignee	None
Priority	Medium

md5: b67986a05178295a17b3ee0c76aff25b

duplicates:

SR-11176 Covariant 'Self' type cannot be referenced from a stored property initializer

is duplicated by:

SR-12023 Generics with Self on class type failing compiler

Issue Description:

The following code results in an error, but should probably compile just fine:

final class C {
    static func foo() -> Self {
        return C() // error: Cannot convert return expression of type 'C' to return type 'Self'
    }

    private init() {}
}

swift-ci transferred this issue from apple/swift-issues Apr 25, 2022

This issue was closed.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

[SR-11414] Final class type and Self should be treated as equivalent in class body #53815

[SR-11414] Final class type and Self should be treated as equivalent in class body #53815

swift-ci commented Sep 4, 2019

[SR-11414] Final class type and Self should be treated as equivalent in class body #53815

[SR-11414] Final class type and Self should be treated as equivalent in class body #53815

Comments

swift-ci commented Sep 4, 2019