Hi Artemus, I am glad that you figured it out. Unfortunately, the compiler only enrich type annotations with proper targets after type-checking (we should change that), so TypeFromElement fails when operating on an element directly if its corresponding declaration tree is available. Regards, Mahmood