ivy/test/cont2a.ivy

#lang ivy1.7

object foo = {
    object obj = {
        type foo
    }
}