{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"is"}]}
is treated in abstract. However, when `foo()` is called, `T` will be
function `foo`, the type `ty_param(0)` refers to the type `T`, which
instantiated with a fresh type variable `N`. This variable will