From bc2bb25f7411f266f9018a5a17d95a3f29d2e693 Mon Sep 17 00:00:00 2001
From: centauri <83140718+centau@users.noreply.github.com>
Date: Mon, 1 Sep 2025 22:19:24 +0100
Subject: [PATCH] Add `vide.default` type

---
 src/flags.luau | 3 +--
 src/lib.luau   | 1 +
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/flags.luau b/src/flags.luau
index c4989d9..be48232 100644
--- a/src/flags.luau
+++ b/src/flags.luau
@@ -6,8 +6,7 @@ local is_O2 = inline_test() ~= "inline_test"
 
 return {
     strict = not is_O2,
-    batch = false,
     defaults = true,
-    use_default_properties = true,
     defer_nested_properties = true,
+    batch = false,
 }
diff --git a/src/lib.luau b/src/lib.luau
index 74a2333..3312f26 100644
--- a/src/lib.luau
+++ b/src/lib.luau
@@ -78,6 +78,7 @@ local vide = {
 
     -- flags
     strict = (nil :: any) :: boolean,
+    defaults = (nil :: any) :: boolean,
     defer_nested_properties = (nil :: any) :: boolean,
 
     -- temporary