特性约束错误并不总是明确提到受约束的类型

在下面的示例中,编译器会正确地拒绝主函数中的代码,指出"Trait "MyTrait1" 并未为类型实现。"然而,在第一个案例中,类型将是预期的"u32",但在第二个案例中,类型是整个"Option<u32>"。