[Diagnostics] NFC: Add a comment about special handling of opaque res…

…ult types
abintom · Feb 13, 2020 · 172c200 · 172c200
1 parent b872bdf
commit 172c200
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/lib/Sema/ConstraintSystem.cpp b/lib/Sema/ConstraintSystem.cpp
@@ -2805,6 +2805,9 @@ static bool diagnoseConflictingGenericArguments(ConstraintSystem &cs,
           if (binding == solution.typeBindings.end())
             return false;
 
+          // Contextual opaque result type is uniquely identified by
+          // declaration it's associated with, so we have to compare
+          // declarations instead of using pointer equality on such types.
           if (auto *opaque =
                   binding->second->getAs<OpaqueTypeArchetypeType>()) {
             auto *decl = opaque->getDecl();