fix SR-12526 test

Author: Marc Rasi

test/AutoDiff/Sema/DerivativeRegistrationCrossModule/Inputs/a.swift

@@ -1,6 +1,6 @@
 public struct Struct {
+  public init() {}
   public func method(_ x: Float) -> Float { x }
-
   public static func +(_ lhs: Self, rhs: Self) -> Self {
     lhs
   }

test/AutoDiff/Sema/DerivativeRegistrationCrossModule/main.swift

@@ -1,7 +1,7 @@
 // RUN: %empty-directory(%t)
 // RUN: %target-swift-frontend -emit-module -primary-file %S/Inputs/a.swift -emit-module-path %t/a.swiftmodule
 // RUN: %target-swift-frontend -emit-module -primary-file %S/Inputs/b.swift -emit-module-path %t/b.swiftmodule -I %t
-// RUN: not --crash %target-swift-frontend-typecheck -verify -I %t %s
+// RUN: %target-swift-frontend-typecheck -verify -I %t %s
 
 // SR-12526: Fix cross-module deserialization crash involving `@derivative` attribute.