我想有一个简单的类型转换，我认为代码应该看起来像这样：

struct Celsius(f64);
struct Fahrenheit(f64);

impl From<Celsius> for Fahrenheit {
    fn from(c: Celsius) -> Self {
        Fahrenheit(c.0 * 9. / 5. + 32.)
    }
}

impl From<Fahrenheit> for Celsius {
    fn from(f: Fahrenheit) -> Self {
        Celsius((f.0 - 32.) * 5. / 9.)
    }
}

fn danger_of_freezing<T: Into<Celsius>>(temp: T) -> bool {
    let celsius = Celsius::from(temp);
    celsius.0 < 0.0
}

fn main() {
    danger_of_freezing(Celsius(20.0));
    danger_of_freezing(Fahrenheit(68.0));
}

但是编译器给了我这个给予：

error[E0277]: the trait bound `Celsius: From<T>` is not satisfied
  --> src\main.rs:17:33
   |
17 |     let celsius = Celsius::from(temp);
   |                   ------------- ^^^^ the trait `From<T>` is not implemented for `Celsius`
   |                   |
   |                   required by a bound introduced by this call
   |
help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement
   |
16 | fn danger_of_freezing<T: Into<Celsius>>(temp: T) -> bool where Celsius: From<T> {
   |                                                          ++++++++++++++++++++++

我不明白我的代码中的问题在哪里。我知道From和Into trait是相关的，如果我实现From，Into将自动实现，但我不明白为什么Celsius应该是泛型类型。
也许这段代码会更地道（至少这段代码可以编译）：

fn danger_of_freezing<T: Into<Celsius>>(temp: T) -> bool {
    let celsius: Celsius = temp.into();
    celsius.0 < 0.0
}

但为什么第一个变体不起作用？