@value interface Object1<|#x> {}

@value interface Object2<#y|> {
  refines Object1<#y>
}