LooseToStrict is a utility type that converts a type T to a stricter version. It ensures that if T is a string, it will not be converted to never.
LooseToStrict is a utility type that converts a type T to a stricter version. It ensures that if T is a string, it will not be converted to never.