zeolite-lang-0.1.0.0: src/Test/testfiles/duplicate_define.0rx

@value interface Value0 {}

@value interface Value1 {
  refines Value0
}

@type interface Type0<|#x> {}

concrete Object {
  defines Type0<Value0>
  defines Type0<Value1>
}