remove block syntax in patterns

Author: liufengyun

compiler/src/dotty/tools/dotc/parsing/Parsers.scala

@@ -1564,7 +1564,6 @@ object Parsers {
      *                    |  `(' [Patterns] `)'
      *                    |  SimplePattern1 [TypeArgs] [ArgumentPatterns]
      *  SimplePattern1   ::= Path
-     *                    |  `{' Block `}'
      *                    |  SimplePattern1 `.' id
      *  PatVar           ::= id
      *                    |  `_'
@@ -1587,8 +1586,6 @@ object Parsers {
         } else wildIndent
       case LPAREN =>
         atPos(in.offset) { makeTupleOrParens(inParens(patternsOpt())) }
-      case LBRACE =>
-        dotSelectors(blockExpr())
       case XMLSTART =>
         xmlLiteralPattern()
       case _ =>

docs/docs/internals/syntax.md

@@ -202,7 +202,7 @@ ParArgumentExprs  ::=  ‘(’ ExprsInParens ‘)’
                     |  ‘(’ [ExprsInParens] PostfixExpr ‘:’ ‘_’ ‘*’ ‘)’          exprs :+ Typed(expr, Ident(wildcardStar))
 ArgumentExprs     ::=  ParArgumentExprs
                     |  [nl] BlockExpr
-BlockExpr         ::=  ‘{’ BlockExprContents ‘}’                                
+BlockExpr         ::=  ‘{’ BlockExprContents ‘}’
 BlockExprContents ::=  CaseClauses | Block
 Block             ::=  {BlockStat semi} [BlockResult]                           Block(stats, expr?)
 BlockStat         ::=  Import
@@ -234,7 +234,6 @@ SimplePattern     ::=  PatVar
                     |  XmlPattern
                     |  SimplePattern1 [TypeArgs] [ArgumentPatterns]
 SimplePattern1    ::=  Path
-                    |  ‘{’ Block ‘}’
                     |  SimplePattern1 ‘.’ id
 PatVar            ::=  varid
                     |  ‘_’

tests/neg/i1846.scala

@@ -3,17 +3,17 @@ object Test {
     val x = 42
     val Y = "42"
 
-    x match { case { 42 }           => () } // ok
+    x match { case { 42 }           => () } // error
     x match { case { 42.toString }  => () } // error
     x match { case { 42 }.toString  => () } // error
     x match { case "42".toInt       => () } // error
-    x match { case { "42".toInt }   => () } // ok
-    x match { case { "42" }.toInt   => () } // ok
-    x match { case { "42".toInt }   => () } // ok
+    x match { case { "42".toInt }   => () } // error
+    x match { case { "42" }.toInt   => () } // error
+    x match { case { "42".toInt }   => () } // error
     x match { case Y                => () } // error
     x match { case Y.toInt          => () } // ok
-    x match { case { Y.toInt }      => () } // ok
-    x match { case { Y }.toInt      => () } // ok
+    x match { case { Y.toInt }      => () } // error
+    x match { case { Y }.toInt      => () } // error
     x match { case Y.toString       => () } // error
     x match { case { Y }.toString   => () } // error
     x match { case { Y.toString }   => () } // error

tests/neg/i3812.scala

@@ -0,0 +1,14 @@
+object Test {
+  def main(args: Array[String]): Unit = {
+    val x = 42
+    val Y = "42"
+
+    x match { case { 42 }           => () } // error
+    x match { case { "42".toInt }   => () } // error
+    x match { case { "42" }.toInt   => () } // error
+    x match { case { "42".toInt }   => () } // error
+    x match { case { Y.toInt }      => () } // error
+    x match { case { Y }.toInt      => () } // error
+    x match { case Y.toInt          => () } // ok
+  }
+}

tests/run/i3812.scala

@@ -3,12 +3,6 @@ object Test {
     val x = 42
     val Y = "42"
 
-    x match { case { 42 }           => () } // ok
-    x match { case { "42".toInt }   => () } // ok
-    x match { case { "42" }.toInt   => () } // ok
-    x match { case { "42".toInt }   => () } // ok
-    x match { case { Y.toInt }      => () } // ok
-    x match { case { Y }.toInt      => () } // ok
     x match { case Y.toInt          => () } // ok
   }
 }