the types library pollutes the globals

[Ukendio]

I expect types to only be referenced and recognized as a global in type functions, however currently it shadows seemingly gets referenced anywhere; if this is an unrealistic expectation, I could change my code but I do have a lot of code that names variables types so it would be a shame.

[vegorov-rbx]

There is no types library in the globals.

Marking as 'invalid'. Please provide more information about your issue before we close it.

[Ukendio]

Maybe I have an old version, but this seems like valid formed code to me

type function _Pair(first, second)
    local thing = first:components()[2]

	if thing:readproperty(types.singleton("__T")):is("nil") then
		return second
	else
		return first
	end
end

export type Pair<T, U> = _Pair<T, U>

type Test = Pair<Entity<nil>, Entity<Vector3>> -- Entity<Vector3> as expected

export type Entity<T = nil> = number & { __T: T }

I tested it against my cases and it worked

[vegorov-rbx]

Yes, that code is valid.
And it uses the types inside a type function, so I don't understand what issue you have with types library.

[Ukendio]

I am getting "shadowing variables" errors on variables outside of type functions that are named "types"
LocalShadow: Variable 'types' shadows a global variable used at line 1739

I can provide you the whole file if that helps, it is pretty large though!

[vegorov-rbx]

It would have been helpful to include that error message in your original issue description.
Thanks for clearing it up now.