{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"*"}]}
         * bound, or eventually a `auto trait Foo`). If `obligation`
         * `obligation` by a recursive search (e.g., for a builtin
         * is itself a derived obligation, this is just a clone, but