为何return impl Responder与泛型where约束返回的编译器响应不同？

这两种写法本质完全不同，并非单纯的语法差异：

• 泛型函数get_user<T>() -> T where T: Responder：
  这个函数的类型参数T是由调用者决定的。也就是说，调用代码可以指定T为任意实现了Responder的类型（比如String、自定义结构体等），但函数内部固定返回的是&'static str类型的字符串字面量，根本无法转换成调用者指定的任意T类型。编译器自然会报错，因为它无法保证函数能返回调用者要求的任意T。

• impl Responder返回值的get_user2()：
  这种写法是让函数自己决定返回的具体类型，调用者只需要知道返回值实现了Responder trait即可。函数内部返回的&'static str确实实现了Responder，编译器可以确认这一点，所以不会报错。之前看到的“二者仅为语法差异”的说法并不准确，这两种写法的语义完全不同。

内容的提问来源于stack exchange，提问作者david valentino