// RUN: mlir-opt %s -split-input-file -verify-diagnostics

//===----------------------------------------------------------------------===//
// pdl::RangeType
//===----------------------------------------------------------------------===//

// expected-error@below {{element of pdl.range cannot be another range, but got'!pdl.range<value>'}}
#invalid_element = !pdl.range<range<value>>