Sema: Two small fixes for noncopyable generics SIL tests

Author: slavapestov

lib/Sema/TypeCheckDecl.cpp

@@ -954,10 +954,6 @@ InvertibleAnnotationRequest::evaluate(Evaluator &evaluator,
   if (!ctx.LangOpts.hasFeature(Feature::NoncopyableGenerics))
     return InverseMarking::forInverse(Kind::None);
 
-  // FIXME: just never allow lexical-lifetimes to be disabled?
-  if (!ctx.supportsMoveOnlyTypes())
-    decl->diagnose(diag::moveOnly_requires_lexical_lifetimes);
-
   /// The invertible protocol being targeted by this annotation request.
 
   std::function<bool(Type)> isTarget = [&](Type t) -> bool {

lib/Sema/TypeCheckType.cpp

@@ -1083,6 +1083,14 @@ Type TypeResolution::applyUnboundGenericArguments(
   if (didDiagnoseMoveOnlyGenericArgs(ctx, loc, resultType, genericArgs, dc))
     return ErrorType::get(ctx);
 
+  if (options.contains(TypeResolutionFlags::SILType)) {
+    if (auto nominal = dyn_cast<NominalTypeDecl>(decl)) {
+      if (nominal->isOptionalDecl()) {
+        skipRequirementsCheck = true;
+      }
+    }
+  }
+
   // Get the substitutions for outer generic parameters from the parent
   // type.
   if (parentTy) {