Remove unused

Author: flodiebold

crates/hir_ty/src/builder.rs

@@ -14,7 +14,7 @@ use smallvec::SmallVec;
 use crate::{
     db::HirDatabase, primitive, to_assoc_type_id, to_chalk_trait_id, utils::generics, Binders,
     CallableSig, FnPointer, FnSig, FnSubst, GenericArg, Interner, ProjectionTy, Substitution,
-    TraitRef, Ty, TyDefId, TyExt, TyKind, TypeWalk, ValueTyDefId,
+    TraitRef, Ty, TyDefId, TyExt, TyKind, ValueTyDefId,
 };
 
 /// This is a builder for `Ty` or anything that needs a `Substitution`.

crates/hir_ty/src/chalk_cast.rs

@@ -1,14 +1,8 @@
 //! Implementations of the Chalk `Cast` trait for our types.
 
-use chalk_ir::{
-    cast::{Cast, CastTo},
-    interner::HasInterner,
-};
+use chalk_ir::interner::HasInterner;
 
-use crate::{
-    AliasEq, CallableSig, DomainGoal, GenericArg, GenericArgData, Interner, PolyFnSig,
-    ReturnTypeImplTraits, TraitRef, Ty, WhereClause,
-};
+use crate::{CallableSig, ReturnTypeImplTraits};
 
 macro_rules! has_interner {
     ($t:ty) => {
@@ -18,15 +12,5 @@ macro_rules! has_interner {
     };
 }
 
-macro_rules! transitive_impl {
-    ($a:ty, $b:ty, $c:ty) => {
-        impl CastTo<$c> for $a {
-            fn cast_to(self, interner: &Interner) -> $c {
-                self.cast::<$b>(interner).cast(interner)
-            }
-        }
-    };
-}
-
 has_interner!(CallableSig);
 has_interner!(ReturnTypeImplTraits);

crates/hir_ty/src/infer.rs

@@ -38,7 +38,6 @@ use syntax::SmolStr;
 
 use super::{
     DomainGoal, Guidance, InEnvironment, ProjectionTy, Solution, TraitEnvironment, TraitRef, Ty,
-    TypeWalk,
 };
 use crate::{
     db::HirDatabase, fold_tys, infer::diagnostics::InferenceDiagnostic,

crates/hir_ty/src/infer/coerce.rs

@@ -73,11 +73,11 @@ impl<'a> InferenceContext<'a> {
         // Pointer weakening and function to pointer
         match (from_ty.kind(&Interner), to_ty.kind(&Interner)) {
             // `*mut T` -> `*const T`
-            (TyKind::Raw(m1, inner), TyKind::Raw(m2 @ Mutability::Not, ..)) => {
+            (TyKind::Raw(_, inner), TyKind::Raw(m2 @ Mutability::Not, ..)) => {
                 from_ty = TyKind::Raw(*m2, inner.clone()).intern(&Interner);
             }
             // `&mut T` -> `&T`
-            (TyKind::Ref(m1, lt, inner), TyKind::Ref(m2 @ Mutability::Not, ..)) => {
+            (TyKind::Ref(_, lt, inner), TyKind::Ref(m2 @ Mutability::Not, ..)) => {
                 from_ty = TyKind::Ref(*m2, lt.clone(), inner.clone()).intern(&Interner);
             }
             // `&T` -> `*const T`

crates/hir_ty/src/infer/expr.rs

@@ -24,7 +24,6 @@ use crate::{
     utils::{generics, Generics},
     AdtId, Binders, CallableDefId, FnPointer, FnSig, FnSubst, InEnvironment, Interner,
     ProjectionTyExt, Rawness, Scalar, Substitution, TraitRef, Ty, TyBuilder, TyExt, TyKind,
-    TypeWalk,
 };
 
 use super::{

crates/hir_ty/src/infer/unify.rs

@@ -12,7 +12,7 @@ use super::{DomainGoal, InferenceContext};
 use crate::{
     fold_tys, static_lifetime, AliasEq, AliasTy, BoundVar, Canonical, CanonicalVarKinds,
     DebruijnIndex, FnPointer, FnSubst, InEnvironment, InferenceVar, Interner, Scalar, Substitution,
-    Ty, TyExt, TyKind, TypeWalk, WhereClause,
+    Ty, TyExt, TyKind, WhereClause,
 };
 
 impl<'a> InferenceContext<'a> {

crates/hir_ty/src/lib.rs

@@ -1,8 +1,6 @@
 //! The type system. We currently use this to infer types for completion, hover
 //! information and various assists.
 
-#![allow(unused)]
-
 #[allow(unused)]
 macro_rules! eprintln {
     ($($tt:tt)*) => { stdx::eprintln!($($tt)*) };
@@ -34,7 +32,6 @@ use std::sync::Arc;
 
 use base_db::salsa;
 use chalk_ir::{
-    cast::{CastTo, Caster},
     fold::{Fold, Shift},
     interner::HasInterner,
     UintTy,

crates/hir_ty/src/lower.rs

@@ -35,7 +35,7 @@ use crate::{
     AliasEq, AliasTy, Binders, BoundVar, CallableSig, DebruijnIndex, DynTy, FnPointer, FnSig,
     FnSubst, ImplTraitId, OpaqueTy, PolyFnSig, ProjectionTy, QuantifiedWhereClause,
     QuantifiedWhereClauses, ReturnTypeImplTrait, ReturnTypeImplTraits, Substitution,
-    TraitEnvironment, TraitRef, TraitRefExt, Ty, TyBuilder, TyKind, TypeWalk, WhereClause,
+    TraitEnvironment, TraitRef, TraitRefExt, Ty, TyBuilder, TyKind, WhereClause,
 };
 
 #[derive(Debug)]

crates/hir_ty/src/method_resolution.rs

@@ -6,11 +6,7 @@ use std::{iter, sync::Arc};
 
 use arrayvec::ArrayVec;
 use base_db::CrateId;
-use chalk_ir::{
-    cast::Cast,
-    fold::{Fold, Folder},
-    Fallible, Mutability, UniverseIndex,
-};
+use chalk_ir::{cast::Cast, Mutability, UniverseIndex};
 use hir_def::{
     lang_item::LangItemTarget, nameres::DefMap, AssocContainerId, AssocItemId, FunctionId,
     GenericDefId, HasModule, ImplId, Lookup, ModuleId, TraitId,
@@ -25,9 +21,9 @@ use crate::{
     primitive::{self, FloatTy, IntTy, UintTy},
     static_lifetime,
     utils::all_super_traits,
-    AdtId, BoundVar, Canonical, CanonicalVarKinds, DebruijnIndex, FnPointer, FnSig, ForeignDefId,
+    AdtId, Canonical, CanonicalVarKinds, DebruijnIndex, FnPointer, FnSig, ForeignDefId,
     InEnvironment, Interner, Scalar, Substitution, TraitEnvironment, TraitRefExt, Ty, TyBuilder,
-    TyExt, TyKind, TypeWalk,
+    TyExt, TyKind,
 };
 
 /// This is used as a key for indexing impls.

crates/hir_ty/src/traits.rs

@@ -12,7 +12,7 @@ use crate::{
     Solution, TraitRefExt, Ty, TyKind, WhereClause,
 };
 
-use self::chalk::{from_chalk, Interner, ToChalk};
+use self::chalk::Interner;
 
 pub(crate) mod chalk;
 
@@ -101,8 +101,7 @@ pub(crate) fn trait_solve_query(
     // We currently don't deal with universes (I think / hope they're not yet
     // relevant for our use cases?)
     let u_canonical = chalk_ir::UCanonical { canonical, universes: 1 };
-    let solution = solve(db, krate, &u_canonical);
-    solution.map(|solution| solution_from_chalk(db, solution))
+    solve(db, krate, &u_canonical)
 }
 
 fn solve(
@@ -170,13 +169,6 @@ fn is_chalk_print() -> bool {
     std::env::var("CHALK_PRINT").is_ok()
 }
 
-fn solution_from_chalk(
-    db: &dyn HirDatabase,
-    solution: chalk_solve::Solution<Interner>,
-) -> Solution {
-    solution
-}
-
 #[derive(Debug, Copy, Clone, PartialEq, Eq, Hash)]
 pub enum FnTrait {
     FnOnce,