Remove outdated restriction on recursive types

This commit is contained in:
Jonas Schievink 2022-06-21 13:54:21 +02:00
parent 58e0f34eb1
commit b5596cb97e
1 changed files with 0 additions and 3 deletions

View File

@ -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: