swiftlang/swift

global actor annotations can be applied to inheritance clauses

Open

#86 693 ouverte le 21 janv. 2026

Voir sur GitHub
 (2 commentaires) (0 réactions) (0 assignés)Swift (10 719 forks)batch import
accepts invalidactor isolationattributesconcurrencygood first issueinheritance clausesswift 6.3type checker

Métriques du dépôt

Stars
 (69 989 stars)
Métriques de merge PR
 (Merge moyen 7j 6h) (556 PRs mergées en 30 j)

Description

Description

This code is, as far as I understand, meaningless. It should not be accepted, even though I think it is just a no-op. I bet it is now parsed because of isolated conformances but then just silently dropped further down the line.

Reproduction

class Base {
}

class Derived: @MainActor Base {
}

Expected behavior

This should produce an error.

Environment

Apple Swift version 6.3-dev (LLVM d402ab9729f318e, Swift 2de856568572fc0) Target: arm64-apple-macosx26.0

Additional information

No response

Guide contributeur

Direction de recherche
Enquêtez sur la raison pour laquelle @MainActor appliqué à la clause d'héritage de la classe Derived n'est pas rejeté par l'analyseur syntaxique. Tracez l'analyse des clauses d'héritage et voyez comment les annotations d'acteur global sont gérées, en particulier dans le contexte des conformités isolées. Examinez l'AST et la logique de vérification de type qui supprime silencieusement ces annotations.
Stack technique
swift
Domaine
tooling
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.
Une demi journée
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.
Plutôt claire
Prérequis
Swift
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
35