@opensdh , could you please check these examples?

I think for the first example, we look in A first and find T=int.
Same for the second example, we get U=U1 and T=T1.

If you agree, I'll turn this into examples for [basic.lookup.unqual] p5.

I think for the first example, we look in A first and find T=int.

Yes, and this is true even if A is a dependent type.

Same for the second example, we get U=U1 and T=T1.

Yes, both of those are relevant component names ([basic.lookup.unqual]/5 explicitly names "type-specifier or ptr-operator"). Note in that example that

    operator T1::U() { return {1}; }
    operator T2::U() { return {2}; }

are irrelevant.

If you agree, I'll turn this into examples for [basic.lookup.unqual] p5.

Thanks!