From eb2e29663e5546e5c084e7bafc5fc203b5f279e9 Mon Sep 17 00:00:00 2001 From: Hisham Muhammad Date: Thu, 8 Aug 2024 10:49:30 -0300 Subject: [PATCH] no need to type_at(a_typedecl()) --- tl.lua | 2 +- tl.tl | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tl.lua b/tl.lua index adc07ed48..7721c0c60 100644 --- a/tl.lua +++ b/tl.lua @@ -12290,7 +12290,7 @@ self:expand_type(node, values, elements) }) } function TypeChecker:begin_temporary_record_types(typ) - self:add_var(nil, "@self", type_at(typ, a_type(typ, "typedecl", { def = typ }))) + self:add_var(nil, "@self", a_type(typ, "typedecl", { def = typ })) for fname, ftype in fields_of(typ) do if ftype.typename == "typealias" then diff --git a/tl.tl b/tl.tl index 7d97ef7f8..f23eaf146 100644 --- a/tl.tl +++ b/tl.tl @@ -12290,7 +12290,7 @@ do } function TypeChecker:begin_temporary_record_types(typ: RecordType) - self:add_var(nil, "@self", type_at(typ, a_typedecl(typ, typ))) + self:add_var(nil, "@self", a_typedecl(typ, typ)) for fname, ftype in fields_of(typ) do if ftype is TypeAliasType then