如何在 Rust 中别名 Into<Option<T>>？

这是Into<Option<T>>Rust 中用于可选参数的常见模式，因为它允许使用用户友好的任一None或某些来调用函数t: T。但是我发现这种类型注释有点冗长，所以我想给这个模式取别名。

在 Rust 中稳定真正的特征别名之前，似乎有一个别名特征的黑客：https : //www.worthe-it.co.za/blog/2017-01-15-aliasing-traits-in-rust.html .

在我的情况下如何使用它？我尝试了以下代码：

pub trait Optional<T>:Into<Option<T>>{}
impl<T> Optional<T> for T where T: Into<Option<T>>{}

fn main(){
    add(3.0, None);
    add(1.0, 2.0);
}

fn add<T: Optional<f64>>(a: f64, b: T) -> f64 {
    let b = match b.into() {
        Some(b) => b,
        None => 0.0
    };

    a + b
}

但是编译器说：

error[E0277]: the trait bound `Option<_>: Optional<f64>` is not satisfied
 --> test.rs:5:14
  |
5 |     add(3.0, None);
  |              ^^^^ the trait `Optional<f64>` is not implemented for `Option<_>`
...
9 | fn add<T: Optional<f64>>(a: f64, b: T) -> f64 {
  |           ------------- required by this bound in `add`

error: aborting due to previous error

For more information about this error, try `rustc --explain E0277`.

很明显，hack 不起作用，因为编译器无法检测到任何f64或None应该实现此接口。

如何修复此别名以使其正确编译？