Skip to content

Commit

Permalink
Apply suggestions from code review
Browse files Browse the repository at this point in the history
Co-authored-by: Erik Ernst <eernst@google.com>
  • Loading branch information
MaryaBelanger and eernstg authored Feb 14, 2025
1 parent 020b98f commit 8458c79
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion src/content/language/generics.md
Original file line number Diff line number Diff line change
Expand Up @@ -196,7 +196,7 @@ Specifying any non-`SomeBaseClass` type results in an error:
var foo = [!Foo<Object>!]();
```

### Self-referential type parameter restrictions
### Self-referential type parameter restrictions (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,
Expand Down
2 changes: 1 addition & 1 deletion src/content/language/type-system.md
Original file line number Diff line number Diff line change
Expand Up @@ -379,7 +379,7 @@ Inference using bounds requires a [language version][] of at least 3.7.0.
:::

Dart's type inference algorithm generates constraints by combining
exisiting lower-bound constraints with the actual type bounds,
existing lower-bound constraints with the actual type bounds,
not just best-effort approximations.
This is especially important for [F-bounded][] types,
where inference using bounds correctly infers that, in the example below,
Expand Down

0 comments on commit 8458c79

Please sign in to comment.