diff --git a/explorer/interpreter/impl_scope.cpp b/explorer/interpreter/impl_scope.cpp
index b8926536cd28..6654a001858f 100644
--- a/explorer/interpreter/impl_scope.cpp
+++ b/explorer/interpreter/impl_scope.cpp
@@ -276,7 +276,7 @@ static auto InSameMatchFirst(Nonnull<const Witness*> a,
                              Nonnull<const Witness*> b) -> bool {
   const auto* impl_a = dyn_cast<ImplWitness>(a);
   const auto* impl_b = dyn_cast<ImplWitness>(b);
-  if (!impl_b || !impl_b) {
+  if (!impl_a || !impl_b) {
     return false;
   }