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

@value interface Object1<|#x> { }

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