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

@value interface Type1 { }

@value interface Type2 {
  refines Type1
}

@value interface Inherited<|#x> { }

@value interface Parent {
  refines Inherited<Type2>
}

concrete Child {
  refines Parent
  refines Inherited<Type1>
}