Fix status of Inference of Dependent types

tonunaks · tonunaks · commit 118f948f760c · 2025-12-01T15:33:19.000+02:00
diff --git a/features/rfc-inference-of-dependent-types.md b/features/rfc-inference-of-dependent-types.md
@@ -1,6 +1,6 @@
 - Feature Name: Inference of dependent types in generic instantiations
 - Start Date: 2023-03-03
-- Production: Design
+- Status: Design
 
 Summary
 =======
