// RUN: mlir-opt -test-type-interfaces -allow-unregistered-dialect -verify-diagnostics %s | |
// expected-remark@below {{'!test.test_type' - TestA}} | |
// expected-remark@below {{'!test.test_type' - TestB}} | |
// expected-remark@below {{'!test.test_type' - TestC}} | |
// expected-remark@below {{'!test.test_type' - TestD}} | |
// expected-remark@below {{'!test.test_type' - TestE}} | |
%foo0 = "foo.test"() : () -> (!test.test_type) | |
// Type without the test interface. | |
%foo1 = "foo.test"() : () -> (i32) |