28574, "jabraham17", "[Bug]: goto type definition on a record/class member does not work", "2026-03-24T00:17:11Z"
With the following code in my editor using the resolver with CLS, I am unnable to goto-type-definition on the variable x
record myOtherRec {
proc foo(x) { }
}
record myRec {
var x: myOtherRec;
proc doIt() {
var y = x; // can't goto type on x
x.foo(1);
y.foo(1);
}
}
var r: myRec;
r.doIt();
The resolver clearly knows the type of x, since I can goto type def on y, but not x.
This seems to generally be a problem with aggregate types, as the above doesn't work with either a record or a class, even when the aggregate is fully concrete (like above)