Rust中“去哪里”是什么意思？

Question

此SO answer使用的是我不熟悉的where语法：

fn readfile<'a, T: ?Sized>(filename: &str) -> Result<Box<Outer<'a, T>>, Box<std::error::Error>>
where
    for<'de> T: Deserialize<'de> + 'a
{
   ...

for是什么意思？

此文件记录在哪里？

Answer 1

这就是所谓的higher-ranked trait bounds：

  

for <'a>可以理解为“对于'a'的所有选择”

它由Rust RFC 0387定义。