[SILGen] conformsToInvertible of no-implicit-copy

The "no implicit copy" parameters such as a `consuming` or `borrowing`
parameter of an otherwise Copyable type was not being handled correctly
by `conformsToInvertible`. We don't have conformances for SIL types in
the AST, so they're supposed to be handled earlier.

fixes rdar://120462547

Author: kavon

lib/AST/Type.cpp

@@ -180,6 +180,10 @@ static bool alwaysNoncopyable(Type ty) {
 static CanType preprocessType(GenericEnvironment *env, Type orig) {
   Type type = orig;
 
+  // Always strip off SILMoveOnlyWrapper.
+  if (auto wrapper = type->getAs<SILMoveOnlyWrappedType>())
+    type = wrapper->getInnerType();
+
   // Turn any type parameters into archetypes.
   if (env)
     if (!type->hasArchetype() || type->hasOpenedExistential())

test/SILGen/moveonly_basics.swift

@@ -1,4 +1,5 @@
 // RUN: %target-swift-emit-silgen -module-name test %s | %FileCheck %s --enable-var-scope
+// RUN: %target-swift-emit-silgen -enable-experimental-feature NoncopyableGenerics -module-name test %s | %FileCheck %s --enable-var-scope
 
 class Retainable {}
 
@@ -27,3 +28,11 @@ func testHasStatic_1() {
 func testHasStatic_2() {
   _ = HasStatic.b.y
 }
+
+
+struct NormalType {}
+func expectWrapper(_ a : consuming NormalType) {}
+
+// CHECK-LABEL: sil hidden [ossa] @$s4test13expectWrapperyyAA10NormalTypeVnF : $@convention(thin) (NormalType) -> () {
+// CHECK:         bb0({{.*}} : @noImplicitCopy @_eagerMove $NormalType):
+// CHECK:           alloc_box ${ var @moveOnly NormalType }, var