Explore the possibility of adding compile time checks on the excluding view type
Closed this issue · 1 comments
vitlinda commented
Explore the possibility of adding compile time checks on the excluding view type
ndido98 commented
We decided that this is not easily implementable, and the benefits that it would have introduced are too slim compared to the effort required to implement it, especially when ExcludingView[A &: B &: CNil, A &: CNil] yields the correct result, which is an empty iterable.