// Issue #783

-- in.cue --
elipsis: {
    test1: {
        string
        #foo: "bar"
    }

    #Def: {
        ...
        #foo: string
        _
    }
    check: test1 & #Def
}

bulk: {
    test1: {
        string
        #foo: "bar"
    }

    #Def: {
        [string]: int
        #foo: string
        _
    }
    check: test1 & #Def
}

optional: {
    test1: {
        string
        #foo: "bar"
    }

    #Def: {
        bar?: int
        #foo: string
        _
    }
    check: test1 & #Def
}

issue783: {
    test1: {
        string
        #foo: "bar"
    }

    test2: {
        hello: "world"
        #foo: "bar"
    }


    #Def1: {
        ...
        #foo: string
    } | {
        string
        #foo: string
    }
    check1a: test1 & #Def1
    check1b: test2 & #Def1

    #Def2: {
        ...
        #foo: string
        _
    }
    check2a: test1 & #Def2
    check2b: test2 & #Def2
}
-- out/eval --
(struct){
  elipsis: (struct){
    test1: (string){
      string
      #foo: (string){ "bar" }
    }
    #Def: (_){
      _
      #foo: (string){ string }
    }
    check: (string){
      string
      #foo: (string){ "bar" }
    }
  }
  bulk: (struct){
    test1: (string){
      string
      #foo: (string){ "bar" }
    }
    #Def: (_){
      _
      #foo: (string){ string }
    }
    check: (string){
      string
      #foo: (string){ "bar" }
    }
  }
  optional: (struct){
    test1: (string){
      string
      #foo: (string){ "bar" }
    }
    #Def: (_){
      _
      #foo: (string){ string }
    }
    check: (string){
      string
      #foo: (string){ "bar" }
    }
  }
  issue783: (struct){
    test1: (string){
      string
      #foo: (string){ "bar" }
    }
    test2: (struct){
      hello: (string){ "world" }
      #foo: (string){ "bar" }
    }
    #Def1: ((string|struct)){ |((#struct){
        #foo: (string){ string }
      }, (string){
        string
        #foo: (string){ string }
      }) }
    check1a: (string){
      string
      #foo: (string){ "bar" }
    }
    check1b: (#struct){
      hello: (string){ "world" }
      #foo: (string){ "bar" }
    }
    #Def2: (_){
      _
      #foo: (string){ string }
    }
    check2a: (string){
      string
      #foo: (string){ "bar" }
    }
    check2b: (#struct){
      hello: (string){ "world" }
      #foo: (string){ "bar" }
    }
  }
}
-- out/compile --
--- in.cue
{
  elipsis: {
    test1: {
      string
      #foo: "bar"
    }
    #Def: {
      ...
      #foo: string
      _
    }
    check: (〈0;test1〉 & 〈0;#Def〉)
  }
  bulk: {
    test1: {
      string
      #foo: "bar"
    }
    #Def: {
      [string]: int
      #foo: string
      _
    }
    check: (〈0;test1〉 & 〈0;#Def〉)
  }
  optional: {
    test1: {
      string
      #foo: "bar"
    }
    #Def: {
      bar?: int
      #foo: string
      _
    }
    check: (〈0;test1〉 & 〈0;#Def〉)
  }
  issue783: {
    test1: {
      string
      #foo: "bar"
    }
    test2: {
      hello: "world"
      #foo: "bar"
    }
    #Def1: ({
      ...
      #foo: string
    }|{
      string
      #foo: string
    })
    check1a: (〈0;test1〉 & 〈0;#Def1〉)
    check1b: (〈0;test2〉 & 〈0;#Def1〉)
    #Def2: {
      ...
      #foo: string
      _
    }
    check2a: (〈0;test1〉 & 〈0;#Def2〉)
    check2b: (〈0;test2〉 & 〈0;#Def2〉)
  }
}