{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"//"}]}
            // with the alias constructor instantiated with unconstrained infer vars,
            // normal. We do this by first structurally equating the `term`
            // and then relate this with the whole `alias`.