RFC: Distinct Types

[ratplier]

Rendered

[hardlyardi]

I'm not sure how to feel about this being a built-in type function, that seems very incorrect:

local function foo(): newtype<string>
end
type Foo = { bar: newtype<number> }

How would these cases be handled? I feel I'd prefer a feature like this as dedicated syntax - E.g., export distinct type Foo = string

[ratplier]

PR closed because this is a clone; #123