C = Class()
C::
    X = Self
C.
    method self =
        _ = self
        x = C()
        y: C::X = Self()
        log x, y

.C2 = Class { .x = Int }
.C2.
    method self =
        _ = self
        x = .C2 { .x = 1 }
        y = Self { .x = 1 }
        log x, y

x = C.new()
x.method()

y = .C2.new { .x = 1 }
y.method()