{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
                // If `type_of(x) == T` and `x.borrow()` is used to get `&T`,
            match name {
                // then that should be allowed