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

@value interface Type1 {}

@value interface Type2 {
  refines Type1
}

@value interface Type3 {
  refines Type2
}

@value interface Interface1 {
  something (Type2) -> (Type1)
}

@value interface Interface2 {
  something (Type3) -> (Type2)
}

concrete Test {
  refines Interface1
  refines Interface2

  @value something (Type1) -> (Type1)
}