diff --git a/proposals/p1885.md b/proposals/p1885.md index dd9aaa12ece98..61c8c7fee4bee 100644 --- a/proposals/p1885.md +++ b/proposals/p1885.md @@ -256,8 +256,8 @@ for (var a: auto in container) {} The `Iterable` interface represents a generic sequential-access type of container. It relies on two new interfaces: -- `Iteratable`: Interface for a type that can return an iterator and be - iterated over +- `Iterable`: Interface for a type that can return an iterator and be iterated + over - `Iterator`: Interface for an iterator-like object **Note:** This interface makes use of `Optional` type, and assumes its future @@ -365,7 +365,7 @@ The design of this proposal would benefit from future support for: - Investigate function-level support - Using [Constraints](https://github.com/carbon-language/carbon-lang/blob/trunk/docs/design/generics/overview.md#constraints) - to expose composite Iteratable types. + to expose composite Iterable types. - Using [Conditional conformance](https://github.com/carbon-language/carbon-lang/blob/trunk/docs/design/generics/terminology.md#conditional-conformance) for mutable, other.