[SR-14510] Unexpected generic signature diagnostics on making non-trivial commutative diagram #56862
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: 55b448ae297128651310173da3638aa0
Issue Description:
This is the commutative diagram.
Unfortunately, the compiler doesn't seem too pleased about it.
Maybe it's removing the
Self.Patch: Adjoint
when it incorrectly diagnoses redundancy and that's why it's falling over when trying to accessSelf.Patch.Dual
?I don't see why this code should have any errors or warnings.
Tested with recent-ish main @ a93593a.
The text was updated successfully, but these errors were encountered: