{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"function"}]}
function `foo`, the type `ty_param(0)` refers to the type `T`, which
given a generic function `fn foo<T>(t: T)`, while checking the
is treated in abstract. However, when `foo()` is called, `T` will be