diff --git a/src/Draco.Compiler/Internal/OptimizingIr/Model/Procedure.cs b/src/Draco.Compiler/Internal/OptimizingIr/Model/Procedure.cs
index da4e14c54..3bd292fa4 100644
--- a/src/Draco.Compiler/Internal/OptimizingIr/Model/Procedure.cs
+++ b/src/Draco.Compiler/Internal/OptimizingIr/Model/Procedure.cs
@@ -14,7 +14,6 @@ internal sealed class Procedure : IProcedure
 {
     public FunctionSymbol Symbol { get; }
     public string Name => this.Symbol.NestedName;
-    public TypeSymbol? TypeSymbol => this.Symbol.Type;
     public Module DeclaringModule { get; }
     IModule IProcedure.DeclaringModule => this.DeclaringModule;
     public Class? DeclaringType { get; }