// RUN: npcomp-opt <%s | FileCheck %s --dump-input=fail
// CHECK-LABEL: func @f
// CHECK-SAME: !npcomp_rt.buffer_view
func @f(%arg0: !npcomp_rt.buffer_view) {
return
}