- Notifications
You must be signed in to change notification settings - Fork 10.6k
Open
Labels
bugA deviation from expected or documented behavior. Also: expected but undesirable behavior.A deviation from expected or documented behavior. Also: expected but undesirable behavior.compilerThe Swift compiler itselfThe Swift compiler itselfdiagnostics QoIBug: Diagnostics Quality of ImplementationBug: Diagnostics Quality of ImplementationexistentialsFeature: values of types like `any Collection`, `Any` and `AnyObject`; type-erased valuesFeature: values of types like `any Collection`, `Any` and `AnyObject`; type-erased valuespattern matchingFeature: pattern matchingFeature: pattern matchingpatternsFeature: patternsFeature: patternsswift 5.9tuplesFeature: tuplesFeature: tuplestype checkerArea → compiler: Semantic analysisArea → compiler: Semantic analysis
Description
Steps to reproduce
func foo(_ a: Any) { if case (0, 0) = a {} // error: type of expression is ambiguous without more context }Test case from #63992 (comment).
Environment
- Swift version 5.9-dev (LLVM 91080e65df791d6, Swift c1d5118)
Metadata
Metadata
Assignees
Labels
bugA deviation from expected or documented behavior. Also: expected but undesirable behavior.A deviation from expected or documented behavior. Also: expected but undesirable behavior.compilerThe Swift compiler itselfThe Swift compiler itselfdiagnostics QoIBug: Diagnostics Quality of ImplementationBug: Diagnostics Quality of ImplementationexistentialsFeature: values of types like `any Collection`, `Any` and `AnyObject`; type-erased valuesFeature: values of types like `any Collection`, `Any` and `AnyObject`; type-erased valuespattern matchingFeature: pattern matchingFeature: pattern matchingpatternsFeature: patternsFeature: patternsswift 5.9tuplesFeature: tuplesFeature: tuplestype checkerArea → compiler: Semantic analysisArea → compiler: Semantic analysis