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

@value interface Type0 {}

@value interface Type1<#x> {
  #x requires Type0
}

concrete Type<x> {
  @value something (Type1<#x>) -> ()
}