And I’m rather proud of myself for being able to do this. Simply put, if you have a class
class A;
var int A1;
and an interface
interface I;
var int I1;
and one more class
class W;
var int W1;
and yet another class
class Dick extends A implements I within(W);
then for a variable Dick d of type Dick, all of the following will
be resolved correctly:
d.A1 d.I1 d.W1
Won’t write about how I did for now since I’m “in the zone”, but expect a long-ish post on the topic soon.