{"ast_node_type":"function","tokens":[{"end":62,"kind":"keyword","start":0,"text":"given"}]}
given a generic function `fn foo<T>(t: T)`, while checking the
type variable is an instance of a type parameter. That is,
function `foo`, the type `ty_param(0)` refers to the type `T`, which