{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"//"}]}
            // normal. We do this by first structurally equating the `term`
            // constructor as rigid, relating any contained generic arguments as
            // with the alias constructor instantiated with unconstrained infer vars,