zeolite-lang-0.16.0.0: src/Test/testfiles/requires_variance_right.0rx

@value interface Interface<|#x> {}

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