Skip to content

Use 'NonEmpty' for the fields in an 'HsProjection' (#20389)

Zubin requested to merge wip/20389 into master

Fixes #20389 (closed)

I unrolled the definition of NonEmpty into ProjectionE for TH since I didn't want to wire in the NonEmpty constructor.

Merge request reports