1 files changed, 1 insertions, 0 deletions
diff --git a/src/hir/hir.hpp b/src/hir/hir.hpp
index 76e6cf81..66f4babc 100644
--- a/src/hir/hir.hpp
+++ b/src/hir/hir.hpp
@@ -383,6 +383,7 @@ public:
     }
 
     bool more_specific_than(const TraitImpl& x) const;
+    bool overlaps_with(const TraitImpl& other) const;
 };
 
 class MarkerImpl