// RUN: not %target-sil-opt -enable-ast-verifier %s

import Swift func g(@opened(Any