Sequence comprehension and Type descriptors issue

[MikaelMayer]

Dafny version

latest-nightly

Code to produce this issue

const TWO_TO_THE_8: int := 0x100
newtype uint8 = x: int | 0 <= x < TWO_TO_THE_8

method Main() {
  var i: uint8 := 10;
  var s: seq<uint8> := seq(i, _ => 0);
  print s;
}

Command to run and resulting output

dafny run -t:java Example.dfy


error: method Create in class DafnySequence<T#2> cannot be applied to given types;
    _1_s = dafny.DafnySequence.Create(uint8._typeDescriptor(), _0_i, ((java.util.function.Function<java.math.BigInteger, java.lang.Byte>)(_2___v0_boxed0) -> {

What happened?

Compilation fails

Related: #3952

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

Windows