// RUN: not %target-sil-opt %s
sil@__:$<__ where τ:k>()->(