Variable declared in type switch clauses should be inferred
Test cases for type inference of type switch.
Merge pull request #678 from ikarienator/type-inference-in-typed-switch

Type of variable declared in type switch clauses should be inferred (Issue 680)