Intersection types cant be used properly as parameters in other functions

[metatablecat]

Assume the following code sample:

type Cat = {meow: (Cat) -> ()}

local function consumer(cat: Cat & {age: number})
	cat:meow()
end

consumer {
	meow = function(self)
		
	end,
	
	age = 5
}

For whatever reason, the self inside the meow definition has no type, where I would expect it to have the type Cat.

If I modify the code to remove the intersection and instead place it under one type;

type Cat = {meow: (Cat) -> (), age: number}

local function consumer(cat: Cat)

...the callback will mysteriously gain it's type.

This example doesn't really showcase the problem, though this issue more extends to generics where I'm attempting to extend the type of a table with callbacks, to use in another function.

The only place where I'd expect this to be confused over the type is if both sides of the intersection define a different type for the same key, for example:

type TwoSidedFunction = {
  add: (number) -> number
} & {
  add: (number, number) -> number
}

[greydoubt]

the self parameter in the meow function lacks an explicit type due to the intersection
maybe try

type Cat = {meow: (self: Cat) -> (), age: number}
type CatWithAge = Cat & {age: number}

local function consumer(cat: CatWithAge)
cat:meow()
end