Исправление q0tw4, (текущая версия) :
Надо просто запретить неявные условия на типах (foo gets to assume that 'b: 'a). Пусть явно пишут. Тогда хрен забудешь чекнуть при использовании.
fn foo<'a, 'b: 'a, T>(_: &'a &'b (), v: &'b T) -> &'a T { v }
так уже не обойдешь чекер.
Исходная версия q0tw4, :
Надо просто запретить неявные условия на типах (foo gets to assume that 'b: 'a). Пусть явно пишут. Тогда хрен забудешь чекнуть при использовании.