zeolite-lang-0.14.0.0: src/Test/testfiles/filtered_self.0rx

@value interface Foo {}

@type interface Bar {}

@value interface Base<|#x> {
  #x requires Foo
  #x defines Bar
}

concrete Value<#y|> {
  refines Base<#self>
  refines Foo
  defines Bar
}