zeolite-lang-0.1.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>
}