summaryrefslogtreecommitdiff
path: root/src/hir/hir.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/hir/hir.cpp')
-rw-r--r--src/hir/hir.cpp1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/hir/hir.cpp b/src/hir/hir.cpp
index c23e86a0..0ae4a786 100644
--- a/src/hir/hir.cpp
+++ b/src/hir/hir.cpp
@@ -533,6 +533,7 @@ bool ::HIR::TraitImpl::more_specific_than(const ::HIR::TraitImpl& other) const
auto it_t = bounds_t.begin();
for(auto it_o = bounds_o.begin(); it_o != bounds_o.end(); ++it_o)
{
+ // TODO: `T: Foo<T>` is more specific than `T: Foo<U>`
while( ::ord(*it_t, *it_o) == OrdLess && it_t != bounds_t.end() )
++ it_t;
if( it_t == bounds_t.end() || ::ord(*it_t, *it_o) > OrdEqual ) {