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

@value interface Interface {}

concrete Type<#x|> {
  #x requires Interface
}