Skip to content

Make the `Down2` constructor strict

David Feuer requested to merge david.feuer/morley:david.feuer-master-patch-18801 into master

Make the Down2 constructor strict, so that MyEntrypointsWithNever is precisely isomorphic to (). This surely won't matter here, but it seems the right example to set.

Merge request reports