add unsize builtin impls

Author: basil-cow

chalk-integration/src/lowering.rs

@@ -1822,6 +1822,7 @@ impl LowerWellKnownTrait for WellKnownTrait {
             Self::Copy => rust_ir::WellKnownTrait::Copy,
             Self::Clone => rust_ir::WellKnownTrait::Clone,
             Self::Drop => rust_ir::WellKnownTrait::Drop,
+            Self::Unsize => rust_ir::WellKnownTrait::Unsize,
         }
     }
 }

chalk-ir/src/debug.rs

@@ -210,7 +210,6 @@ impl<I: Interner> Debug for DynTy<I> {
         write!(fmt, "dyn {:?} + {:?}", bounds, lifetime)
     }
 }
-
 impl Debug for InferenceVar {
     fn fmt(&self, fmt: &mut Formatter<'_>) -> Result<(), Error> {
         write!(fmt, "?{}", self.index)

chalk-ir/src/lib.rs

@@ -1351,6 +1351,15 @@ impl<I: Interner> WhereClause<I> {
             wc => wc.cast(interner),
         }
     }
+
+    /// If where clause is a `TraitRef`, returns its trait id
+    pub fn trait_id(&self) -> Option<TraitId<I>> {
+        match self {
+            WhereClause::Implemented(trait_ref) => Some(trait_ref.trait_id),
+            WhereClause::AliasEq(_) => None,
+            WhereClause::LifetimeOutlives(_) => None,
+        }
+    }
 }
 
 impl<I: Interner> QuantifiedWhereClause<I> {
@@ -1369,6 +1378,11 @@ impl<I: Interner> QuantifiedWhereClause<I> {
     pub fn into_from_env_goal(self, interner: &I) -> Binders<DomainGoal<I>> {
         self.map(|wc| wc.into_from_env_goal(interner))
     }
+
+    /// If the underlying where clause is a `TraitRef`, returns its trait id
+    pub fn trait_id(&self) -> Option<TraitId<I>> {
+        self.skip_binders().trait_id()
+    }
 }
 
 #[derive(Copy, Clone, PartialEq, Eq, Hash, PartialOrd, Ord, HasInterner)]

chalk-parse/src/ast.rs

@@ -68,6 +68,7 @@ pub enum WellKnownTrait {
     Copy,
     Clone,
     Drop,
+    Unsize,
 }
 
 #[derive(Clone, PartialEq, Eq, Debug)]

chalk-parse/src/parser.lalrpop

@@ -51,6 +51,7 @@ WellKnownTrait: WellKnownTrait = {
      "#" "[" "lang" "(" "copy" ")" "]" => WellKnownTrait::Copy,
      "#" "[" "lang" "(" "clone" ")" "]" => WellKnownTrait::Clone,
      "#" "[" "lang" "(" "drop" ")" "]" => WellKnownTrait::Drop,
+     "#" "[" "lang" "(" "unsize" ")" "]" => WellKnownTrait::Unsize,
 };
 
 StructDefn: StructDefn = {

chalk-solve/src/clauses/builtin_traits.rs

@@ -5,6 +5,7 @@ use chalk_ir::{Substitution, Ty};
 mod clone;
 mod copy;
 mod sized;
+mod unsize;
 
 /// For well known traits we have special hard-coded impls, either as an
 /// optimization or to enforce special rules for correctness.
@@ -32,6 +33,9 @@ pub fn add_builtin_program_clauses<I: Interner>(
             WellKnownTrait::Sized => sized::add_sized_program_clauses(db, builder, &trait_ref, ty),
             WellKnownTrait::Copy => copy::add_copy_program_clauses(db, builder, &trait_ref, ty),
             WellKnownTrait::Clone => clone::add_clone_program_clauses(db, builder, &trait_ref, ty),
+            WellKnownTrait::Unsize => {
+                unsize::add_unsize_program_clauses(db, builder, &trait_ref, ty)
+            }
             // Drop impls are provided explicitly
             WellKnownTrait::Drop => (),
         }