swiftlang/swift

global actor annotations can be applied to inheritance clauses

Open

#86.693 aperta il 21 gen 2026

Vedi su GitHub
 (2 commenti) (0 reazioni) (0 assegnatari)Swift (10.719 fork)batch import
accepts invalidactor isolationattributesconcurrencygood first issueinheritance clausesswift 6.3type checker

Metriche repository

Star
 (69.989 star)
Metriche merge PR
 (Merge medio 7g 6h) (556 PR mergiate in 30 g)

Descrizione

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

Guida contributor

Direzione di ricerca
Indaga perché l'applicazione di @MainActor alla clausola di ereditarietà della classe Derived non viene rifiutata dal parser. Traccia il parsing delle clausole di ereditarietà e verifica come vengono gestite le annotazioni global actor, in particolare nel contesto di conformità isolate. Esamina l'AST e la logica di type checking che scarta silenziosamente tali annotazioni.
Tech stack
swift
Dominio
tooling
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Mezza giornata
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Abbastanza chiara
Prerequisiti
Swift
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
35