Follow up inference bounds fixes

examples/type_system/lib/strong_analysis.dart

@@ -168,8 +168,11 @@ void f<X extends A<X>>(X x) {}
 
 void main() {
   f(B()); // OK.
-  f(C()); // OK. Without using bounds, inference relying on best-effort
-  // approximations would fail after detecting that `C` is not a subtype of `A<C>`.
+
+  // OK. Without using bounds, inference relying on best-effort approximations
+  // would fail after detecting that `C` is not a subtype of `A<C>`.
+  f(C());
+
   f<B>(C()); // OK.
 }
 

src/content/language/generics.md

@@ -196,7 +196,7 @@ Specifying any non-`SomeBaseClass` type results in an error:
 var foo = [!Foo<Object>!]();
 ```
 
-### Self-referential type parameter restrictions (F-bounds)
+### Self-referential type parameter restrictions (F-bounds) {:#f-bounds}
 
 When using bounds to restrict parameter types, you can refer the bound
 back to the type parameter itself. This creates a self-referential constraint,

src/content/language/type-system.md

@@ -400,8 +400,11 @@ void f<X extends A<X>>(X x) {}
 
 void main() {
   f(B()); // OK.
-  f(C()); // OK. Without using bounds, inference relying on best-effort
-  // approximations would fail after detecting that `C` is not a subtype of `A<C>`.
+
+  // OK. Without using bounds, inference relying on best-effort approximations
+  // would fail after detecting that `C` is not a subtype of `A<C>`.
+  f(C());
+
   f<B>(C()); // OK.
 }
 ```
@@ -447,7 +450,8 @@ preserve the information that `mySet` is a `Set`.
 For more information on the inference using bounds algorithm,
 read the [design document][]. 
 
-[F-bounded]: /language/generics/#self-referential-type-parameter-restrictions-f-bounds
+
+[F-bounded]: /language/generics/#f-bounds
 [design document]: {{site.repo.dart.lang}}/blob/main/accepted/future-releases/3009-inference-using-bounds/design-document.md#motivating-example
 
 ## Substituting types