Fix #1463: add test case #3170

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Merged

liufengyun merged 1 commit into scala:master from dotty-staging:fix-1463

Sep 27, 2017

Contributor

liufengyun commented Sep 25, 2017

Add test case for #1463 .


          Fix scala#1463: add test case

a8db298

nicolasstucki approved these changes

View reviewed changes

liufengyun merged commit 1f5343c into scala:master

liufengyun deleted the fix-1463 branch

September 27, 2017 20:46

smarter reviewed

View reviewed changes

tests/run/i1463.scala

+                def f0(x: Any) = x match { case Bob2 => Bob2 }
+                def f1(x: Any) = x match { case Bob => Bob }
+                // def f2(x: Any): Bob.type = x match { case x @ Bob => x } // should not type check

Member

smarter Sep 27, 2017

Could you add a neg test for that?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet