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

@type interface Object1<|#x> {}

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