{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"}"}]}
                }
                    multispan.push_span_label(span, "this returned value is of `!` type");
                err.span_note(multispan, "these returned values have a concrete \"never\" type");