{"ast_node_type":"variable","tokens":[{"end":86,"kind":"keyword","start":0,"text":"if"}]}
            if let Some(impls_for_type) = trait_impls.non_blanket_impls().get(&simp) {
        let mut consider_impls_for_simplified_type = |simp| {
                for &impl_def_id in impls_for_type {