Merge pull request swiftlang#36114 from CodaFi/opt-in

Author: swift-ci

lib/AST/Type.cpp

@@ -818,7 +818,6 @@ Type TypeBase::replaceCovariantResultType(Type newResultType,
 
     auto loadedTy = getWithoutSpecifierType();
     if (auto objectType = loadedTy->getOptionalObjectType()) {
-      assert(!newResultType->getOptionalObjectType());
       newResultType = OptionalType::get(
           objectType->replaceCovariantResultType(newResultType, uncurryLevel));
     }

validation-test/compiler_crashers_2_fixed/rdar74557857.swift

@@ -0,0 +1,7 @@
+// RUN: %target-swift-frontend -typecheck %s
+
+extension Optional {
+  init?() {
+    self.init(nilLiteral: Void())
+  }
+}