From e93a80eb84175802daa741394dd566bae1648747 Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Mon, 20 Sep 2021 15:22:09 -0500 Subject: [PATCH] Added para about Instance.Parent --- rfcs/property-getter-setter.md | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/rfcs/property-getter-setter.md b/rfcs/property-getter-setter.md index 7b488341..69508795 100644 --- a/rfcs/property-getter-setter.md +++ b/rfcs/property-getter-setter.md @@ -108,6 +108,14 @@ A `require`d module's properties should be read-only by default. *This is a possibly breaking change.* +### Separate getter and setter for Instance.Parent + +If we had separate getters and setters for Instance.Parent, we could +allow setting with any `Instance`, but getting at the type given by +the initial DM. This is unsound, but would support reparenting, and +any solution for reparenting is either going to require whole-program +analysis or have unsoundness. + ### Why separate the getter from the setter? Separate getters and setters were introduced to TypeScript in response