zeolite-lang-0.24.0.0: src/Test/testfiles/duplicate_refine.0rx

@value interface Value0 { }

@value interface Value1 {
  refines Value0
}

@value interface Value2<|#x> { }

concrete Object {
  refines Value2<Value0>
  refines Value2<Value1>
}