如果 Rust 有 HRTB over type 就好了，不知道有无相关提案