Thank you for the hint! Unfortunately, this is not in rust 1.16, which I currently still want to support.