From 30462dc7e7003172316e4eebeb481bc78b24ff13 Mon Sep 17 00:00:00 2001
From: alicesaidhi <166900055+alicesaidhi@users.noreply.github.com>
Date: Wed, 29 Jan 2025 16:22:47 +0100
Subject: [PATCH] Replace old read-only syntax on property-writeonly.md

---
 docs/property-writeonly.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/property-writeonly.md b/docs/property-writeonly.md
index c098387..22e365a 100644
--- a/docs/property-writeonly.md
+++ b/docs/property-writeonly.md
@@ -87,7 +87,7 @@ end
 ```
 has inferred type:
 ```
-f: (t: { write p: number, get q: number }) -> ()
+f: (t: { write p: number, read q: number }) -> ()
 ```
 indicating that `p` is used write-only but `q` is used read-only.
 
@@ -160,7 +160,7 @@ Once we have read-only properties and write-only properties, type intersection
 gives read-write properties with different types.
 
 ```luau
-  { get p: T } & { write p : U }
+  { read p: T } & { write p : U }
 ```
 
 If we infer such types, we may wish to present them differently, for