swiftlang/swift

Bad diagnostic when inheriting from class in extension

Open

#64 903 ouverte le 4 avr. 2023

Voir sur GitHub
 (21 commentaires) (0 réactions) (1 assigné)Swift (10 719 forks)batch import
bugcompilerdiagnostics qualityextensiongood first issueinheritanceswift 6.0type checker

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

The following errors are misleading and could use a rewording as clear language rules, depending on the kinds of extended and inherited types.

protocol P {}
struct S {}
class C1 {}
class C2 {}

extension C2: S {} // error: inheritance from non-protocol type 'S'
extension C2: C1 {} // error: inheritance from non-protocol type 'C1'
extension C2: C1 & P {} // error: inheritance from class-constrained protocol composition type 'C1 & P'

Environment

  • Swift version 5.9-dev (LLVM 6a04c4848990c70, Swift c1d5118c21d)

NB: How to improve on these is left as an exercise to whoever takes the issue.

Guide contributeur

Direction de recherche
Localisez l'émission de diagnostic dans la phase de vérification de type du compilateur Swift (par exemple, dans lib/Sema/) et modifiez les chaînes de messages d'erreur pour fournir des explications plus claires pour les types non protocole et les types de composition contraints par classe.
Stack technique
swift
Domaine
backend
Type d'issue
Bug
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
SwiftCompiler internals
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
60