PEP 695: fix rust information

Author: KotlinIsland

pep-0695.rst

@@ -1066,9 +1066,9 @@ Rust uses angle brackets to declare type parameters and for specialization.
 The upper bound of a type parameter is specified using a colon. Alternatively
 a "where" clause can specify various constraints.
 
-Rust uses declaration-site variance, and variance of type parameters is
-typically inferred from their usage. In cases where a type parameter is not
-used within a type, variance can be specified explicitly.
+Rust does not have traditional object oriented inheritance or variance.
+Subtyping in Rust is very restricted and occurs only due to variance with
+respect to lifetimes.
 
 A default type argument can be specified using the "=" operator.
 
@@ -1080,7 +1080,7 @@ A default type argument can be specified using the "=" operator.
     }
 
     // Type parameter with bound
-    struct StructB<T: StructA> {}
+    struct StructB<T: SomeTrait> {}
 
     // Type parameter with additional constraints
     struct StructC<T>
@@ -1092,16 +1092,8 @@ A default type argument can be specified using the "=" operator.
     // Generic function
     fn func1<T>(val: &[T]) -> T { }
 
-    // Explicit variance specification
-    use type_variance::{Covariant, Contravariant};
-
-    struct StructD<A, R> {
-        arg: Covariant<A>,
-        ret: Contravariant<R>,
-    }
-
     // Generic type alias
-    type MyType<T> = StructC<T>
+    type MyType<T> = StructC<T>;
 
 
 Kotlin
@@ -1210,8 +1202,8 @@ Summary
 +------------+----------+---------+--------+----------+-----------+-----------+
 | Swift      | <>       | T: X    |        |          | n/a       | n/a       |
 +------------+----------+---------+--------+----------+-----------+-----------+
-| Rust       | <>       | T: X,   |        | =        | decl      | inferred, |
-|            |          | where   |        |          |           | explicit  |
+| Rust       | <>       | T: X,   |        | =        | n/a       | n/a       |
+|            |          | where   |        |          |           |           |
 +------------+----------+---------+--------+----------+-----------+-----------+
 | Kotlin     | <>       | T: X,   |        |          | use, decl | in, out   |
 |            |          | where   |        |          |           |           |