inferred_or_default when trying to hash

src/ty.rs

@@ -44,7 +44,7 @@ impl From<inference::Var<InferredType>> for Type {
 impl TryHash for Type {
     type Error = eyre::Report;
     fn try_hash(&self, hasher: &mut impl std::hash::Hasher) -> Result<(), Self::Error> {
-        match self.inferred() {
+        match self.inferred_or_default()? {
             Ok(ty) => ty.try_hash(hasher).map_err(|e| eyre!(e))?,
             Err(_) => eyre::bail!("type is not inferred, fail to hash"),
         }