理解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是它的生命周期。