anonymous given parse error

[bishabosha]

minimized code

trait Foo
trait Bar

given as Foo 
given as Bar
//    ^
//    not found: type as

trait C
trait Baz[A]

given as C
given [A] as Baz[A]
//    ^
//    an identifier expected, but '[' found

expectation

These should parse and are fixed by adding brackets to the above given, e.g. given as Foo {} or a newline in between.

[liufengyun]

I'm not sure if this is a bug, as the following code is valid, and we need to support given params specified in a new line:

class C
class D()
  given C

[bishabosha]

Ah, I hadn't thought of that, I found this issue through code that used to work with the previous keywords.

[nicolasstucki]

The current new line scheme supports

given as Foo 
  given Bar

which is equivalent to

given as Foo given Bar

This is a consequence of having renamed delegate to given. Now we do not know if the next given is the start of a definition or a given parameter.