{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"if"}]}
            if trait_ref.self_type_parameter(Interner) != self_ty_shifted_in {
        WhereClause::Implemented(trait_ref) => {
                // we can only convert predicates back to type bounds if they