is there a way to query the type of an unannotated funcion?

[capfredf]

say I have an identity function

function id(x)
   return x
end

how do I look up the inferred type of this function?

[AmaranthineCodices]

Yes, but it requires C++ code to access the type checker's result in the general case. If you just want to see it for debugging purposes, the luau-analyze CLI tool has a --annotate flag you can pass that will print the analyzed source to stdout with type annotations attached. These type annotations are not necessarily valid Luau source code, but they do show the actual types we inferred.

[capfredf]

Thanks. This is really helpful.