{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"self.cx().dcx().span_delayed_bug("}]}
                    self.cx().dcx().span_delayed_bug(
                    assert!(!self.type_checker.infcx.next_trait_solver());
                        self.span(),