Rustのlifetimeとvariance - Happy Developing

nomicon を読んでいてSubtyping and Variance の話がでてきたときにどうして継承の概念がないRustにvarianceの話がでてくるのかなと思っていました。 その後、Rustの動画をyoutubeに投稿されているJon Gjengsetさん のCrust of Rust: Subtyping and Variance を見て自分なりにすこし理解が進んだのでブログに書くことにしました。 具体的にはnomiconに記載されているvarianceのテーブルのうち以下の理解を試みます。 'a T U &'a T covariant covariant &'a mut T covariant invariant fn(T) -> U contravariant covariant Cell<T> invariant Subtypeの意味 形式的には２つの型があるときにあるか