Skip to content

Better assignability errors to never-producing vacuous intersections - #37618

Closed
Daniel Rosenwasser (DanielRosenwasser) wants to merge 3 commits into
masterfrom
betterNeverErrors
Closed

Better assignability errors to never-producing vacuous intersections#37618
Daniel Rosenwasser (DanielRosenwasser) wants to merge 3 commits into
masterfrom
betterNeverErrors

Accepted baselines.

13269b3
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs