一生中限制泛型参数的含义（T：＆＃39; a）是什么意思？

Question

我理解为什么传递给函数的引用必须具有最小的所需生命周期：确保在函数仍在运行时不会破坏后面的对象。令我困惑的是：

fn a_function<'a, 'b, T>(arg: &'b T)
where
    T: 'a,
{
    // ...
}

进入该函数的唯一引用具有生命周期'b。