test/SIL/verifier-fail-instruction.sil

// RUN: not --crash %target-sil-opt %s
// REQUIRES: asserts

class A {
}

sil @bad_instruction : $@convention(thin) (@inout A) -> () {
bb0(%0 : $*A):
  %1 = upcast %0 : $*A to $*A
  %2 = tuple()
  return %2 : $()
}