ivy/test/cont1.ivy

#lang ivy1.7

module mod = {
    object obj = {
        type foo
    }
}

instantiate mod

object obj = { ...
   var x : foo
}