Open
Description
Side comment: We should probably check if we can use NonZero
types in other places as well.
Originally posted by @larseggert in #2593 (comment)
Side comment: We should probably check if we can use NonZero
types in other places as well.
Originally posted by @larseggert in #2593 (comment)