@value interface Object1<#x,#y> {
  refines Object3<#y>
  // -> refines Object2
}

@value interface Object2 {}

@type interface Type<#x> {}

concrete Child {
  refines Parent<Child>
  // -> refines Object1<Child,Object3<Object2>>
  // -> refines Object3<Object3<Object2>>
  // -> refines Object2

  defines Type<Child>
}

@value interface Parent<#x> {
  refines Object1<#x,Object3<Object2>>
  // -> refines Object3<Object3<Object2>>
  // -> refines Object2
}

@value interface Object3<#x> {
  refines Object2
}