{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"//"}]}
            // infer the kind. This can occur when we elaborate a predicate
            // Even if we can't infer the full signature, we may be able to
            // like `F : Fn<A>`. Note that due to subtyping we could encounter