diff --git a/lib/SILGen/SILGenConstructor.cpp b/lib/SILGen/SILGenConstructor.cpp
index 0aef4de8034b3..0f4866879fb90 100644
--- a/lib/SILGen/SILGenConstructor.cpp
+++ b/lib/SILGen/SILGenConstructor.cpp
@@ -216,11 +216,9 @@ static void emitImplicitValueConstructor(SILGenFunction &SGF,
           .forwardInto(SGF, Loc, init.get());
         ++elti;
       } else {
-#ifndef NDEBUG
-        assert(
-            field->getType()->isEqual(field->getParentInitializer()->getType())
-              && "Checked by sema");
-#endif
+        assert(field->getType()->getReferenceStorageReferent()->isEqual(
+                   field->getParentInitializer()->getType()) &&
+               "Initialization of field with mismatched type!");
 
         // Cleanup after this initialization.
         FullExpr scope(SGF.Cleanups, field->getParentPatternBinding());
diff --git a/validation-test/compiler_crashers_2_fixed/sr13461.swift b/validation-test/compiler_crashers_2_fixed/sr13461.swift
new file mode 100644
index 0000000000000..b6bda64bdce53
--- /dev/null
+++ b/validation-test/compiler_crashers_2_fixed/sr13461.swift
@@ -0,0 +1,17 @@
+// RUN: %target-swift-frontend -disable-availability-checking -emit-ir -o /dev/null %s
+// REQUIRES: asserts
+
+final class Klass {
+  static var current: Klass {
+    fatalError()
+  }
+}
+private struct Build<T> {
+  let val: T
+  unowned let unownedBinding = Klass.current
+  unowned(unsafe) let unownedUnsafeBinding = Klass.current
+  weak var weakBinding = Klass.current
+}
+private func phase<T>(_ val: T) -> Build<T> {
+  return Build<T>(val: val)
+}