@type interface Object1<#x|> { }

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