{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"Some(adt)"}]}
                Some(adt) if adt.did().is_local() => adt,
            let adt = match trait_pred.self_ty().ty_adt_def() {
                _ => continue,