Narrow tuple unions through truthiness and type checks (#29125) Preserve literal types when consuming dictionary literals (#29145) Preserve non-boolean comparison results for intersections (#28045) ...