// RUN: not %target-sil-opt %s .x.a=Int import Swift