From c2ee94afe2d5ea8bb0ee7dd1b8d12bcba6654c2f Mon Sep 17 00:00:00 2001
From: Yorick Peterse <yorick@yorickpeterse.com>
Date: Thu, 6 Feb 2025 20:16:13 +0100
Subject: [PATCH] WIP: reintroduce Self types

This fixes https://github.com/inko-lang/inko/issues/643.

Changelog: added
---
 compiler/src/type_check/mod.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/compiler/src/type_check/mod.rs b/compiler/src/type_check/mod.rs
index a7bf302c..f12e9e09 100644
--- a/compiler/src/type_check/mod.rs
+++ b/compiler/src/type_check/mod.rs
@@ -343,6 +343,7 @@ impl<'a> DefineTypeSignature<'a> {
                         return TypeRef::Error;
                     }
                 }
+                "Self" => kind.into_type_ref(self.scope.self_type),
                 name => {
                     if let Some(ctype) = self.resolve_foreign_type(
                         None,