// RUN: %target-sil-opt %s
sil public_external@a:$()->()