// RUN: %target-typecheck-verify-swift -primary-file %S/Inputs/rdar19548610a.swift %S/Inputs/rdar19548610b.swift -module-name A