From 742702a17d22707edbf5490d391fe3da80887da9 Mon Sep 17 00:00:00 2001
From: Arseny Kapoulkine <arseny.kapoulkine@gmail.com>
Date: Tue, 14 Feb 2023 12:23:54 -0800
Subject: [PATCH] Update lower-bounds-calculation.md

This RFC is abandoned; for posterity we will keep this in the tree for now, as it's likely that it represents a subset of the future set of LTI rules
---
 rfcs/lower-bounds-calculation.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/rfcs/lower-bounds-calculation.md b/rfcs/lower-bounds-calculation.md
index a179388..7208bf1 100644
--- a/rfcs/lower-bounds-calculation.md
+++ b/rfcs/lower-bounds-calculation.md
@@ -1,5 +1,7 @@
 # Lower Bounds Calculation
 
+**Status**: Abandoned in favor of a future design for full local inference
+
 ## Summary
 
 We propose adapting lower bounds calculation from Pierce's Local Type Inference paper into the Luau type inference algorithm.