Type queries for functions

From the TypeScript specification, "Type queries are useful for capturing anonymous types that are generated by various constructs such as object literals, function declarations, and module declarations."

Is it possible to capture the inferred output type of a function?

Consider

var f = function() {
return {x: 1};
}
var y = f();

I'd like to refer to the type of y without having to invoke f. Type queries seemed promising, but I can't seem to write the right one.