Complex where clause in promote_rule

For my reference, discussion on Base.@pure black magick:
https://discourse.julialang.org/t/pure-macro/3871