Declare type with implicit cast

[morgoth990]

My plan is to declare two different types (vec2 and vec3) and use in both the cases the luau vector type.
I'm declaring the types like this, the code is running fine but obviusly the type checker is displaying a conversion error.
There is a way to declare an implicit cast operator?

	       TypeId vec2TypeInstance = arena.addType(ClassTypeVar{ "vec2", {}, nullopt, nullopt, {}, {} });
		getMutable<ClassTypeVar>(vec2TypeInstance)->props = {
			{"X", {typeChecker.numberType}},
			{"Y", {typeChecker.numberType}}
		};
		TypeId vec3TypeInstance = arena.addType(ClassTypeVar{ "vec3", {}, nullopt, nullopt, {}, {} });
		getMutable<ClassTypeVar>(vec3TypeInstance)->props = {
			{"X", {typeChecker.numberType}},
			{"Y", {typeChecker.numberType}},
			{"Z", {typeChecker.numberType}}
		};
		typeChecker.globalScope->exportedTypeBindings["vec2"] = TypeFun{ {}, vec2TypeInstance };
		typeChecker.globalScope->exportedTypeBindings["vec3"] = TypeFun{ {}, vec3TypeInstance };

I have also tried to add two entries to exportedTypeBindings with the same TypeId ("vec") but in this case when when autocompleting I'm always receiving the name setted into ClassTypeVar ("vec", not "vec2" or "vec3")

[zeux]

Classes can't be implicitly converted to each other unless they share a common parent. You could model these as table types I suppose, or alternatively you can use vec2 as a parent of vec3, even though this is a little odd, but that'd give you an ability to pass a vec3 instance to a function that expects vec2.

[alexmccord]

Another thing you can do is model them as union types and avoid the subclassing quirk.