Sorry, for the later response. Yes, this was a Motoko bug and is fixed in 0.10.1 (released 2 weeks ago).
2 Likes
Sorry, for the later response. Yes, this was a Motoko bug and is fixed in 0.10.1 (released 2 weeks ago).