summaryrefslogtreecommitdiff
path: root/src/hir/hir.hpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/hir/hir.hpp')
-rw-r--r--src/hir/hir.hpp10
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