swiftlang/swift
Voir sur GitHub[SR-8811] Diagnosing Implicit Accessors for Uninhabited Types Should Be Smarter
Open
#51 319 ouverte le 20 sept. 2018
SILcompilerdiagnostics qualitygood first issueimprovement
Métriques du dépôt
- Stars
- (69 989 stars)
- Métriques de merge PR
- (Merge moyen 8j 17h) (510 PRs mergées en 30 j)
Description
| Previous ID | SR-8811 |
| Radar | None |
| Original Reporter | @CodaFi |
| Type | Improvement |
| Status | Reopened |
| Resolution |
| Votes | 0 |
| Component/s | Compiler |
| Labels | Improvement, SILDiagnostics, StarterBug |
| Assignee | None |
| Priority | Medium |
md5: fe8546f9296464e8c547c7c953e07a35
Issue Description:
Try to emit SIL for the following code
enum Empty {}
class Foo {
var x: Empty // function with uninhabited return type 'Empty' is missing call to another never-returning function on all paths
init(_ x: Empty) {
self.x = x
}
}
It's good that we error, it's dismaying that we're diagnosing an implicit declaration. In particular, we're diagnosing the getter. We should check for accessors and emit something specialized here.