{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"//"}]}
            // writeback.
            // usage of the opaque type and we can ignore it. This check is mirrored in typeck's
            if !infcx.next_trait_solver() {