build error E0277

[CoghettoR]

$ rustc --version
rustc 1.79.0 (129f3b996 2024-06-10)
$ cargo build --release
   Compiling autocfg v1.1.0
   Compiling libc v0.2.147
   Compiling cc v1.0.79
   Compiling proc-macro2 v1.0.66
   Compiling unicode-ident v1.0.11
   Compiling rustix v0.38.4
   Compiling linux-raw-sys v0.4.5
   Compiling typenum v1.16.0
   Compiling memchr v2.5.0
   Compiling bitflags v2.3.3
   Compiling num-traits v0.2.16
   Compiling utf8parse v0.2.1
   Compiling cfg-if v1.0.0
   Compiling anstyle-parse v0.2.1
   Compiling num-integer v0.1.45
   Compiling quote v1.0.32
   Compiling colorchoice v1.0.0
   Compiling anstyle v1.0.1
   Compiling syn v2.0.28
   Compiling anstyle-query v1.0.0
   Compiling version_check v0.9.4
   Compiling is-terminal v0.4.9
   Compiling portable-atomic v1.4.2
   Compiling psm v0.1.21
   Compiling bitmaps v2.1.0
   Compiling im v15.1.0
   Compiling backtrace v0.3.68
   Compiling stacker v0.1.15
   Compiling anstream v0.3.2
   Compiling num-bigint v0.4.3
   Compiling paste v1.0.14
   Compiling static_assertions v1.1.0
   Compiling adler v1.0.2
   Compiling unicode-width v0.1.10
   Compiling lazy_static v1.4.0
   Compiling rand_core v0.6.4
   Compiling clap_lex v0.5.0
   Compiling heck v0.4.1
   Compiling smallvec v1.11.0
   Compiling strsim v0.10.0
   Compiling gimli v0.27.3
   Compiling bitflags v1.3.2
   Compiling clap_builder v4.3.19
   Compiling nix v0.26.2
   Compiling nibble_vec v0.1.0
   Compiling rand_xoshiro v0.6.0
   Compiling console v0.15.7
   Compiling miniz_oxide v0.7.1
   Compiling sized-chunks v0.6.5
   Compiling object v0.31.1
   Compiling arrayvec v0.5.2
   Compiling unicode-segmentation v1.10.1
   Compiling rustc-demangle v0.1.23
   Compiling addr2line v0.20.0
   Compiling once_cell v1.18.0
   Compiling number_prefix v0.4.0
   Compiling typed-arena v2.0.2
   Compiling either v1.9.0
   Compiling log v0.4.19
   Compiling clap_derive v4.3.12
   Compiling enum-map-derive v0.12.0
   Compiling endian-type v0.1.2
   Compiling radix_trie v0.2.1
   Compiling pretty v0.11.3
   Compiling enum-map v2.6.0
   Compiling itertools v0.10.5
   Compiling indicatif v0.17.5
   Compiling ctrlc v3.4.0
   Compiling num_cpus v1.16.0
   Compiling quick-xml v0.28.2
   Compiling clap v4.3.19
   Compiling bytecount v0.6.3
   Compiling mizar-rs v0.1.0 ([...]mizar-rs)
error[E0277]: the trait bound `str: std::default::Default` is not satisfied
    --> src/parser/msm.rs:1637:55
     |
1637 |             let (mut pos, (mut sym, mut spelling)) = <(Position, _)>::default();
     |                                                       ^^^^^^^^^^^^^ the trait `std::default::Default` is not implemented for `str`, which is required by `(types::Position, _): std::default::Default`
     |
     = help: the following other types implement trait `std::default::Default`:
               &mut str
               &str
     = note: required for `Rc<str>` to implement `std::default::Default`
     = note: 2 redundant requirements hidden
     = note: required for `(types::Position, (types::SelSymId, Rc<str>))` to implement `std::default::Default`

For more information about this error, try `rustc --explain E0277`.
error: could not compile `mizar-rs` (bin "mizar-rs") due to 1 previous error
$ cargo --version
cargo 1.79.0 (ffa9cf99a 2024-06-03)

[digama0]

fixed in be099a8