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

@value interface Object1<#x|> { }

@value interface Object2<|#y> {
  refines Object1<#y>
}