1// RUN: mlir-opt -test-type-interfaces -allow-unregistered-dialect -verify-diagnostics %s 2 3// expected-remark@below {{'!test.test_type' - TestA}} 4// expected-remark@below {{'!test.test_type' - TestB}} 5// expected-remark@below {{'!test.test_type' - TestC}} 6// expected-remark@below {{'!test.test_type' - TestD}} 7// expected-remark@below {{'!test.test_type' - TestRet}} 8// expected-remark@below {{'!test.test_type' - TestE}} 9%foo0 = "foo.test"() : () -> (!test.test_type) 10 11// Type without the test interface. 12%foo1 = "foo.test"() : () -> (i32) 13