Strings should be literally inferred where possible

[ghost]

Currently, all string values will be inferred as string, even if the literal value of the string is known

In the following example, it should be safe to assume the literal value of the string in multiple places

local function foo(bar: string)
  if bar == "Hello World" then
    --bar can be safely inferred as "Hello World"
  end
  return bar
end

--this is a really bad example
local function stringAsGeneric<T>(str: T): T
  return str
end

local a = stringAsGeneric("Hello World") --> a should be inferred as "Hello World"
local b = "Hi"
local c = stringAsGeneric(b) --> c should be inferred as the type of b which is "Hi"

If the value of the string cant be guaranteed, ie: RemoteEvent connection, it should fall back to string
I assume there is some technical reason for this not already being possible

[ghost]

Here's another place where literal string inference would be useful, take a generic map definition

local function SomethingWithMaps<K>(map: {[K]: any})

end

SomethingWithMaps {
  Cat = "meow"
} --> type of generic would be {Cat: "meow"}

[vegorov-rbx]

The last example will infer overly restricted types right now.

Less restrictive types will become available once these RFCs get implemented: #77 and #79
But user type annotations will likely require #284 as well.