// RUN: %empty-directory(%t)
// RUN: not %target-swiftxx-frontend -emit-module -o %t/FortyTwo.swiftmodule -I %S/Inputs %s 2>&1 | %FileCheck %s

// This test checks that Swift recognizes that the DeclA and DeclB provide
// different implementations for `getFortySomething()`

@_implementationOnly import DeclA
import DeclB

@_inlineable
public func callFortySomething() -> CInt {
  return getFortySomething()
}

// CHECK: 'getFortySomething' has different definitions in different modules