HIR Typecheck - Fuzzy Copy with unresolved ATYs

thepowersgang · Jul 27, 2024 · 8fe81d2 · 8fe81d2
1 parent 7ece8a6
commit 8fe81d2
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/hir_typeck/helpers.cpp b/src/hir_typeck/helpers.cpp
@@ -3872,6 +3872,9 @@ ::HIR::Compare TraitResolution::type_is_copy(const Span& sp, const ::HIR::TypeRe
  return ::HIR::Compare::Fuzzy;
  }
  else {
+ if( type.data().is_Path() && type.data().as_Path().binding.is_Unbound() ) {
+ return ::HIR::Compare::Fuzzy;
+ }
  return ::HIR::Compare::Unequal;
  }
  }