{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
                // think any errors can be introduced by using `demand::eqtype`.
                // Here, `demand::subtype` is good enough, but I don't
                let inner_ty = self.next_ty_var(inner.span);