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
weissi opened this issue
Apr 14, 2021
· 3 comments
Assignees
Labels
bugA deviation from expected or documented behavior. Also: expected but undesirable behavior.compilerThe Swift compiler in itselfgenericsFeature: generic declarations and types
bugA deviation from expected or documented behavior. Also: expected but undesirable behavior.compilerThe Swift compiler in itselfgenericsFeature: generic declarations and types
Additional Detail from JIRA
md5: 76471e1930f4bfd0901075d1dc28402d
Issue Description:
This Swift program compiles and works:
but if I add
where Output.Magnitude == Input
to the type constraints, then the compilation fails withwhich is odd because there are matches for that initialiser (see the runtime
precondition
check).The failing program is
The above error is from 5.3 / 5.4, on
main
the compiler actually crashes: SR-14485The text was updated successfully, but these errors were encountered: