Parse failure on Some(new C<nat>(0))

[mschlaipfer]

Dafny version

3.10.0

Code to produce this issue

class C<T> {
    constructor (x: T) {}
  }

  datatype O<T> = Some(x: T) | None

  method main() {
    // works
    var v := new C<nat>(0);
    var c := Some(v);

    // fails when inlining v
    var c2 := Some(new C<nat>(0));
  }

Command to run and resulting output

`dafny bug.dfy`

What happened?

Getting a parse error when inlining v, in the line defining c2.

bug.dfy(13,19): Error: closeparen expected
1 parse errors detected in bug.dfy

What type of operating system are you experiencing the problem on?

Mac