Skip to content

Commit

Permalink
Merge pull request #1231 from jonas-schievink/remove-ancient-scrolls
Browse files Browse the repository at this point in the history
Remove outdated restriction on recursive types
  • Loading branch information
ehuss authored Jun 22, 2022
2 parents 58e0f34 + b5596cb commit 9fce337
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions src/types.md
Original file line number Diff line number Diff line change
Expand Up @@ -104,9 +104,6 @@ itself. Such recursion has restrictions:
Rec = &'static [Rec]` is not allowed.
* The size of a recursive type must be finite; in other words the recursive
fields of the type must be [pointer types].
* Recursive type definitions can cross module boundaries, but not module
*visibility* boundaries, or crate boundaries (in order to simplify the module
system and type checker).

An example of a *recursive* type and its use:

Expand Down

0 comments on commit 9fce337

Please sign in to comment.