struct Foo{
    Point p;
};

struct Point{
    int x;
    int y;
};

void foo(){
    var foo:Foo;

    typeof(foo) == ^Foo
    typeof(foo.p) == ^Point
    typeof(foo.p.x) == ^int


    let bar:Foo;

    typeof(bar) == (const^)Foo;
    typeof(bar.p) == (const^)Point;
    typeof(bar.p.x) == (const^)int;


}