Почему мне не нужно реализовывать черту Any для типа, хотя это и требуется?

Question

Когда я определяю черту, я понимаю, что названия черт справа от : требуются каждый раз, когда используется левая сторона. Если это так, почему следующий компилятор:

use std::any::Any;

trait Trait: Any {}

struct Thing {}

impl Trait for Thing {}

Следующее не компилируется (что соответствует моему пониманию того, что правильно)

trait RequiredTrait {}
trait Trait: RequiredTrait {}

struct Thing {}

impl Trait for Thing {}

Answer 1

std::any содержит реализации :

impl<T> Any for T
where
    T: 'static + ?Sized, 

Это означает, что любой тип реализует Any, если все содержащиеся в нем ссылки равны 'static, а тип имеет размер. Ваша Thing структура отвечает обоим этим требованиям, поэтому она реализует Any и ваш код компилируется.