IIRC the core reason is that expression nodes in the AST cannot contain statements. Isn't it possible to create a "bridge" node type that is allowed to appear in expressions, but may also contain statements?
Sure, but that would be horrible (from an implementation point of view). The better way is to use an ir/backend inliner, ie use gdc or ldc.
