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

@value interface Object1<#x|> { }

@value interface Object2<#z> { }

@value interface Object3<#y|> {
  // Despite matching variance with Object1, Object2 turns it into invariant.
  refines Object2<Object1<#y>>
}