From b5596cb97e4c94237b54639579ad1853d64fe930 Mon Sep 17 00:00:00 2001
From: Jonas Schievink <jonas.schievink@ferrous-systems.com>
Date: Tue, 21 Jun 2022 13:54:21 +0200
Subject: [PATCH] Remove outdated restriction on recursive types

---
 src/types.md | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/types.md b/src/types.md
index a7ce5bc82..aed10fd0f 100644
--- a/src/types.md
+++ b/src/types.md
@@ -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: