From 7eabd0a64a85016a99b017d399e40feb8d341d70 Mon Sep 17 00:00:00 2001
From: Manmeet Singh <49202620+Maan2003@users.noreply.github.com>
Date: Fri, 21 Apr 2023 21:58:37 +0530
Subject: [PATCH] fix incorrect condition in InSameMatchFirst (#2773)

fixes a typo
---
 explorer/interpreter/impl_scope.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
   }