clean: remove unnecessary references

Author: roife

Cargo.lock

@@ -1674,7 +1674,7 @@ impl std::ops::BitOrAssign for Diverges {
 ///
 /// E.g. when F is `|ty| matches!(ty.kind(Interer), TyKind::Unknown)`, the zipper
 /// will skip over all mismatches that only differ in `{unknown}`.
-pub struct UnknownMismatch<'db, F: Fn(&Ty) -> bool>(pub &'db dyn HirDatabase, pub F);
+struct UnknownMismatch<'db, F: Fn(&Ty) -> bool>(&'db dyn HirDatabase, F);
 impl<F: Fn(&Ty) -> bool> chalk_ir::zip::Zipper<Interner> for UnknownMismatch<'_, F> {
     fn zip_tys(&mut self, variance: Variance, a: &Ty, b: &Ty) -> chalk_ir::Fallible<()> {
         let zip_substs = |this: &mut Self,

crates/hir-ty/src/infer.rs

@@ -81,7 +81,7 @@ pub use chalk_ext::*;
 pub use infer::{
     closure::{CaptureKind, CapturedItem},
     could_coerce, could_unify, could_unify_deeply, Adjust, Adjustment, AutoBorrow, BindingMode,
-    InferenceDiagnostic, InferenceResult, OverloadedDeref, PointerCast, UnknownMismatch,
+    InferenceDiagnostic, InferenceResult, OverloadedDeref, PointerCast,
 };
 pub use interner::Interner;
 pub use lower::{

crates/hir-ty/src/lib.rs

@@ -20,7 +20,6 @@ smallvec.workspace = true
 tracing.workspace = true
 triomphe.workspace = true
 once_cell = "1.17.1"
-chalk-ir.workspace = true
 
 # local deps
 base-db.workspace = true

crates/hir/Cargo.toml

@@ -39,7 +39,6 @@ use std::{iter, mem::discriminant, ops::ControlFlow};
 
 use arrayvec::ArrayVec;
 use base_db::{CrateDisplayName, CrateId, CrateOrigin, FileId};
-use chalk_ir::TyKind;
 use either::Either;
 use hir_def::{
     body::{BodyDiagnostic, SyntheticSyntax},
@@ -74,10 +73,8 @@ use hir_ty::{
     traits::FnTrait,
     AliasTy, CallableDefId, CallableSig, Canonical, CanonicalVarKinds, Cast, ClosureId, GenericArg,
     GenericArgData, Interner, ParamKind, QuantifiedWhereClause, Scalar, Substitution,
-    TraitEnvironment, TraitRefExt, Ty, TyBuilder, TyDefId, TyExt, ValueTyDefId, WhereClause,
     TraitEnvironment, TraitRefExt, Ty, TyBuilder, TyDefId, TyExt, TyKind, ValueTyDefId,
     WhereClause,
-
 };
 use itertools::Itertools;
 use nameres::diagnostics::DefDiagnosticKind;