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

// Setup.

@type interface Type<#x|> {
  #x requires Value0
}

@value interface Value0 {}

@value interface Value1<|#y> {
  #y requires Value0
}

@value interface Value3<|#z> {
  #z defines Type<Value0>
}


// Tests.

@value interface Object1<#x> {
  #x requires Value3<#x>
}