{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":")"}]}
    ) -> ty::BoundVar {
        kind: CanonicalVarKind<I>,
        // FIXME: 16 is made up and arbitrary. We should look at some