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

@value interface Type0 {}

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

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