Update resources/type-system/inference.md

Co-authored-by: Erik Ernst <[email protected]>

Author: lrhn

resources/type-system/inference.md

@@ -352,9 +352,8 @@ schema.
   - If the enclosing function is marked `async*`, then for each `yield* e;`
     statement in the block, let `S` be the inferred type of `e`, using the
     local type inference algorithm described below with a typing context of
-    `Stream<K>`. If there exists a type `E` such that `Stream<E>` is a
-    super-interface of `S`, update `T` to be `UP(E, T)`. Otherwise update
-    `T` to be `UP(S, T)`.
+    `Stream<K>`. If `S` implements `Stream<E>` for some `E` then update `T` to
+     be `UP(E, T)`. Otherwise update `T` to be `UP(S, T)`.
     _It is a compile-time error if *S* is not a assignable to
     `Stream<Object?>`, so either *S* implements `Iterable`, or it is one of
     `dynamic` or `Never`._