История изменений

&'x Box<Trait+'x>

У тебя тут написано, что где-то в сторонке заданы некий интерфейс Trait и некое время жизни x , а твоя запись описывает ссылку на экземпляр Box. Этот экземпляр имеет время жизни x , и параметризован интерфейсом Trait всё с тем же временем жизни x . Так?

Тогда предлагаю такое:
ref Lifetime Box<Lifetime Trait>

• ref — ключевое слово, наравне с уже имеющимся mut ;
  
• Не ясно, на кой ляд в оригинальной записи был нужен + , так что херачим через пробел;
  
• С лайфтаймами обращаемся как со второй независимой системой типов. Раз в оригинальной записи конкретный интерфейс обозначили словом Trait , то конкретное время жизни обозначаем как Lifetime ;
  
• Наверное, где-то понадобится ключевое слово lifetime , в чем-то подобное уже имеющемуся ключевому слову type .

&'x Box<Trait+'x>

У тебя тут написано, что где-то в сторонке заданы некий интерфейс Trait и некое время жизни x , а твоя запись объявляет ссылку на экземпляр Box. Этот экземпляр имеет время жизни x , и параметризован интерфейсом Trait всё с тем же временем жизни x . Так?

Тогда предлагаю такое:
ref Lifetime Box<Lifetime Trait>

• ref — ключевое слово, наравне с уже имеющимся mut ;
  
• Не ясно, на кой ляд в оригинальной записи был нужен + , так что херачим через пробел;
  
• С лайфтаймами обращаемся как со второй независимой системой типов. Раз в оригинальной записи конкретный интерфейс обозначили словом Trait , то конкретное время жизни обозначаем как Lifetime ;
  
• Наверное, где-то понадобится ключевое слово lifetime , в чем-то подобное уже имеющемуся ключевому слову type .