From 66dc26e29e61b9e4515889ceefa79c9d644f1409 Mon Sep 17 00:00:00 2001
From: nub31 <oliverlhs@outlook.com>
Date: Mon, 20 Oct 2025 18:34:15 +0200
Subject: [PATCH] ...

---
 compiler/NubLang/Ast/TypeChecker.cs | 16 ----------------
 1 file changed, 16 deletions(-)

diff --git a/compiler/NubLang/Ast/TypeChecker.cs b/compiler/NubLang/Ast/TypeChecker.cs
index 23dcfea..6c13ae2 100644
--- a/compiler/NubLang/Ast/TypeChecker.cs
+++ b/compiler/NubLang/Ast/TypeChecker.cs
@@ -889,7 +889,6 @@ public record Variable(string Name, NubType Type, VariableKind Kind);
 public class Scope(string module, Scope? parent = null)
 {
     private readonly List<Variable> _variables = [];
-    private readonly Dictionary<string, NubType> _typeSubstitutions = [];
     public string Module { get; } = module;
 
     public void DeclareVariable(Variable variable)
@@ -908,21 +907,6 @@ public class Scope(string module, Scope? parent = null)
         return parent?.LookupVariable(name);
     }
 
-    public void DeclareTypeSubstitution(string name, NubType type)
-    {
-        _typeSubstitutions[name] = type;
-    }
-
-    public NubType? LookupTypeSubstitution(string name)
-    {
-        if (_typeSubstitutions.TryGetValue(name, out var type))
-        {
-            return type;
-        }
-
-        return parent?.LookupTypeSubstitution(name);
-    }
-
     public Scope SubScope()
     {
         return new Scope(Module, this);