Add Ref to TypeName

Author: nathanwhit

chalk-ir/src/debug.rs

@@ -145,6 +145,7 @@ impl<I: Interner> Debug for TypeName<I> {
             TypeName::Tuple(arity) => write!(fmt, "{:?}", arity),
             TypeName::OpaqueType(opaque_ty) => write!(fmt, "!{:?}", opaque_ty),
             TypeName::Raw(mutability) => write!(fmt, "{:?}", mutability),
+            TypeName::Ref(mutability) => write!(fmt, "{:?}", mutability),
             TypeName::Error => write!(fmt, "{{error}}"),
         }
     }

chalk-ir/src/lib.rs

@@ -159,6 +159,9 @@ pub enum TypeName<I: Interner> {
     /// a raw pointer type like `*const T` or `*mut T`
     Raw(Mutability),
 
+    /// a reference type like `&T` or `&mut T`
+    Ref(Mutability),
+
     /// a placeholder for opaque types like `impl Trait`
     OpaqueType(OpaqueTyId<I>),
 

chalk-solve/src/clauses.rs

@@ -411,6 +411,7 @@ fn match_type_name<I: Interner>(
             builder.push_fact(WellFormed::Ty(application.clone().intern(interner)))
         }
         TypeName::Raw(_) => builder.push_fact(WellFormed::Ty(application.clone().intern(interner))),
+        TypeName::Ref(_) => builder.push_fact(WellFormed::Ty(application.clone().intern(interner))),
     }
 }