[SR-9595] Unexpected error when type checking constrained associated types #52042
Labels
bug
A deviation from expected or documented behavior. Also: expected but undesirable behavior.
compiler
The Swift compiler in itself
type checker
Area → compiler: Semantic analysis
Additional Detail from JIRA
md5: 566220f9d77423bbecc919b4912e7ab1
relates to:
Differentiable
protocol generic signature bugIssue Description:
I expect the following to compile:
... but the compiler produces a ton of warnings that don't really make sense.
The text was updated successfully, but these errors were encountered: