half work

Author: ChayimFriedman2

crates/hir-ty/src/display.rs

@@ -684,7 +684,8 @@ impl HirDisplay for ProjectionTy {
                         ),
                         &assoc_type
                             .bounds
-                            .skip_binders()
+                            .clone()
+                            .substitute(Interner, &self.substitution)
                             .iter()
                             .map(|bound| {
                                 // We ignore `Self` anyway when formatting, so it's fine put an error type in it.

crates/hir-ty/src/lower.rs

@@ -52,7 +52,7 @@ use crate::{
     FnSubst, ImplTrait, ImplTraitId, ImplTraits, Interner, Lifetime, LifetimeData,
     LifetimeOutlives, PlaceholderIndex, PolyFnSig, ProgramClause, ProjectionTy,
     QuantifiedWhereClause, QuantifiedWhereClauses, Substitution, TraitEnvironment, TraitRef,
-    TraitRefExt, Ty, TyBuilder, TyKind, VariableKind, VariableKinds, WhereClause, all_super_traits,
+    TraitRefExt, Ty, TyBuilder, TyKind, VariableKinds, WhereClause, all_super_traits,
     chalk_db::generic_predicate_to_inline_bound,
     consteval::{intern_const_ref, path_to_const, unknown_const, unknown_const_as_generic},
     db::HirDatabase,
@@ -519,15 +519,7 @@ impl<'a> TyLoweringContext<'a> {
 
         let assoc_type_binders = VariableKinds::from_iter(
             Interner,
-            method_generics.iter_id().map(|param_id| match param_id {
-                GenericParamId::TypeParamId(_) => {
-                    VariableKind::Ty(chalk_ir::TyVariableKind::General)
-                }
-                GenericParamId::ConstParamId(param_id) => {
-                    VariableKind::Const(self.db.const_param_ty(param_id))
-                }
-                GenericParamId::LifetimeParamId(_) => VariableKind::Lifetime,
-            }),
+            variable_kinds_from_generics(self.db, method_generics.iter_id()),
         );
 
         let returned_subst = self.subst_for_generics();