// RUN: mlir-opt -split-input-file -verify-diagnostics %s func.func @invalid_cast(%a: index) { // expected-error @below {{cast incompatible}} %0 = index.casts %a : index to index return } // ----- func.func @invalid_cast(%a: i64) { // expected-error @below {{cast incompatible}} %0 = index.casts %a : i64 to i64 return } // ----- func.func @invalid_cast(%a: index) { // expected-error @below {{cast incompatible}} %0 = index.castu %a : index to index return } // ----- func.func @invalid_cast(%a: i64) { // expected-error @below {{cast incompatible}} %0 = index.castu %a : i64 to i64 return }