@type interface Object1<|#x> { }

concrete Object2<#y|> {
  defines Object1<#y>
}