{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"type"}]}
type variable is an instance of a type parameter. That is,
N.B., a type variable is not the same thing as a type parameter. A
given a generic function `fn foo<T>(t: T)`, while checking the