rust - 了解 sqlx FromRow 宏扩展中的 where 子句

Question

我不明白下面代码中的第 3 行。它是 sqlx 中 FromRow 特征的宏扩展。我通过那'a表示一生？似乎在这个扩展中它被视为一种类型并受到限制？这条线是什么意思？

       impl<'a, R: ::sqlx::Row> ::sqlx::FromRow<'a, R> for LitRel
         where
         &'a ::std::primitive::str: ::sqlx::ColumnIndex<R>, //<--- ?
         String: ::sqlx::decode::Decode<'a, R::Database>,
         String: ::sqlx::types::Type<R::Database>,

Answer 1

它在我看来&'a ::std::primitive::str是一个类型，字符串切片，并且'a是它的生命周期。