Remove unneccessary (unwanted) default ctors from RICH derived conditions
Related merge request !3694 to merge rich-remove-unneccessary-default-ctors
merge request
5 jobs
57 seconds, queued for 3 seconds