constant assignment fails in Rust

[MikaelMayer]

Dafny version

latest-nightly

Code to produce this issue

class X {
        const c: int
        constructor(c_init: int) {
            this.c := c_init;
        }
    }

Command to run and resulting output

dafny run -t:rs

What happened?

This is a regression as it used to work

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

Windows