{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"//"}]}
                // always raise a `NonGenericPointee` error when this happens.
                // We want to catch that. The simple solution is to just
                //