HIR Typecheck - Auto trait searching fixes

1 files changed, 10 insertions, 0 deletions

diff --git a/src/hir/hir.hpp b/src/hir/hir.hpp
index 60d0012b..6c560510 100644
--- a/src/hir/hir.hpp
+++ b/src/hir/hir.hpp
@@ -145,6 +145,16 @@ struct TraitMarkings
     bool    is_always_sized = false;
     /// `true` if there is a Copy impl
     bool    is_copy = false;
+
+    struct AutoMarking {
+        // If present, this impl is conditionally true based on the listed type parameters
+        ::std::vector< ::HIR::TypeRef> conditions;
+        // Implementation state
+        bool is_impled;
+    };
+    
+    // General auto trait impls
+    mutable ::std::map< ::HIR::SimplePath, AutoMarking>    auto_impls;
 };
 
 class Enum