Open Radar

 
Summary:
switch/case could use a pattern matching protocol to provide destructuring pattern matching for arbitrary types. For example:

protocol PatternMatchable {
	typealias Pattern
	func destructure() -> Pattern
}

struct PatternMatchableThing {
	let name: String
	let homeworld: String
	
	func destructure() -> Pattern {
		return (name, homeworld)
	}
}

switch patternMatchableThing {
case PatternMatchableThing(name, homeworld):
	println("\(name) comes from \(homeworld)")
}


Steps to Reproduce:
N/A


Expected Results:
N/A


Actual Results:
N/A


Regression:
N/A


Notes:
I’m attempting to workaround this with the above-defined protocol and explicitly calling it; I don’t get nice type-matching syntax, but I’m hopeful that it can be made to work.