truncate!(int!(256)) fails to simplify in Rust

[ajewellamz]

Dafny version

4.8.1

Code to produce this issue

function method UInt16ToSeq(x: uint16): (ret: seq<uint8>)
  {
    var b0 := (x / 0x100) as uint8;
    var b1 := (x % 0x100) as uint8;
    [b0, b1]
  }

Command to run and resulting output

dafny test -t rs --function-syntax 3

What happened?

Resulting Rust code is
pub fn UInt16ToSeq(x: u16) -> Sequence {
let mut b0: u8 = (x / truncate!(int!(256), u16)) as u8;
let mut b1: u8 = (x % truncate!(int!(256), u16)) as u8;
seq![b0, b1]
}
when it ought to be
pub fn UInt16ToSeq(x: u16) -> Sequence {
let mut b0: u8 = (x / 256) as u8;
let mut b1: u8 = (x % 256) as u8;
seq![b0, b1]
}

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

Mac