Functions issue in the Rust backend

[MikaelMayer]

Dafny version

Latest nightly

Code to produce this issue

newtype u8 = x : nat | x < 256
method Main() {
  print () => 1;
  print (n: u8) => n;
}

Command to run and resulting output

dafny run -t:rs file.dfy

What happened?

Two compilation errors.
Functions without arguments also required to implement the Dafny trait in the runtime.
Moreover, since now all closures borrow their parameters, we should update the runtime so that it reflects that.

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

Windows