add unsize builtin impls

Author: basil-cow

chalk-integration/src/lowering.rs

@@ -1822,6 +1822,7 @@ impl LowerWellKnownTrait for WellKnownTrait {
             Self::CopyTrait => rust_ir::WellKnownTrait::CopyTrait,
             Self::CloneTrait => rust_ir::WellKnownTrait::CloneTrait,
             Self::DropTrait => rust_ir::WellKnownTrait::DropTrait,
+            Self::UnsizeTrait => rust_ir::WellKnownTrait::UnsizeTrait,
         }
     }
 }

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 {
     CopyTrait,
     CloneTrait,
     DropTrait,
+    UnsizeTrait,
 }
 
 #[derive(Clone, PartialEq, Eq, Debug)]

chalk-parse/src/parser.lalrpop

@@ -51,6 +51,7 @@ WellKnownTrait: WellKnownTrait = {
      "#" "[" "lang" "(" "copy" ")" "]" => WellKnownTrait::CopyTrait,
      "#" "[" "lang" "(" "clone" ")" "]" => WellKnownTrait::CloneTrait,
      "#" "[" "lang" "(" "drop" ")" "]" => WellKnownTrait::DropTrait,
+     "#" "[" "lang" "(" "unsize" ")" "]" => WellKnownTrait::UnsizeTrait,
 };
 
 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.
@@ -38,6 +39,9 @@ pub fn add_builtin_program_clauses<I: Interner>(
             WellKnownTrait::CloneTrait => {
                 clone::add_clone_program_clauses(db, builder, &trait_ref, ty)
             }
+            WellKnownTrait::UnsizeTrait => {
+                unsize::add_unsize_program_clauses(db, builder, &trait_ref, ty)
+            }
             // Drop impls are provided explicitly
             WellKnownTrait::DropTrait => (),
         }