Rust 中的“where for”是什么意思？

Question

这个 SO答案使用了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

这就是所谓的高阶特征边界：

for<'a> 可以读作“对于'a的所有选择”

它由Rust RFC 0387定义。