The initial tests were made with rust 1.80 (where it seems to indeed be an issue). However it works fine with rust 1.85.