self: fix: accept self type in function signature as a method indicator

teal-language · Aug 19, 2024 · 23133f5 · 23133f5
1 parent bc64ede
commit 23133f5
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/tl.lua b/tl.lua
@@ -12393,6 +12393,9 @@ self:expand_type(node, values, elements) })
    local function ensure_is_method_self(typ, fargs)
       assert(typ.declname)
       local selfarg = fargs[1]
+      if selfarg.typename == "self" then
+         return true
+      end
       if not (selfarg.typename == "nominal") then
          return false
       end

diff --git a/tl.tl b/tl.tl
@@ -12393,6 +12393,9 @@ do
    local function ensure_is_method_self(typ: RecordLikeType, fargs: {Type}): boolean
       assert(typ.declname)
       local selfarg = fargs[1]
+      if selfarg is SelfType then
+         return true
+      end
       if not selfarg is NominalType then
          return false
       end