12e2cdd0aSRiver Riddle// RUN: mlir-opt -test-type-interfaces -allow-unregistered-dialect -verify-diagnostics %s 22e2cdd0aSRiver Riddle 32e2cdd0aSRiver Riddle// expected-remark@below {{'!test.test_type' - TestA}} 42e2cdd0aSRiver Riddle// expected-remark@below {{'!test.test_type' - TestB}} 52e2cdd0aSRiver Riddle// expected-remark@below {{'!test.test_type' - TestC}} 62e2cdd0aSRiver Riddle// expected-remark@below {{'!test.test_type' - TestD}} 7*88f25bdaSAlex Zinenko// expected-remark@below {{'!test.test_type' - TestRet}} 82e2cdd0aSRiver Riddle// expected-remark@below {{'!test.test_type' - TestE}} 92e2cdd0aSRiver Riddle%foo0 = "foo.test"() : () -> (!test.test_type) 102e2cdd0aSRiver Riddle 112e2cdd0aSRiver Riddle// Type without the test interface. 122e2cdd0aSRiver Riddle%foo1 = "foo.test"() : () -> (i32) 13