{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"*"}]}
         * is itself a derived obligation, this is just a clone, but
         * bound, or eventually a `auto trait Foo`). If `obligation`
         * otherwise we create a "derived obligation" cause so as to