https://issues.dlang.org/show_bug.cgi?id=23086 --- Comment #2 from Basile-z <b2.temp at gmx.com> --- the check should dig in the sub expressions and take in account if they contain impure calls, in which case the message should not be emitted. --