From fb62f9b45abfd7d34a50304b94ae905e20fd8c95 Mon Sep 17 00:00:00 2001
From: "ajeffrey@roblox.com" <ajeffrey@roblox.com>
Date: Fri, 24 Sep 2021 17:00:17 -0500
Subject: [PATCH] Removed read-only require

---
 rfcs/property-readonly.md | 26 --------------------------
 1 file changed, 26 deletions(-)

diff --git a/rfcs/property-readonly.md b/rfcs/property-readonly.md
index c0a470bd..4d0c7586 100644
--- a/rfcs/property-readonly.md
+++ b/rfcs/property-readonly.md
@@ -150,32 +150,6 @@ t : { get @metatable : T, p : number }
 
 *This is a possibly breaking change.*
 
-### Require
-
-A `require`d module's properties should be read-only by default.
-
-If module A is:
-```lua
---!strict
-local exports = {}
-exports.p = 0
-return exports
-``
-
-and module B is:
-```lua
---!strict
-local imports = require(A)
-```
-
-then we should have types
-```
-exports : { p: number }
-imports : { get p: number }
-```
-
-*This is a possibly breaking change.*
-
 ## Drawbacks
 
 This is adding to the complexity budget for users,