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

@value interface Type1<#x|> { }

@value interface Type2<#x|> {
  // contravariant * contravariant = covariant
  something (Type1<#x>) -> ()
}