diff --git a/lib/SIL/IR/AbstractionPattern.cpp b/lib/SIL/IR/AbstractionPattern.cpp
index 03f161c3e0a..2a2ad69c3af 100644
--- a/lib/SIL/IR/AbstractionPattern.cpp
+++ b/lib/SIL/IR/AbstractionPattern.cpp
@@ -290,7 +290,7 @@ bool AbstractionPattern::isNoncopyable(CanType substTy) const {
     
   auto isDefinitelyCopyable = [&](CanType t) -> bool {
     auto result = copyable->getParentModule()
-      ->checkConformanceWithoutContext(substTy, copyable,
+      ->checkConformanceWithoutContext(t, copyable,
                                        /*allowMissing=*/false);
     return result.has_value() && !result.value().isInvalid();
   };