Initial implementation of possible shortcircuiting collect lint - #2077
Closed
marcusklaas wants to merge 10 commits into
Closed
Initial implementation of possible shortcircuiting collect lint#2077marcusklaas wants to merge 10 commits into
marcusklaas wants to merge 10 commits into