{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":"};"}]}
                };
                    format!("the following trait bounds were not satisfied:\n{}", preds.join("\n"),)
                let mut span: MultiSpan = primary_spans.into_iter().collect::<Vec<_>>().into();