Community
Participate
Working Groups
3.7.1. Show inferred type for UnionType. See bug 351048 for initial discussion.
This has already been implemented along with bug 341485. The hover for the union-typed variable shows the intersection type from the variable's signature.