Definitions: CTV with overloaded metatable function overwrites instead of creates intersection

[JohnnyMorganz]

Simple case:

declare class Vector3 end

declare class CFrame
    function __mul(self, other: CFrame): CFrame
    function __mul(self, other: Vector3): Vector3
end

Instead of creating an intersection type var of overloads for __mul, it just uses the last defined function.

Looks like the root cause is at https://github.com/Roblox/luau/blob/f2b334a4bb26c0ac3aedd4db5d828f2d6b5f7de0/Analysis/src/TypeInfer.cpp#L1677-L1683

where it only checks ctv->props.count(), but since it is a metamethod it should be looking at metatable->props