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,