You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
dan-zheng opened this issue
Apr 10, 2020
· 1 comment
Assignees
Labels
AutoDiffbugA deviation from expected or documented behavior. Also: expected but undesirable behavior.compilerThe Swift compiler in itselfcrashBug: A crash, i.e., an abnormal termination of software
The crash occurs because checking for a Differentiable conformance during type-checking is not sufficient, we must also check for an invalid associated type:
AutoDiffbugA deviation from expected or documented behavior. Also: expected but undesirable behavior.compilerThe Swift compiler in itselfcrashBug: A crash, i.e., an abnormal termination of software
Additional Detail from JIRA
md5: c6f00eaea2463753ead497751f503bc3
Issue Description:
This program is not valid, but the compiler shouldn't crash nonetheless.
The crash occurs because checking for a
Differentiable
conformance during type-checking is not sufficient, we must also check for an invalid associated type:I tried to find a reproducer that doesn't use
-parse-stdlib
but failed. Fixing this issue at least resolves a potential stdlib crasher.The text was updated successfully, but these errors were encountered: