{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"//"}]}
            // like `F : Fn<A>`. Note that due to subtyping we could encounter
            // infer the kind. This can occur when we elaborate a predicate
            // many viable options, so pick the most restrictive.