HIR Typecheck Static - Tweak cache behaviour for is_copy to reduce thrashing

1 files changed, 15 insertions, 3 deletions

diff --git a/src/hir_typeck/static.cpp b/src/hir_typeck/static.cpp
index 51e4b831..62dbbaba 100644
--- a/src/hir_typeck/static.cpp
+++ b/src/hir_typeck/static.cpp
@@ -1474,11 +1474,23 @@ bool StaticTraitResolve::type_is_copy(const Span& sp, const ::HIR::TypeRef& ty)
         ),
     (Path,
         const auto* markings = e.binding.get_trait_markings();
-        if( markings && ! markings->is_copy )
+        if( markings )
         {
-            return false;
+            if( !markings->is_copy )
+            {
+                // Doesn't impl Copy
+                return false;
+            }
+            else if( !e.path.m_data.as_Generic().m_params.has_params() )
+            {
+                // No params, must be Copy
+                return true;
+            }
+            else
+            {
+                // TODO: Also have a marking that indicates that the type is unconditionally Copy
+            }
         }
-        // TODO: Also have a marking that indicates that the type is unconditionally Copy
 
         {
             auto it = m_copy_cache.find(ty);