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

@value interface Interface<#x|> { }

concrete Type<|#x> {
  @value something<#y>
    #y allows Interface<#x>
  () -> ()
}