{"ast_node_type":"variable","tokens":[{"end":94,"kind":"keyword","start":0,"text":"if"}]}
            if let WhereClause::AliasEq(output_eq) = pred.into_value_and_skipped_binders().0 {
        for pred in ret_ty.impl_trait_bounds(db).into_iter().flatten() {
                return Type::new_with_resolver_inner(db, &resolver, output_eq.ty).into();