fix: consider ADT's generic parameters

Author: lowr

chalk-integration/src/query.rs

@@ -8,7 +8,7 @@ use crate::program::Program;
 use crate::program_environment::ProgramEnvironment;
 use crate::tls;
 use crate::SolverChoice;
-use chalk_ir::{Substitution, TraitId};
+use chalk_ir::TraitId;
 use chalk_solve::clauses::builder::ClauseBuilder;
 use chalk_solve::clauses::program_clauses::ToProgramClauses;
 use chalk_solve::coherence::orphan;
@@ -224,11 +224,13 @@ fn environment(db: &dyn LoweringDatabase) -> Result<Arc<ProgramEnvironment>, Cha
         .iter()
         .filter(|(_, auto_trait)| auto_trait.is_auto_trait())
     {
-        for &adt_id in program.adt_data.keys() {
-            let ty = chalk_ir::TyKind::Adt(adt_id, Substitution::empty(builder.interner()));
-            chalk_solve::clauses::push_auto_trait_impls(builder, auto_trait_id, &ty)
-                .map_err(|_| ())
-                .unwrap();
+        for adt_datum in program.adt_data.values() {
+            builder.push_binders(adt_datum.binders.clone(), |builder, _| {
+                let ty = chalk_ir::TyKind::Adt(adt_datum.id, builder.substitution_in_scope());
+                chalk_solve::clauses::push_auto_trait_impls(builder, auto_trait_id, &ty)
+                    .map_err(|_| ())
+                    .unwrap();
+            });
         }
     }