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

@type interface Object1<#x|> { }

concrete Object2<|#y> {
  defines Object1<#y>
}