From 011321e376131eff02b8b8694d9969071a6fa558 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Mon, 2 Dec 2019 10:46:18 +0100 Subject: [PATCH] Fix #7655: `[` can start an expression --- compiler/src/dotty/tools/dotc/parsing/Tokens.scala | 2 +- tests/pos/i7655.scala | 6 ++++++ 2 files changed, 7 insertions(+), 1 deletion(-) create mode 100644 tests/pos/i7655.scala diff --git a/compiler/src/dotty/tools/dotc/parsing/Tokens.scala b/compiler/src/dotty/tools/dotc/parsing/Tokens.scala index c51cbb7403b4..cccc7702ed01 100644 --- a/compiler/src/dotty/tools/dotc/parsing/Tokens.scala +++ b/compiler/src/dotty/tools/dotc/parsing/Tokens.scala @@ -220,7 +220,7 @@ object Tokens extends TokensCommon { USCORE, NULL, THIS, SUPER, TRUE, FALSE, RETURN, QUOTEID, XMLSTART) final val canStartExprTokens3: TokenSet = atomicExprTokens | BitSet( - LBRACE, LPAREN, INDENT, QUOTE, IF, WHILE, FOR, NEW, TRY, THROW) + LBRACE, LPAREN, LBRACKET, INDENT, QUOTE, IF, WHILE, FOR, NEW, TRY, THROW) final val canStartExprTokens2: TokenSet = canStartExprTokens3 | BitSet(DO) diff --git a/tests/pos/i7655.scala b/tests/pos/i7655.scala new file mode 100644 index 000000000000..1f1ed817267c --- /dev/null +++ b/tests/pos/i7655.scala @@ -0,0 +1,6 @@ +object bug2 { + val id: [U] => U => U = [U] => (none: U) => none + val id1: [U] => U => U = { [U] => (none: U) => none } + val id2: [U] => U => U = + [U] => (none: U) => none +}