@value interface Object1<#x|> {}

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