https://issues.dlang.org/show_bug.cgi?id=21966

          Issue ID: 21966
           Summary: elem ~ elem could yield elem[]
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P1
         Component: dmd
          Assignee: nobody@puremagic.com
          Reporter: b2.temp@gmx.com

idea hidden in DMD compiler

---
void main()
{
    char[] ab = 'a' ~ 'b';
    int[] z1 =  0 ~  1;
}
---

CatExp of two compatible elems could result into a dynamic array, instead of the current errors:

>/tmp/temp_7F4CF56284B0.d:5:17: Error: incompatible types for `(cast(int)'a') ~ (cast(int)'b')`: both operands are of type `int`
>/tmp/temp_7F4CF56284B0.d:6:17: Error: incompatible types for `(0) ~ (1)`: both operands are of type `int`

--