Bug: total attribute asks for a type field

[Andre-LA]

Example code:

local record Fruit
   name: string
end

local record Person
   record Identity
      name: string
      born: integer
   end

   id: Identity
   likes: Fruit
end

local person <total>: Person = {
   id = {
      name = 'Fulano',
      born = 1995
   },
   likes = {name='orange'}
}

tl check test.tl Output:

[...]
1 error:
teste.tl:15:7: record variable declared <total> does not declare values for all fields (missing: Identity)

[hishamhm]

Thanks for the report and test case!