Change Log

Compiler Changes

1. -w now warns about an unused return value of a strongly pure nothrow function call.
2. -noboundscheck has been deprecated in favor of boundscheck=[on|safeonly|off].
3. -vgc was added to list GC allocation code positions in the code.
4. -vcolumns was added to display column numbers in error messages.
5. -color was added to make console output colored.

Language Changes

1. @nogc attribute was added.
2. extern (C++, namespace) was added.
3. Operator overloading for multi-dimensional slicing was added.
4. __traits(getFunctionAttributes) was added.
5. Support template parameter deduction for arguments with a narrowing conversion.
6. Read-Modify-Write operations on shared variables are now deprecated.
7. Support uniform construction syntax for built-in scalar types.

Library Changes

1. Duration.get and its wrappers have been deprecated in favor of the new Duration.split.
2. Some built-in type properties have been replaced with library functions.
3. Associative array keys now require equality instead of order comparison.

Linker Changes

Compiler Changes

1. -w now warns about an unused return value of a strongly pure nothrow function call:

   A discarded return value from a strongly pure nothrow function call now generates a warning.

   int foo() pure nothrow { return 1; }
   void main()
   {
       foo();  // the result of foo() is unused
   }
   

   With the -w switch, the compiler will complain:

   Warning: calling foo without side effects discards return value of type int, prepend a cast(void) if intentional

2. -noboundscheck has been deprecated in favor of boundscheck=[on|safeonly|off]:

   Confusion over what the -noboundscheck command line option did led to the creation of the new option -boundscheck=[on|safeonly|off] which aims to be more clear while enabling more flexibility than was present before.

   -boundscheck=

   • on: Bounds checks are enabled for all code. This is the default.
   • safeonly: Bounds checks are enabled only in @safe code. This is the default for -release builds.
   • off: Bounds checks are disabled completely (even in @safe code). This option should be used with caution and as a last resort to improve performance. Confirm turning off @safe bounds checks is worthwhile by benchmarking.

   Use -boundscheck=off to replace instances of -noboundscheck.

   Prior to this there was no way to enable bounds checking for -release builds nor any way of turning off non-@safe bounds checking without pulling in everything else -release does.

3. -vgc was added to list GC allocation code positions in the code:

   Prints all GC-allocation points. Analysis will follow the semantics of the new @nogc attribute.

4. -vcolumns was added to display column numbers in error messages:

   Diagnostic messages will print the character number from each line head.

   int x = missing_name;
   

   Without -vcolumns:

   test.d(1): Error: undefined identifier missing_name
   

   With -vcolumns:

   test.d(1,9): Error: undefined identifier missing_name
   

5. -color was added to make console output colored:

   Errors, deprecation, and warning messages will be colored.

Language Changes

1. @nogc attribute was added:

   @nogc attribute disallows GC-heap allocation.

   class C {}
   void foo() @nogc
   {
       auto c = new C();   // GC-allocation is disallowed
   }
   

2. extern (C++, namespace) was added:

   To represent a C++ namespace, extern (C++) now takes optional dot-chained identifiers.

   extern (C++, a.b.c) int foo();
   

   is equivalent with:

   namespace a {
     namespace b {
       namespace c {
         int foo();
       }
     }
   }
   

3. Operator overloading for multi-dimensional slicing was added:

   Documentation is here.

   Example code:

   struct MyContainer(E)
   {
       E[][] payload;
   
       this(size_t w, size_t h)
       {
           payload = new E[][](h, w);
       }
   
       size_t opDollar(size_t dim)()
       {
           return payload[dim].length;
       }
   
       auto opSlice(size_t dim)(size_t lwr, size_t upr)
       {
           import std.typecons;
           return tuple(lwr, upr);
       }
   
       void opIndexAssign(A...)(E val, A indices)
       {
           assert(A.length == payload.length);
   
           foreach (dim, x; indices)
           {
               static if (is(typeof(x) : size_t))
               {
                   // this[..., x, ...]
                   payload[dim][x] = val;
               }
               else
               {
                   // this[..., x[0] .. x[1], ...]
                   payload[dim][x[0] .. x[1]] = val;
               }
           }
       }
   }
   void main()
   {
       import std.stdio;
   
       auto c = MyContainer!int(4, 3);
       writefln("[%([%(%d%| %)]%|\n %)]", c.payload);
       // [[0 0 0 0]
       //  [0 0 0 0]
       //  [0 0 0 0]]
   
       c[1 .. 3,
         2,
         0 .. $] = 1;
       /*
       Rewritten as:
       c.opIndexAssign(c.opSlice!0(1, 3),
                       2,
                       c.opSlice!2(0, c.opDollar!2()));
       */
   
       writefln("[%([%(%d%| %)]%|\n %)]", c.payload);
       // [[0 1 1 0]
       //  [0 0 1 0]
       //  [1 1 1 1]]
   }
   

4. __traits(getFunctionAttributes) was added:

   This can take one argument, either a function symbol, function type, function pointer type, or delegate type. Examples:

   void foo() pure nothrow @safe;
   static assert([__traits(getFunctionAttributes, foo)] == ["pure", "nothrow", "@safe"]);
   
   ref int bar(int) @property @trusted;
   static assert([__traits(getFunctionAttributes, typeof(&bar))] == ["@property", "ref", "@trusted"]);
   

5. Support template parameter deduction for arguments with a narrowing conversion:

   Implicit Function Template Instantiation will now consider a narrowing conversion of function arguments when deducing the template instance parameter types.

   void foo(T)(T[] arr, T elem) { ... }
   void main()
   {
       short[] a;
       foo(a, 1);
   }
   

   In 2.065 and earlier, calling foo(a, 1) was not allowed. From 2.066, T is deduced as short by considering a narrowing conversion of the second function argument `1` from int to short.

6. Read-Modify-Write operations on shared variables are now deprecated:

   Examples:

   shared int global;
   void main()
   {
       global++;       // deprecated
       global *= 2;    // deprecated
   }
   

   Instead you should use atomicOp from core.atomic:

   shared int global;
   void main()
   {
       import core.atomic;
       atomicOp!"+="(global, 1);
       atomicOp!"*="(global, 2);
   }
   

7. Support uniform construction syntax for built-in scalar types:

   Examples:

   short n1 = 1;
   auto n2 = short(1); // equivalent with n1, typeof(n2) is short
   
   auto p1 = new long(1);                  // typeof(p1) is long*
   auto p2 = new immutable double(3.14);   // typeof(p2) is immutable(double)*
   

   The constructor argument should be implicitly convertible to the constructed type.

   auto n1 = short(32767); // OK
   auto n2 = short(32768); // Not allowed, out of bounds of signed short -32768 to 32767
   

Library Changes

1. Duration.get and its wrappers have been deprecated in favor of the new Duration.split:

   Duration.get and its wrappers, Duration.weeks, Duration.days, Duration.hours, and Duration.seconds, as well as Duration.fracSec (which served a similar purpose as Duration.get for the fractional second units) have proven to be too easily confused with Duration.total, causing subtle bugs. So, they have been deprecated. In their place, Duration.split has been added - and it's not only very useful, but it does a great job of showing off what D can do. Whereas Duration.get split out all of the units of a Duration and then returned only one of them, Duration.split splits out a Duration into the units that it's told to (which could be one unit or all of them) and returns all of them. It has two overloads, both which take template arguments that indicate which of the units are to be split out. The difference is in how the result is returned. As with most of the templates in core.time and std.datetime which take strings to represent units, Duration.split accepts "weeks", "days", "hours", "minutes", "seconds", "msecs", "usecs", "hnsecs", and "nsecs". The first overload returns the split out units as out parameters.

   auto d = weeks(5) + days(4) + hours(17) + seconds(2) + hnsecs(12_007);
   short days;
   long seconds;
   int msecs;
   d.split!("days", "seconds", "msecs")(days, seconds, msecs);
   assert(days == 39);
   assert(seconds == 61_202);
   assert(msecs == 1);
   

   The arguments can be any integral type (though no protection is given against integer overflow, so unless it's known that the values are going to be small, it's unwise to use a small integral type for any of the arguments). The second overload returns a struct with the unit names as its fields. Only the requested units are present as fields. All of the struct's fields are longs.

   auto d = weeks(5) + days(4) + hours(17) + seconds(2) + hnsecs(12_007);
   auto result = d.split!("days", "seconds", "msecs")();
   assert(result.days == 39);
   assert(result.seconds == 61_202);
   assert(result.msecs == 1);
   

   Or if no units are given to the second overload, then it will return a struct with all of the units save for nsecs (since nsecs would always be 0 when hnsecs is one of the units as Duration has hnsec precision).

   auto d = weeks(5) + days(4) + hours(17) + seconds(2) + hnsecs(12_007);
   auto result = d.split();
   assert(result.weeks == 5);
   assert(result.days == 4);
   assert(result.hours == 17);
   assert(result.minutes == 0);
   assert(result.seconds == 2);
   assert(result.msecs == 1);
   assert(result.usecs == 200);
   assert(result.hnsecs == 7);
   

   Calling Duration.get or its wrappers for each of the units would be equivalent to that example, only less efficient when more than one unit is requested, as the calculations would have to be done more than once. The exception is Duration.fracSec which would have given the total of the fractional seconds as the requested units rather than splitting them out.

   // Equivalent to previous example
   auto d = weeks(5) + days(4) + hours(17) + seconds(2) + hnsecs(12_007);
   assert(d.weeks == 5);
   assert(d.days == 4);
   assert(d.hours == 17);
   assert(d.minutes == 0);
   assert(d.seconds == 2);
   assert(d.fracSec.msecs == 1);
   assert(d.fracSec.usecs == 1200);
   assert(d.fracSec.hnsecs == 12_007);
   

   It is hoped that Duration.split will be less confusing and thus result in fewer bugs, but it's definitely the case that it's more powerful. It's also a great example of D's metaprogramming capabilities given how it splits out only the requested units and even is able to return a struct with fields with the same names as the requested units. This on top of being able to handle a variety of integral types as arguments. And its implemenation isn't even very complicated.

2. Some built-in type properties have been replaced with library functions:

   Built-in array properties dup and idup were replaced with (module-scoped) free functions in the object module, thanks to D's support of Uniform Function Call Syntax.

   Built-in associative array properties rehash, dup, byKey, byValue, keys, values, and get were also replaced with free functions in the object module.

3. Associative array keys now require equality rather than ordering:

   Until 2.065, opCmp was used to customize the comparison of AA struct keys.

   void main()
   {
       int[MyKey] aa;
   }
   
   struct MyKey
   {
       int x;
       int y;  // want to be ignored for AA key comparison
   
       int opCmp(ref const MyKey rhs) const
       {
           if (this.x == rhs.x)
               return 0;
   
           // defined order was merely unused for AA keys.
           return this.x > rhs.x ? 1 : -1;
       }
   }
   

   From 2.066, the AA implementation has been changed to use the equality operator (==) for the key comparison. So the MyKey struct should be modified to:

   struct MyKey
   {
       int x;
       int y;  // want to be ignored for AA key comparison
   
       int opEquals(ref const MyKey rhs) const
       {
           return this.x == rhs.x;
       }
   }
   

Linker Changes

DMD Compiler regressions

DMD Compiler bugs

DMD Compiler enhancements

Phobos regressions

Phobos bugs

Phobos enhancements

Druntime regressions

Druntime bugs

Optlink regressions

Optlink bugs

Installer bugs

Installer enhancements

Website regressions

Website bugs

Website enhancements

Compiler Changes

1. Extensionless D source file names can now be run when using the -run switch.

Language Changes

1. Goto jumps now cannot skip variable declarations.
2. All instantiated functions now infer their attributes.
3. Add a new type qualifier inout const.
4. Entire slicing operation of built-in tuple is now accepted.
5. Packages and module names now have no type.
6. Const and immutable fields with initializers are now deprecated.
7. Deprecate unordered floating point comparisons.
8. Deprecate .min property for floating-point types.
9. CTFE can handle overlapped union fields.
10. Add a new trait getAliasThis.
11. Mixing struct constructors and static opCall is no longer allowed.

Library Changes

1. Many functions in std.algorithm can now be used as predicates to other functions.
2. Allow std.algorithm.all to be used without a predicate.
3. Add std.uni.byGrapheme and std.uni.byCodePoint.
4. Add support for any number of arguments to std.range.only.

Linker Changes

1. Added /LARGEADDRESSAWARE to the Win32 Optlink linker.

Compiler Changes

1. Extensionless D source file names can now be run when using the -run switch:

   On Posix systems it is frequently useful to have a shebang line at the start of an extensionless file, which marks the tool used to compile the script. It's now possible to use this technique with D, e.g. the following is a D source file with the file name "my-script":

   #!rdmd
   
   void main()
   {
   }
   

   Note: This does not allow an arbitrary extension, as D source files need to be proper D identifiers.

   Note: This feature is not available on Windows, as Windows does not have extensionless executable files.

   Note: When compiling, and in order to avoid the default behavior of generating an extensionless executable which would overwrite the source file, the compiler will generate "a.out" instead.

Language Changes

1. Goto jumps now cannot skip variable declarations:

   For a very long period, the following code had been allowed by mistake, but it is prohibited now:

   import std.stdio;
   
   void main()
   {
       goto Label; // Error: goto skips declaration of variable v
   
       int v = 42;
   
   Label:
       writeln(v);
   }
   

2. All instantiated functions now infer their attributes:

   Regardless of how directly or indirectly a function is instantiated, its attributes will still be inferred:

   struct S(T)
   {
       T square(T x)
       {
           T calc()
           {
               return x * x;
           }
           return calc();
       }
   
       static double pi() { return 3.141592; }
   }
   
   void main() pure @safe nothrow
   {
       S!int s;
   
       // S!int.square and its nested function calc are instantiated functions, so
       // their attributes are inferred as pure and callable from main()
       assert(s.square(2) == 4);  // ok
   
       // static member function attributes are also inferred now
       auto pi = typeof(s).pi();
   }
   

3. Add a new type qualifier inout const:

   Until now, the common type of immutable(T) and inout(T) had been const(T). But that loses the inout information, which might then refuse some valid code. Now the type becomes inout(const(T)), which meaningfully propagates the appropriate type qualifier.

   inout(const(int))[] foo(bool condition, inout(int)[] x, immutable(int)[] y)
   {
       static assert(is(typeof(condition ? x : y) == inout(const(int))[]));
       return condition ? x : y;
   }
   
   void main()
   {
       int[] marr = [1,2,3];
       const(int)[] carr = [4,5,6];
       immutable(int)[] iarr = [7,8,9];
   
       // inout(const(int))[] can go back to const(int)[] or immutable(int)[].
       static assert(is(typeof(foo(true, marr, iarr)) == const(int)[]));
       static assert(is(typeof(foo(true, carr, iarr)) == const(int)[]));
       static assert(is(typeof(foo(true, iarr, iarr)) == immutable(int)[]));
   }
   

4. Entire slicing operation of built-in tuple is now accepted:

   Bugzilla 8244: cannot slice a type tuple with '[]' in locations where a type is valid:

   import std.typetuple;
   alias Types = TypeTuple!(int, double, string);
   
   // Was error in 2.064, but allowed from 2.065.
   alias Types2 = Types[];
   static assert(is(Types == Types2));
   

5. Packages and module names now have no type:

   Bugzilla 9081: Modules shouldn't have a type

   import std.stdio;
   
   // Both had printed 'void' in 2.064.
   // From 2.065, both will cause "has no type" error.
   pragma(msg, typeof(std));
   pragma(msg, typeof(std.stdio));
   

   By the change, an idiom that used to work is(typeof(package_or_module_name)) is changed to not work. Instead use: __traits(compiles, package_or_module_name).

6. Const and immutable fields with initializers are now deprecated:

   Eventually, they will be changed to occupy space in the object. Such fields should now be changed to enum or static. See also the release note in 2.063.

   Related to that, void-initialized const or immutable fields will now occupy space in the object instance ahead of schedule:

   struct S
   {
       const int[1000] x = void;
   
       this(int n)
       {
           // Was disallowed in 2.064.
           // From 2.065 x is a field of runtime object.
           x[] = n;
       }
   }
   
   // S.sizeof had been 1 in 2.064.
   // From 2.065, field s.x occupies space in the object.
   static assert(S.sizeof == int.sizeof * 1000);
   
   void main()
   {
       S s = S(3);
   
       foreach (e; s.x)
       {
           assert(e == 3); // OK
       }
   }
   

7. Deprecate unordered floating point comparisons:

   Bugzilla 10369: Deprecate unordered floating point comparisons

8. Deprecate .min property for floating-point types:

   Bugzilla 10439: Deprecate float.min, double.min, real.min

9. CTFE can handle overlapped union fields:

   Example code:

   union U
   {
       size_t x;
       int* y;
   }
   
   bool test()
   {
       U u;
       assert(u.x == 0);
       // In here, reading u.y will cause CTFE error.
   
       u.y = [1,2,3].ptr;
       // Writing value to overlapped field u.y will make corresponding field u.x invalid.
   
       assert(u.y[0..3] == [1,2,3]);
       // u.y holds valid field and reading it is allowed
       // In here, reading u.x will cause CTFE error.
   
       u.x = 10;
       // Set value to u.x again.
       assert(u.x == 10);  // OK
       // In here, reading u.y will cause CTFE error.
   
       return true;
   }
   static assert(test());  // run CTFE
   

   Bit image reinterpretation by using two overlapped union fields is not allowed during CTFE.

10. Add a new trait getAliasThis:

    The new getAliasThis trait will return a tuple of field names which are marked as the subtypes of an aggregate type. For example:

    struct S
    {
        string var;
        alias var this;
    }
    
    static assert(__traits(getAliasThis, S)[0] == "var");
    

    Note: Multiple subtyping is not yet implemented in D, therefore this trait will always return a tuple of length 1.

11. Mixing struct constructors and static opCall is no longer allowed:

    This was not implemented correctly and caused ambiguities.

    Example:

    struct S
    {
        this(int i) {}
        
        static S opCall()   // disallowed due to constructor
        {
            return S.init;
        }
    }
    

    Note: static opCall can be used to simulate struct constructors with no arguments, but this is not recommended practice. Instead, the preferred solution is to use a factory function to create struct instances.

Library Changes

1. Many functions in std.algorithm can now be used as predicates to other functions:

   Functions such as any, all, canFind and equal are now templates, which allows them to be used as predicates to other templates, as well as allowing the user to alias an instantiation of any such templates. For an example of how this allows terser syntax in user-code, in the following example the programmer wants to check whether all the strings in a string array have at least one ASCII digit:

   import std.algorithm : all;
   import std.ascii : isDigit;
   
   void main()
   {
       string[] inputs = ["foo1", "bar2"];
   
       bool allContainDigit;
       foreach (input; inputs)
       {
           if (!any!isDigit(input))  // none of the characters are ASCII digits
           {
               allContainDigit = false;
               break;
           }
       }
   }
   

   But it is now simpler to use the any template itself as a predicate. We can make it a predicate to another useful template, the all template:

   import std.algorithm : any, all;
   import std.ascii : isDigit;
   
   void main()
   {
       string[] inputs = ["foo1", "bar2"];
       bool allContainDigit = all!(any!isDigit)(inputs);
   }
   

   In addition to allowing these functions to become predicates they can now also be aliased, which allow you to make your functions simpler to understand:

   import std.algorithm : any, all;
   import std.ascii : isDigit;
   
   void main()
   {
       alias isAnyDigit = any!isDigit;  // less visual noise and a self-describing function
   
       string[] inputs = ["foo1", "bar2"];
       bool allContainDigit = all!isAnyDigit(inputs);  // easier to understand
   
       alias doAllContainDigits = all!isAnyDigit;  // or wrap the entire algorithm into one symbol!
   
       assert( doAllContainDigits(["1", "a 1", "b 2"]));  // self-describing code
       assert(!doAllContainDigits(["c", "a 1", "b 2"]));
   }
   

   You can of course combine all and any in a number of combinations. For example, if you want to reverse the test and instead check whether any of the strings in the string array contain all digits, the code might look like the following:

   import std.algorithm : any, all;
   import std.ascii : isDigit;
   
   void main()
   {
       alias areAllDigits = all!isDigit;
   
       alias areAnyIntegrals = any!areAllDigits;
   
       assert( areAnyIntegrals(["123", "456"]));
       assert( areAnyIntegrals(["abc", "123"]));  // "123" is a number
       assert(!areAnyIntegrals(["abc", "def123"])); // "def123" is not really a number
   }
   

   If on the other hand you want to ensure that all strings in the string array contain all digits, the could might look like the following:

   import std.algorithm : any, all;
   import std.ascii : isDigit;
   
   void main()
   {
       alias areAllDigits = all!isDigit;
   
       alias allStringsDigits = all!areAllDigits;
   
       assert( allStringsDigits(["123", "456"]));
       assert(!allStringsDigits(["abc", "123"]));  // "123" is a number, but "abc" is not
   }
   

2. Allow std.algorithm.all to be used without a predicate.

   You no longer need to pass a predicate if you want to match all items in a range which implicitly convert to true:

   import std.algorithm;
   
   void main()
   {
       auto arr1 = [true, true, true];
       assert( all(arr1));  // all values are true
   
       auto arr2 = [false, true, true];
       assert(!all(arr2));  // all values are not true
   
       auto arr3 = [1, 2, 3];
       assert( all(arr3));  // all values convert to true
   
       auto arr4 = [0, 2, 3];
       assert(!all(arr4));  // all values do not convert to true
   }
   

3. Add std.uni.byGrapheme and std.uni.byCodePoint.

   Complementary higher-order ranges which enable range operations on graphemes:

   import std.array : array;
   import std.range : retro;
   import std.string : text;
   import std.uni : byCodePoint, byGrapheme;
   
   void main()
   {
       string s = "noe\u0308l"; // noël
       // reverse it and convert the result back to UTF-8
       string reverse = s.byGrapheme()
           .array() // Note: byGrapheme will support bidirectionality in the future
           .retro()
           .byCodePoint()
           .text();
   
       assert(reverse == "le\u0308on"); // lëon
   }
   

   Note that byGrapheme will support bidirectionality in the future, obviating the need for array in the above example.

4. Add support for any number of arguments to std.range.only.

   only can now be used with more than one argument:

   import std.algorithm : joiner;
   import std.range : equal, only;
   
   void main()
   {
       assert(only("one", "two", "three").joiner(" ").equal("one two three"));
   }
   

   Additionally, only() is now a way to get an empty range.

Linker Changes

1. Added /LARGEADDRESSAWARE to the Win32 Optlink linker.

   When using the default Optlink linker on win32 (for linking 32-bit object files and executables), the /LARGEADDRESSAWARE option tells the linker that the application can handle addresses larger than 2 gigabytes. This is equivalent to Visual C's linker option of the same name since this is an operating-system feature that is enabled by setting a specific flag in the executable.

DMD Compiler regressions

1. Bugzilla 7782: [ICE] With wrong import syntax
2. Bugzilla 9107: Value Range Analysis with uint and byte
3. Bugzilla 9639: Recursive template instanciation segfault dmd
4. Bugzilla 11078: Diagnostic for wrong RHS in property assign of a property group should improve
5. Bugzilla 11321: Can't link _D6object15__T7reserveTyaZ7reserveFNaNbNeKAyamZm
6. Bugzilla 11441: DMD halts compilation at semantic3
7. Bugzilla 11447: Closure provide bogus values
8. Bugzilla 11472: REGRESSION(2.064): dmd segfaults on wrong code instead of giving error
9. Bugzilla 11487: dmd segfaults on writefln in nested template
10. Bugzilla 11504: [CTFE] JSONValue cannot make in CTFE
11. Bugzilla 11505: Bad error message: "opAssign [...] is annotated with @disable"
12. Bugzilla 11508: [REG 2.064] Wrong code with -O on x86_64 for char comparisons
13. Bugzilla 11513: [REG 2.064] Assertion in module.c
14. Bugzilla 11525: REG(2.065): Error: 'a[] *= a[]' each element is not a scalar, it is a Complex!double
15. Bugzilla 11553: dmd segfault with recursive template
16. Bugzilla 11554: `is(T == enum);` produces an error if T is an enum defined with no members
17. Bugzilla 11563: Module dependency cycle causes unrelated template instantiations to fail
18. Bugzilla 11566: ICE with invalid array op
19. Bugzilla 11596: Internal error: backend/cgcs.c 351
20. Bugzilla 11610: Compiler core dumps on FreeBSD, compiles forever on Linux
21. Bugzilla 11614: Error: this for _expand_field_0 needs to be type Tuple not type Foo
22. Bugzilla 11626: [ICE] (mtype.c line 9718) With missing in ref type
23. Bugzilla 11659: false positive goto skips initialization of variable error (skipping enum initialization)
24. Bugzilla 11718: [REG2.065a] Unintended mangled names conflict of nested template structs
25. Bugzilla 11723: Too many "integer overflow" errors
26. Bugzilla 11730: associative array with Nullable!SysTime values: Called `get' on null Nullable!SysTime.
27. Bugzilla 11751: [REG2.065a] Hex float exponents should be decimal
28. Bugzilla 11755: Operator <>= and !<>= with arrays make internal error in e2ir
29. Bugzilla 11767: doubly mixed-in struct "failed semantic analysis"
30. Bugzilla 11776: [ICE] Assertion failure: 'tf->next == NULL' on line 119 in file 'mangle.c'
31. Bugzilla 11777: [ICE] dmd memory corruption as `Scope::pop` `free`s `fieldinit` used also in `enclosing`
32. Bugzilla 11805: Removal of Bool has critically broken expression evaluation
33. Bugzilla 11818: Ternary operator not allowed in a value parameter anymore
34. Bugzilla 11822: `-de` switch causees ICE with `auto` return and other stuff
35. Bugzilla 11824: A stack variable escaping problem in CTFE Phobos code
36. Bugzilla 11844: ICE(template.c:6643) Assertion failed: (td->semanticRun != PASSinit)
37. Bugzilla 11849: Recursive enum causes segfault
38. Bugzilla 11850: [ICE] Problem with filter with signed-unsigned array comparison
39. Bugzilla 11852: RDMD broken on the Github HEAD
40. Bugzilla 11854: Git-head does not build with Visual Studio
41. Bugzilla 11863: std.conv.to!string(int/uint, radix) returns incorrect string
42. Bugzilla 11868: ICE(template.c) on passing `inout const` argument as TemplateTupleParameter
43. Bugzilla 11896: [REG2.066a] isVirtualMethod related GitHub HEAD regression (works with 2.064)
44. Bugzilla 11914: Missed tuple unpacking in foreach for cartesianProduct
45. Bugzilla 11919: GitHub HEAD regression for getAttributes trait (DMD CORE DUMP)
46. Bugzilla 11922: [REG2.065a] ICE on nonexistent identifier in templated auto method
47. Bugzilla 11924: inout Variadic Template Parameters
48. Bugzilla 11925: [2.065] [REGRESSION] ICE in CompoundStatement::semantic
49. Bugzilla 11930: Github regression -- Alias this not considered in is(T unused: U) matching
50. Bugzilla 11931: Linkers "Symbol Undefined" again with dmd HEAD when -g specified
51. Bugzilla 11941: Errors when appending to aggregate member array in CTFE
52. Bugzilla 11956: dmd doesn't lookup /etc/dmd.conf
53. Bugzilla 11963: Regression(2.065) ICE(parse.c) Parser crash
54. Bugzilla 11965: Regression(2.064) Segfault on garbage
55. Bugzilla 11966: Regression 2.065.b1: inout(const(char))[] doesn't convert to inout(char)[]
56. Bugzilla 11967: Regression(2.065) ICE(parse.c) Parser crash
57. Bugzilla 11980: startaddress pragma broken (DMD 2.061 regression)
58. Bugzilla 11993: [REG] typeof(this) in constraint of member function template should reflect method qualifier
59. Bugzilla 12002: Internal error: toir.c 181
60. Bugzilla 12008: alias this and "unable to resolve forward reference" error
61. Bugzilla 12010: [REG DMD2.065-b1] Undefined template symbols for static library linked with debug symbols
62. Bugzilla 12016: implicit immutable upcast becomes null in CTFE
63. Bugzilla 12017: DDoc leaves out the majority of documentation
64. Bugzilla 12023: Regression 2.065-b2: template mixin fails within template class
65. Bugzilla 12037: Link-failure with std.numeric.CustomFloat
66. Bugzilla 12044: Invalid code gen causes segfault
67. Bugzilla 12047: Regression (2.065 git-head): UDAs are not checked
68. Bugzilla 12070: Variant opCall not static
69. Bugzilla 12079: Internal error: backend/cod4.c 358 for associative array access
70. Bugzilla 12080: Internal error: backend/symbol.c 1035 for invariant
71. Bugzilla 12089: std.utf.validate and inout(char[]) failts to compile
72. Bugzilla 12144: [REG DMD2.064] Unresolved xopEquals when referenced by dynamic array constructor
73. Bugzilla 12158: ICE with .init of nonexisting selective import
74. Bugzilla 12160: UDA related regressions

DMD Compiler bugs

1. Bugzilla 235: goto & scope: cannot goto forward into different try block level
2. Bugzilla 275: Undefined identifier in instances of templates with forward mixins
3. Bugzilla 602: Compiler allows a goto statement to skip an initalization
4. Bugzilla 899: structure field .offsetof property inaccessible in the scope
5. Bugzilla 900: changing import order causes type mismatch
6. Bugzilla 918: (D1 only): Template order matter, version block change something with typedef, and another template bug.
7. Bugzilla 1687: "extern (C++) interface" and vtbl
8. Bugzilla 1748: Wrong stringof for templated classes
9. Bugzilla 2481: mixing field into anonymous struct inside class generates field overlapping vtable
10. Bugzilla 2806: enum member cannot be forward referenced
11. Bugzilla 2885: Silent forward reference bug using ReturnType
12. Bugzilla 3013: Duplicate error message on calling a function with a type
13. Bugzilla 3107: [meta] Property syntax
14. Bugzilla 3226: -fPIC flag doesn't seem to work
15. Bugzilla 3279: (D1 only) Confusing error message when comparing types
16. Bugzilla 3307: Template alias default parameters aren't resolved properly
17. Bugzilla 3753: ICE(eh.c): Related to exception handling and alloca.
18. Bugzilla 3817: Array op: wrong error message
19. Bugzilla 3834: forward reference in templated class
20. Bugzilla 3903: Traits compiles as true for an array sum with wrong syntax
21. Bugzilla 3970: Problem with cast -1.0L ==> uint/ulong
22. Bugzilla 3991: Void initializers in unions considered overlapping
23. Bugzilla 4145: cross alias namespace can't be resolve
24. Bugzilla 4162: pass by alias offset problems
25. Bugzilla 4983: [ICE] Stack overflow while initializing struct member with address of one of its methods
26. Bugzilla 5569: 64 bit Dwarf symbolic debug info not recognized by gdb
27. Bugzilla 5878: Forward reference in returning superclass from template using is() expression (Breaks std.traits.BaseTypeTuple)
28. Bugzilla 6010: -fPIC is broken on freebsd/64
29. Bugzilla 6382: edge case with static foreach
30. Bugzilla 6439: [CTFE] union fields are initialized independently
31. Bugzilla 6764: IFTI fails on typesafe variadic function over static array with non IntegerLiteral length
32. Bugzilla 6796: Several __error with wrong enum definition
33. Bugzilla 7077: (D1 only) mixin statements can invade the enclosing scope
34. Bugzilla 7175: Zero-length static array .ptr is always null
35. Bugzilla 7472: Cast from class to basic type not rejected during semantic
36. Bugzilla 7645: ICE(e2ir.c) nested classes
37. Bugzilla 7744: Forward reference in string mixin
38. Bugzilla 7966: First template instantiation inside `with` results in `Error 42: Symbol Undefined`
39. Bugzilla 8019: (D1 only) can't convert [] to int[]
40. Bugzilla 8117: Cannot initialize struct member without default constructor
41. Bugzilla 8179: ICE(e2ir.c) with failed fixed size array cast
42. Bugzilla 8200: DMD segfault: template aliasing result of map
43. Bugzilla 8244: cannot slice a type tuple with '[]' in locations where a type is valid
44. Bugzilla 8255: [CTFE] ICE when passing 'ref' literal
45. Bugzilla 8313: stack overflow on recursive ifti evaluation
46. Bugzilla 8365: Static fixed size array of enums initialization fails
47. Bugzilla 8396: wrong order of evaluation for tuple expansion in function arguments
48. Bugzilla 8492: can't infer type in static assert
49. Bugzilla 8511: Segfault with forward-referenced enum
50. Bugzilla 8525: optimizer loops infinitely
51. Bugzilla 8543: simd literals need better CTFE support
52. Bugzilla 8581: Internal error: backend/cod1.c 1677 on structs with bitfields (when compile with release or optimize parameter)
53. Bugzilla 8648: No error line number with incomplete template
54. Bugzilla 8658: Passing large structs to function b value causes stack corruption
55. Bugzilla 8664: Compiler causes stack overflow with recursive typedef and option -g
56. Bugzilla 8711: ICE with initializing function pointer with array
57. Bugzilla 8722: foreach triggers a floating point exception with multidimensional array of a dimension equal to 0
58. Bugzilla 8735: ICE: Assertion failure: 't' on line 100 in file 'aliasthis.c'
59. Bugzilla 8739: DDoc outputs wrong parameter name in delegate parameter list
60. Bugzilla 8825: Wrong line number of error message
61. Bugzilla 8903: Bad code for enum array members
62. Bugzilla 8997: template instances omit symbol that may be used in other modules
63. Bugzilla 9008: Another forward referencing bug
64. Bugzilla 9050: Too early instantiation of template structs
65. Bugzilla 9081: Modules shouldn't have a type
66. Bugzilla 9212: Associative array foreach iteration with immutable key
67. Bugzilla 9256: A purity-related error message in case of member access
68. Bugzilla 9271: Forwarding lambda predicate with type inference causes segfault
69. Bugzilla 9296: LITTLE_ENDIAN and BIG_ENDIAN are always defined on Linux
70. Bugzilla 9301: using XMM.PSHUFD results in an internal compiler error
71. Bugzilla 9356: -inline with inout and append generates wrong code
72. Bugzilla 9459: Front-end does not detect invalid array operations
73. Bugzilla 9466: Compiler crash with code-coverage generation with large files
74. Bugzilla 9504: typeof does not look up properties correctly on template argument
75. Bugzilla 9562: Built-in runtime properties should become error with `Type.prop`
76. Bugzilla 9572: Missed wrong implicit integral conversion
77. Bugzilla 9577: Crash on static array of function literals
78. Bugzilla 9644: Spell checker gives silly suggestions for 1-2 character symbols
79. Bugzilla 9662: Implement RDMD test suite
80. Bugzilla 9690: cannot access to @disable'd symbol from inner function of another @disable'd
81. Bugzilla 9741: undefined identifier with User Defined Attribute
82. Bugzilla 9765: Error message with __error with struct literal dotvar expression
83. Bugzilla 9807: with statement does not work with alias this
84. Bugzilla 9831: Error message with failed lambda inference
85. Bugzilla 9861: Spurious 'is used as type' error with failed template instantiation
86. Bugzilla 9912: Wrong codegen when using tuple over member variable in more than one method
87. Bugzilla 10207: Alias and @attributes: Assertion failure: '!udas' on line 3132 in file 'parse.c'
88. Bugzilla 10224: core.simd ICE cgcv.c line 2162 when compiling with -g
89. Bugzilla 10251: CTFE: Allow returning pointers to global static variables of known value
90. Bugzilla 10259: ICE on invalid compile-time class instantiation
91. Bugzilla 10312: compiler assert failure with ctfe on simd vector type
92. Bugzilla 10313: inout constructor + IFTI + has indirections arg doesn't work
93. Bugzilla 10329: Attributes not inferred for indirectly templated methods
94. Bugzilla 10391: Segfault compiling on Mac OS 10.8
95. Bugzilla 10459: align(16) does not work on Win64 with seperate compilation
96. Bugzilla 10483: ICE(expression.c) .init of struct with block initialized 2D static array
97. Bugzilla 10598: Using not-imported type - AssertFail: 'global.errors' line 6040 'template.c'
98. Bugzilla 10632: [ICE](glue.c line 1227) With inlining and tuples
99. Bugzilla 10635: Error: cannot use array to initialize S
100. Bugzilla 10643: Refused const array struct field initialized with void
101. Bugzilla 10747: Win64: warning about non-existing vc100.pdb
102. Bugzilla 10770: is(T BASE==enum) with tag enum T - AssertFail:'type' line 428 declaration.c
103. Bugzilla 10805: wrong error message for wrong delimited string
104. Bugzilla 10883: [ICE] Internal error: ../ztc/cod4.c 358 when compiling with -inline
105. Bugzilla 10905: [ICE](ctfeexpr.c line 355) with ulong2 in structs
106. Bugzilla 10922: Compiler segfaults when using __traits(parent, {})
107. Bugzilla 10926: Wrong expression printed when ternary operator used as lvalue
108. Bugzilla 10927: Power of complex number causes an internal error
109. Bugzilla 10938: ICE on recursive instantiation in opDispatch
110. Bugzilla 11019: fwd reference : legal in C++, CT error in D (unable to resolve forward reference in definition)
111. Bugzilla 11034: ICE: Assertion failed: (!scope), function toObjFile, file toobj.c, line 366.
112. Bugzilla 11155: Wrong SIMD code generated (unaligned movaps)
113. Bugzilla 11193: [ICE] String template argument mixed with variadic template arguments causes ICE
114. Bugzilla 11198: Error messages for declaring a 'version' inside main() and other functions are unclear
115. Bugzilla 11215: `inout` lose enclosing `shared` on resolution
116. Bugzilla 11224: Inlining stops NRVO
117. Bugzilla 11247: Error: typeof(i).sizeof is used as a type
118. Bugzilla 11286: Impure dtor makes "cannot call impure function" error, although it won't actually be called.
119. Bugzilla 11288: dmd assertion when assigning to (static) opDispatch
120. Bugzilla 11297: [ICE](glue.c line 868) with a string concat in global enum lambda
121. Bugzilla 11314: inline ice with tuple assignment and if/else again
122. Bugzilla 11317: glue.c:1218: virtual unsigned int Type::totym(): Assertion `0' failed.
123. Bugzilla 11322: ICE with -inline cgcs.c 221
124. Bugzilla 11332: ICE(dt.c) and missing error when interpreting an unimplemented builtin
125. Bugzilla 11371: core.simd and ctfe
126. Bugzilla 11375: [profile+nothrow] Semantic 'no throw' error with -profile switch
127. Bugzilla 11376: ICE on __traits(compiles, ...) with invalid array-op
128. Bugzilla 11383: Some array casts incorrectly rejected in safe code
129. Bugzilla 11385: XXX is a nested function and cannot be accessed from XXX
130. Bugzilla 11394: NRVO should work for object field initialization in constructor
131. Bugzilla 11406: ld.gold breaks switch table jumps
132. Bugzilla 11425: Broken shadowing variable diagnostic
133. Bugzilla 11427: anonymous unions break structs in @safe code
134. Bugzilla 11445: adding double[string] causes crash
135. Bugzilla 11479: template members ignore private attribute in ddoc
136. Bugzilla 11484: [e2ir] Error in e2ir at cast to/from static array
137. Bugzilla 11485: [e2ir] Error in e2ir at numeric/bool to class/interface cast
138. Bugzilla 11489: Improper implicit cast to immutable.
139. Bugzilla 11497: lambda in "static if"/"assert" prevent inlining of function
140. Bugzilla 11518: DMD segfault on multiple template match
141. Bugzilla 11534: [CTFE] inout + returning a pointer into a member array
142. Bugzilla 11540: [ICE] CTFE segfault with try-catch-finally and goto
143. Bugzilla 11552: Missing label is not caught during semantic
144. Bugzilla 11562: Goto into or out of finally block is not caught during semantic
145. Bugzilla 11565: [Optimizer] Zeroes out the higher 32bits of register in ?: expression
146. Bugzilla 11587: Cannot compare AAs at compile time
147. Bugzilla 11618: Internal Compiler Error
148. Bugzilla 11627: [CTFE] cannot cast dchar to char at compile time on AA assignment
149. Bugzilla 11629: [CTFE] crash on AA.rehash
150. Bugzilla 11635: RDMD eats the -op flag when it should just pass through
151. Bugzilla 11653: No error when forgetting break with range cases.
152. Bugzilla 11656: property offsetof does not work with __vector fields
153. Bugzilla 11661: Meaningless error: "a struct is not a valid initializer for a void function()"
154. Bugzilla 11664: A function with a local static variable is unusable in CTFE
155. Bugzilla 11689: deprecated local function does not work
156. Bugzilla 11696: C++ incorrect static member mangling
157. Bugzilla 11722: Qualifier-only casts should not invoke opCast
158. Bugzilla 11726: ICE with ufcs on undefined identifier and opDispatch
159. Bugzilla 11727: Repeated error message with using forward referenced enum as variable
160. Bugzilla 11735: pragma(msg, ...) fails to print wstring, dstring
161. Bugzilla 11745: Unittests retrieved by __traits(getUnitTests) can not be invoked if private.
162. Bugzilla 11748: [ICE] function call as alias parameter of template gives ICE
163. Bugzilla 11749: switch case fallthrough error is enabled with -w, but cannot be made informational warning
164. Bugzilla 11750: ICE with debug info and empty #line Filespec
165. Bugzilla 11756: Irrelevant variable name printing in CTFE error message
166. Bugzilla 11769: Wrong line number in "matches both" error message
167. Bugzilla 11785: Order of method/function declarations has an effect on compilation result.
168. Bugzilla 11790: ICE(interpret.c): passing creation of array with type string as size to CTFE
169. Bugzilla 11793: [ICE] Compiler runs out of memory with trivial program: class with own class member instance
170. Bugzilla 11800: alias this matching incorrectly changes lvalue-ness
171. Bugzilla 11802: Wrong vtbl order for extern(C++) classes with overloaded functions on win32
172. Bugzilla 11813: Improve IFTI error diagnostic
173. Bugzilla 11814: Unnecessary error messages "does not match ..." on IFTI failure
174. Bugzilla 11843: Template instantiated twice: failed semantic analysis
175. Bugzilla 11875: static if template type deduction causes infinite recursion with recursive alias this
176. Bugzilla 11926: Segmentation fault when using const in an enum
177. Bugzilla 11944: ICE(expression.c) Assertion `f' failed.
178. Bugzilla 11968: ICE(expression.c) Crash when deleting __FILE__
179. Bugzilla 11969: ICE(statement.c) When mixing in a array literal containing errors
180. Bugzilla 11974: ICE(cast.c) Segfault with invalid assignment
181. Bugzilla 11982: ICE(func.c) With function literal with no body
182. Bugzilla 12038: alias this and &this cause ICE
183. Bugzilla 12040: Compiler segfault with circular reference in variable type
184. Bugzilla 12051: Wrong code with ?: resulting in char on x86-64
185. Bugzilla 12095: Wrong code with -O -inline

DMD Compiler enhancements

1. Bugzilla 3597: Need single source for parser and documentation grammar.
2. Bugzilla 5109: some advise
3. Bugzilla 5746: Make std.range.iota strongly pure
4. Bugzilla 6930: combined type of immutable(T) and inout(T) should be inout(const(T))
5. Bugzilla 9477: String (and array) comparisons are needlessly very slow
6. Bugzilla 10199: labels cannot be used without a statement
7. Bugzilla 11284: add -allinst compiler switch
8. Bugzilla 11365: Allow D source file names to have no extension (or an arbitrary extension) when -run is used
9. Bugzilla 11417: rotate with immediate not recognized by optimizer
10. Bugzilla 11510: Relax restriction for overlapped pointer field access in safe code/during CTFE
11. Bugzilla 11533: Compiler should allow to being nested for static local template functions
12. Bugzilla 11546: string import dependency failure
13. Bugzilla 11711: Add __traits(getAliasThis)
14. Bugzilla 11759: Poor error message trying to use lowercase L in literal suffix.
15. Bugzilla 11840: Show all errors of undefined identifier used in a line

Phobos regressions

1. Bugzilla 1832: reading/writing an archive causes data loss; std.zip horribly broken
2. Bugzilla 11309: std.concurrency: OwnerTerminated message doesn't work
3. Bugzilla 11512: Can't build Phobos docs with win32 makefile
4. Bugzilla 11527: JSONValue cannot set values through named fields
5. Bugzilla 11528: appender: crash with -inline -O
6. Bugzilla 11576: std.algorithm.remove!(SwapStrategy.unstable) overruns array bounds
7. Bugzilla 11583: bigint bug
8. Bugzilla 11591: std.typecons.Tuple -s with classes fails at runtime as associative array keys
9. Bugzilla 11603: std.algorithm.canFind does not work when needle is 1-byte zero
10. Bugzilla 11671: ctRegex broken
11. Bugzilla 11684: SIGSEGV with ld.bfd version 2.22
12. Bugzilla 11692: can't set file attributes for std.zip.ArchiveMember
13. Bugzilla 11764: [REG2.065a]std.getopt broken
14. Bugzilla 11831: std.zip no longer allows setting madeVersion field in zip file
15. Bugzilla 11838: Missing emplace import for std.range.zip?
16. Bugzilla 11853: Tuples fail "isAssignable"
17. Bugzilla 11973: std/datetime.d(14647): Deprecation: function std.algorithm.canFind!(not).canFind!(immutable(dchar)[]).canFind is deprecated - Please use any instead
18. Bugzilla 12024: [REG DMD2.065-b2] template instantiation for swap(SysTime, SysTime) fails
19. Bugzilla 12071: Algebraic won't take delegate returning structure
20. Bugzilla 12098: libcurl bad argument on handle null
21. Bugzilla 12135: [AA] Format tail after associative array value is treated as separator if explicit separator is empty
22. Bugzilla 12168: [REG2.065a] Add ref to array() and object() of JSONValue getters to add new element

Phobos bugs

1. Bugzilla 1804: Severe GC leaks with repetitive array allocations
2. Bugzilla 2162: Access violation when threads run closures
3. Bugzilla 4301: BigInt * const(BigInt) doesn't work well
4. Bugzilla 4673: Bug in std.string (isNumeric)
5. Bugzilla 4874: std.numeric.dotProduct doesn't work with bigints
6. Bugzilla 5280: to!FP(Hex float string) doesn't work well
7. Bugzilla 5762: getopt: short option parameter read incorrectly when bundling enabled
8. Bugzilla 5977: String splitting with empty separator
9. Bugzilla 6730: std.algorithm.splitter conflicts with std.array.splitter
10. Bugzilla 7069: Variant Doesn't Handle Const or Immutable Contents
11. Bugzilla 7689: splitter() on ivalid UTF-8 sequences
12. Bugzilla 8013: splitter() and split() give different results
13. Bugzilla 8203: Use of std.regex.match() generates "not enough preallocated memory" error
14. Bugzilla 8291: dirEntry cannot handle root directories + unhandled exception causes crash
15. Bugzilla 8298: dirEntries special linux file in Home dir
16. Bugzilla 8877: std.encoding.transcode is extremely slow
17. Bugzilla 9528: std.array.appender can't append elements with const members
18. Bugzilla 9645: std.algorithm.splitter on string with char as separator performs badly in certain situations
19. Bugzilla 9823: Delegate accepting element not accepted in std.range.put
20. Bugzilla 10569: std.traits: EnumMembers, isExpressionTuple, isTypeTuple & Largest balks at large input
21. Bugzilla 10571: formattedWrite error with delegate and string
22. Bugzilla 10710: shared phobos library doesn't work on all linux distributions
23. Bugzilla 10864: [REG 2.064][PERFORMANCE] new Safe appender is slower than "~="
24. Bugzilla 11005: std.xml does not encode attributes
25. Bugzilla 11110: Variant.convertsTo doesn't work like isImplicitlyConvertible
26. Bugzilla 11112: Unable to execute shell commands in different threads
27. Bugzilla 11148: Can't implicitly convert const(BigInt) or immutable(BigInt) to BigInt
28. Bugzilla 11180: Launching a process from a Windows GUI process using std.process.spawnProcess always fails
29. Bugzilla 11403: functions in std.algo can't be used as pred
30. Bugzilla 11459: std.container.Array bool constraint ambiguity
31. Bugzilla 11568: can't compile std.stdio.rawWrite with -m64 in Windows
32. Bugzilla 11600: to!BigInt(string) accepts non-numeric input
33. Bugzilla 11606: Cannot instantiate Tuple of non printable
34. Bugzilla 11617: std.uni.normalize doesn't compile
35. Bugzilla 11652: Support numerical ^^ complex operations in std.complex
36. Bugzilla 11681: std.datetime.IntervalRange.opAssign with non-ref parameter is required
37. Bugzilla 11691: can't join pathSplitter with dirSeparator
38. Bugzilla 11713: std.string munch() does not properly handle UTF strings.
39. Bugzilla 11738: partialShuffle actually shuffles the entire input
40. Bugzilla 11771: Unicode set intersection with char is broken
41. Bugzilla 11775: std.regex should check for valid repetition range in assert mode
42. Bugzilla 11780: RangeError in format for incomplete format specifier
43. Bugzilla 11808: std.uni.CodepointSet('А', 'Я'+1, 'а', 'я'+1) asserts
44. Bugzilla 11839: std.regex capture group names should allow numbers to be in them
45. Bugzilla 11879: missing default User-Agent in std.net.curl
46. Bugzilla 11884: std.container.Array lacks a constructor from an input range
47. Bugzilla 12069: ctRegex is 3x slower then R-T ?

Phobos enhancements

1. Bugzilla 3868: It would be nice to have a function which read a file lazily using a range
2. Bugzilla 4859: Another File.byChunk()
3. Bugzilla 4909: Two suggestions for std.algorithm.schwartzSort()
4. Bugzilla 5611: back() and front() with ref return + opSlice() in sort() constraint
5. Bugzilla 6986: SortedRange[x..$] fails with unidentified __dollar
6. Bugzilla 8167: BigInt(BigInt(1)) too
7. Bugzilla 9061: BigInt | BigInt, BigInt & int
8. Bugzilla 11770: std.regex.Captures should be convertible to bool
9. Bugzilla 11789: No setAttributes to complement getAttributes
10. Bugzilla 11798: std.algorithm.all with no predicate too

Druntime regressions

1. Bugzilla 11478: shared library on osx: worked in 2.062, fails in 2.063.2, still fails in 2.064

Druntime bugs

1. Bugzilla 3454: Inconsistent flag setting in GC.realloc()
2. Bugzilla 4809: Stack trace when throwing exception misses location of the throw statement
3. Bugzilla 7508: float4 values aren't stored on initialisation
4. Bugzilla 8301: Access violation when a big array is allocated
5. Bugzilla 10701: [GC] segfault in GC
6. Bugzilla 11806: Freeze in GC.collect() in in-contracts when multithreading is used

Optlink regressions

1. Bugzilla 11559: Optlink crash with more than 2048 modules generated and debug info

Optlink bugs

1. Bugzilla 2837: OPTLINK and LARGEADDRESSAWARE
2. Bugzilla 3956: linker removes underscore from all exported symbols of a module but the first
3. Bugzilla 6673: Map file contains broken lines on every 16,384 bytes
4. Bugzilla 7634: optlink creates bad debug info for a large number of modules

Installer bugs

1. Bugzilla 10246: Windows installer still downloads from ftp.digitalmars.com
2. Bugzilla 11799: Incompatible argument types in create_dmd_release

Installer enhancements

1. Bugzilla 10153: Beta releases should all have unique names

Website regressions

1. Bugzilla 11449: Jump lists of phobos are in wrong order

Website bugs

1. Bugzilla 5388: SList.insertFront has complexity O(log(n))
2. Bugzilla 9734: setIntersection accepts only 2 ranges, but documentation says otherwise
3. Bugzilla 10205: 'deprecated' '(' assignExpression ')' grammar is not documented
4. Bugzilla 10206: User-defined attributes not documented well in language specification
5. Bugzilla 10250: Grammar does not allow invariants in struct declarations
6. Bugzilla 10514: Constructor declaration grammar is incorrect
7. Bugzilla 11398: Language spec does not allow new eponymous template syntax
8. Bugzilla 11579: dlang.org repo can't be built without git
9. Bugzilla 11762: std.regex macro is not displayed/expanded properly

Website enhancements

1. Bugzilla 11676: Add a link to D Wiki Sidebar to take users back to DLang.org
2. Bugzilla 12087: Add Readme to dlang.org repository that explains how to contribute

Language Enhancements

1. Introduced the ability to define and import package modules.
2. Introduced a new eponymous template syntax.
3. Postfix expressions are now allowed after a new expression.
4. Implicit Function Template Instantiation now supports enclosing type/scope deduction.
5. DDoc can now warn the user when the symbol names in a ddoc comment do not match the actual code.
6. Strings literals which are sliced are now implicitly convertible to a char pointer.
7. Templated and non-template functions can now be overloaded against each other.
8. Cross-module template declarations can now make an overload set.

Compiler Changes

1. Allow printing dependencies to stdout for tooling support.

Compiler Enhancements

1. Introduced the getUnitTests trait for retrieval and custom execution of unittests.
2. Introduced the getVirtualIndex trait to get the index of a virtual function.
3. Introduced the isOverrideFunction trait which indicates if a function is overridden or not.

Phobos enhancements

1. Introduced the structural typesafe conversion functions wrap and unwrap.
2. std.conv.to and std.string.format are now pure functions.
3. Introduced generic strip/stripLeft/stripRight functions.
4. Introduced an overload of std.string.translate which can take a buffer, avoiding the need for implicit memory allocations.
5. Introduced the thisExePath function to retrieve the executable path of the currently running process.
6. New API for std.regex match/replace functions.
7. Compile-time std.regex.ctRegex now supports lookaround just like run-time one.

Language Enhancements

1. Introduced the ability to define and import package modules.

   The new package import feature allows you to define a library module which has the purpose of publicly importing any other modules in that library. The user can then simply import this one module and use the library as if the user import all the modules at once. For example:

   libweb/client.d:

   module libweb.client;
   
   void runClient() { }
   

   libweb/server.d:

   module libweb.server;
   
   void runServer() { }
   

   libweb/package.d:

   module libweb;
   
   public import libweb.client;
   public import libweb.server;
   

   Notice that the package module must always have the file name package.d. The module name is the qualified name of the package. The user then uses the standard import syntax to import a package module, simply using the module declaration name to import the package:

   test.d:

   module test;
   
   import libweb;
   
   void main()
   {
       startServer();
       startClient();
   }
   

   The following is an example of a package module of a sub-package:

   libweb/utils/package.d:

   module libweb.utils;  // fully qualified name of the package, not just "utils"!
   
   // publicly import modules from within the 'libweb.utils' package.
   public import libweb.utils.conv;
   public import libweb.utils.text;
   

   To import this subpackage, use the standard module import declaration:

   test.d:

   module test;
   
   import libweb.utils;
   
   void main()
   {
   }
   

   Rationale:

   Until now public import modules were implementable, but only by convention. The user would typically have to import a specific module specified by the library author, e.g. libweb.all or libweb._. Introducing the package import feature standardizes this common convention of library authors

2. Introduced a new eponymous template syntax.

   The new eponymous template syntax allows you to write shorter templates without having to explicitly define and repeat the template name when using traditional eponymous templates. For example, before 2.064 eponymous templates were written and used like the following:

   template Tuple(T...) { alias Tuple = T; }
   
   template isIntOrFloat(T)
   {
       static if (is(T == int) || is(T == float))
           enum isIntOrFloat = true;
       else
           enum isIntOrFloat = false;
   }
   
   void main()
   {
       alias Tup = Tuple!(int, float, string);
       static assert(isIntOrFloat!(Tup[0]));  // int is an int or a float
       static assert(isIntOrFloat!(Tup[1]));  // float is an int or a float
       static assert(!isIntOrFloat!(Tup[2])); // string is neither an int nor a float
   }
   

   With the new eponymous syntax, the implementation code becomes much simpler:

   alias Tuple(T...) = T;
   
   enum isIntOrFloat(T) = is(T == int) || is(T == float);
   
   void main()
   {
       alias Tup = Tuple!(int, float, string);
       static assert(isIntOrFloat!(Tup[0]));  // int is an int or a float
       static assert(isIntOrFloat!(Tup[1]));  // float is an int or a float
       static assert(!isIntOrFloat!(Tup[2])); // string is neither an int nor a float
   }
   

   Notice how you need to start the declaration of such a template with an alias or enum, rather than starting it with the keyword template.

   Limitations:

   Currently you cannot define template constraints for these types of templates. This limitation may be lifted in a future release.

3. Postfix expressions are now allowed after a new expression.

   Before 2.064, you could not both instantiate a new class and call a method or access a property of the object without having to wrap the new expression in parentheses:

   class Server
   {
       this(string[] args) { }
       void run() { }
   }
   
   void main(string[] args)
   {
       (new Server(args)).run();
   }
   

   In 2.064 this limitation has been lifted, allowing you to write the code as follows:

   class Server
   {
       this(string[] args) { }
       void run() { }
   }
   
   void main(string[] args)
   {
       new Server(args).run();
   }
   

   Note: When instantiating a class with the default constructor, you must insert an empty set of parentheses before accessing a field or calling a method on the object:

   class Server
   {
       this() { }
       void run() { }
   }
   
   void main()
   {
       new Server.run();    // error
       new Server().run();  // ok
   }
   

4. Implicit Function Template Instantiation now supports enclosing type/scope deduction:

IFTI has been improved, allowing you to write code such as the following:

struct A
{
    struct Foo { }
}

struct B
{
    struct Foo { }
}

/**
Templated function which expects the second argument to be of type 'Foo,
which is a nested in the type 'T'.
*/
void call(T)(T t, T.Foo foo) { }

void main()
{
    auto a = A();
    auto a_f = A.Foo();
    call(a, a_f);  // ok

    auto b = B();
    auto b_f = B.Foo();
    call(b, b_f);  // ok

    call(a, b_f);  // fails: b_f is typed as B.Foo, not A.Foo
}

This IFTI feature also allows you to retrieve the module of a symbol, by using an alias template parameter, rather than a type one:

module my_module;

struct A
{
    struct B { }
}

void foo(alias Mod)(Mod.A, Mod.A.B)
{
    // 'Mod' is deduced to be the module 'my_module' which encloses the struct 'A'
    static assert(__traits(isSame, Mod, my_module));
}

void main()
{
    A a;
    A.B b;
    foo(a, b);  // ok
}

5. DDoc can now warn the user when the symbol names in a ddoc comment do not match the actual code:

Here is an example documented function, where the parameter names are wrongly documented:

/**
    This is the sum function.

    params:
        x = The first parameter
        y = The second parameter
*/
int sum(int a, int b)
{
    return a + b;
}

Generating the documentation with warnings enabled will emit the following:

dmd -D -c -w test.d

test.d(8): Warning: Ddoc: function declaration has no parameter 'x'
test.d(8): Warning: Ddoc: function declaration has no parameter 'y'

This feature can help ensure that the documentation for library code is always kept up-to-date.

Note: Remember to use the -w switch when building the documentation with the -D switch in order to enable these warnings.

6. Strings literals which are sliced are now implicitly convertible to a char pointer:

To help ease interacting with C libraries which expect strings as null-terminated pointers, slicing string literals (not variables!) will now allow the implicit conversion to such a pointer:

extern(C) void call(const(char)* str) { }

void main()
{
    const(char)* abc = "abc";
    call(abc);  // already previously allowed

    const(char)* ab = "abc"[0 .. 2];
    call(ab);   // allowed in 2.064
}

7. Templated and non-template functions can now be overloaded against each other:

auto foo(int n) { return 1; }
auto foo(T)(T t) { return 2; }

void main()
{
    assert(foo(100) == 1);
    assert(foo("a") == 2);

    // Integer literal 10L can be converted to int without loss of precisions.
    // Then the call matches to foo(int n).
    assert(foo(10L) == 1);

    // A runtime variable 'num' typed long is not implicitly convertible to int.
    // Then the call matches to foo(T)(T t).
    long num = 10L;
    assert(foo(num) == 2);
}

8. Cross-module template declarations can now make an overload set:

Template declarations are now overloadable just like regular function declarations. Templates with matching names from multiple modules will introduce an overload set:

module a;

template Traits(T) if (is(T == double))
{
    enum Traits = "abc";
}

auto func(T, A...)(A args) if (is(T == double))
{
    return 1;
}

module b;

template Traits(T) if (is(T == string))
{
    enum Traits = "def";
}

auto func(T, A...)(A args) if (is(T == string))
{
    return 2;
}

module c;
import a, b;
static assert(Traits!double == "abc");  // matches to a.Traits
static assert(Traits!string == "def");  // matches to b.Traits
void main()
{
    assert(func!double(1, "msg") == 1);  // matches to a.func(T, A...)
    assert(func!string(1, "msg") == 2);  // matches to b.func(T, A...)
}

Limitations:

Merging template overload sets by using an alias declaration is currently not supported. The limitation will be lifted in a future release.

Compiler Changes

1. Allow printing dependencies to stdout for tooling support:

You can now use the -deps switch without having to specify a filename. The dependencies will then be printed to standard output, allowing both users and tools to introspect the dependencies in the output.

The types of dependencies which are printed out are as follows:

depsImport: Module imports found (same as -deps=file output, except prefixed with depsImport)

depsVersion: Versions (except standard ones and ones set in the module itself)

depsFile: String imports found, e.g. string x = import("foo.txt");

depsLib: Libraries specified with a pragma(lib) statement

depsDebug: Any debug() statements found (except the ones set in the module itself)

Compiler Enhancements

1. Introduced the getUnitTests trait for retrieval and custom execution of unittests:

With the new getUnitTests trait you can retrieve all unittest in a module or an aggregate, and then run the tests manually. Here's an example of implementing a custom unittest running routine which prints out some additional statistics:

import core.runtime;
import core.exception;
import std.stdio;

shared static this()
{
    // this overrides the default D runtime unittest runner function,
    // since we're providing a __traits-based one in our main function.
    Runtime.moduleUnitTester = { return true; };
}

unittest
{
    assert(1);  // passes.
}

unittest
{
    assert(0);  // fails.
}

unittest
{
    assert(1);  // passes.
}

void main()
{
    Throwable[] errors;  // collect all thrown exceptions.
    size_t passCount;    // count the number of unittests which pass.

    // iterate over each unittest (this is a tuple).
    foreach (test; __traits(getUnitTests, my_module))
    {
        try
        {
            test();
            passCount++;
        }
        catch (Throwable error)
        {
            errors ~= error;
        }
    }

    // print out the errors or the statistics.
    if (errors.length)
    {
        writeln("Some unittests failed:\n");
        foreach (error; errors)
            writeln(error);
    }
    else
    {
        writefln("All unittests passed. Passed unittest count: %s", passCount);
    }
}

Note: You must compile with the -unittest flag to be able to retrieve the unittests.

Note: By default the D runtime provides its own unittest execution function. If you want to avoid it from being invoked at runtime (before the main function is called) you need to set a custom one by assigning to Runtime.moduleUnitTester in the module constructor. The one used in the above test-case simply returns true, which allows the main function to be called.

Note: The getUnitTests trait is not recursive. This means that calling it on a module will not retrieve unittests which are nested in aggregates in that module.

2. Introduced the getVirtualIndex trait to get the index of a virtual function:

You can use this trait to get the index of a virtual method in the virtual method table:

class C
{
    void foo() { }
    void bar() { }
}

class D : C
{
    void doo() { }
    void doo(int) { }
    void doo(double) { }
}

void main()
{
    /**
        Note that each class implicitly inherits from the Object class,
        so the following will most likely not begin with index 0.
    */
    pragma(msg, __traits(getVirtualIndex, D.foo));
    pragma(msg, __traits(getVirtualIndex, D.bar));

    /**
        When dealing with overloads you can use the getOverloads trait to index
        into a specific method
    */
    pragma(msg, __traits(getVirtualIndex, __traits(getOverloads, D, "doo")[0]));
    pragma(msg, __traits(getVirtualIndex, __traits(getOverloads, D, "doo")[1]));
    pragma(msg, __traits(getVirtualIndex, __traits(getOverloads, D, "doo")[2]));
}

3. Introduced the isOverrideFunction trait which indicates whether or not a function is overriding:

class Base
{
    void foo() { }
}

class Foo : Base
{
    override void foo() { }
    void bar() { }
}

static assert (__traits(isOverrideFunction, Base.foo) == false);
static assert (__traits(isOverrideFunction, Foo.foo)  == true);
static assert (__traits(isOverrideFunction, Foo.bar)  == false);

Phobos enhancements

1. Introduced the structural typesafe conversion functions wrap and unwrap:

Sometimes you may want your class to be usable with a function which expects a specific interface argument type, but you do not necessarily want to edit the class to inherit that interface. The class could also be implemented in another library for which you do not have the source code, which means you wouldn't be able to edit the inheritance list of that class.

The new wrap function allows you to perform a structural cast, allowing a class object to act as if it were an object of another type. For example (note: for now please pass the -allinst flag to dmd when compiling):

import std.typecons;

interface IDrawable
{
    void drawLine(int x1, int y1, int x2, int y2);
}

class ImageDraw  // note: it does not inherit IDrawable.
{
    void drawLine(int x1, int y1, int x2, int y2) { }
}

/** Draw a rectangle outline. */
void drawRect(IDrawable draw)
{
    draw.drawLine(  0,   0, 100,   0);
    draw.drawLine(100,   0, 100, 100);
    draw.drawLine(  0, 100, 100, 100);
    draw.drawLine(  0,   0,   0, 100);
}

void main()
{
    auto imageDraw = new ImageDraw();
    drawRect(imageDraw);  // error: can't call this, ImageDraw is not an IDrawable.

    // perform a structural cast.
    IDrawable i = wrap!IDrawable(imageDraw);
    drawRect(i);  // and now imageDraw can act as an IDrawable.
}

The wrap function can also be used with classes which define an opDispatch function, for example:

import std.typecons;

interface IDrawable
{
    void drawLine(int x1, int y1, int x2, int y2);
    void drawRect(int x, int y, int width, int height);
}

class ImageDraw
{
    void opDispatch(string name, Args...)(Args args)
        if (name == "drawLine")
    {
        // ...
    }

    void opDispatch(string name, Args...)(Args args)
        if (name == "drawRect")
    {
        // ...
    }
}

/** Draw some shapes. */
void drawShapes(IDrawable draw)
{
    draw.drawLine(0, 100, 100, 0);
    draw.drawRect(0, 0, 100, 100);
}

void main()
{
    auto imageDraw = new ImageDraw();
    IDrawable i = wrap!IDrawable(imageDraw);
    drawShapes(i);
}

You can unwrap a structurally cast object back to its original type:

interface IDrawable
{
    void drawLine(int x1, int y1, int x2, int y2);
}

class ImageDraw
{
    void drawLine(int x1, int y1, int x2, int y2) { }
}

void main()
{
    auto imageDraw = new ImageDraw();

    // perform a structural cast (note the simple UFCS syntax).
    IDrawable i = imageDraw.wrap!IDrawable;

    // get back the original type (ditto, using UFCS syntax).
    ImageDraw draw = i.unwrap!ImageDraw;
}

And you can structurally cast to multiple interface types:

import std.typecons;

unittest
{
    interface IStoppable { void stop(); }
    interface IRunnable { void run(); }

    class Timer
    {
        void run() { }
        void stop() { }
    }

    auto timer = new Timer();
    auto obj = timer.wrap!(IStoppable, IRunnable);

    // extract the individual structurally casted types
    // from the wrapped type
    IStoppable iStop = obj;
    IRunnable  iRun  = obj;

    iRun.run();
    iStop.stop();
}

2. std.conv.to and std.string.format are now pure functions:

Since 2.064, pure functions can take advantage of to and format. For example:

import std.conv;
import std.string;

void main() pure  // this main is a pure function.
{
    string date = format("%s.%s.%s", 2013, 12, 10);
    int one = to!int(1.0);
}

3. Introduced generic strip/stripLeft/stripRight functions:

The new generic strip functions allow you to not only strip strings but also any other Input range (stripLeft) or Bidirectional range (strip/stripRight), for example:

import std.algorithm;

void main()
{
    // strip whitespace.
    assert("  foobar  ".strip!(a => a == ' ')() == "foobar");

    // an audio waveform.
    float[] data = [0.0, 0.0, 0.1, 0.5, 0.2];

    // strip leading silence in the waveform.
    assert(data.strip!(a => a < 0.1)().length == 3);
}

4. Introduced an overload of std.string.translate which can take a buffer, avoiding the need for implicit memory allocations:

To avoid implicit memory allocations translate now features overloads which can take an output range to write the contents to. For example:

import std.array;
import std.string;

void main()
{
    dchar[dchar] transTable = ['a' : '1', 'b' : '2', 'c': '3'];

    // create our output range by using the Phobos Appender.
    auto buffer = appender!(dchar[])();

    auto toRemove = null;  // don't remove any characters.

    translate("abcdef", transTable, toRemove, buffer);
    assert(buffer.data == "123def");

    // or use a static array to avoid heap allocations.
    // note: if the buffer is too small an exception will be thrown.
    dchar[6] dbuffer;
    translate("abcdef", transTable, toRemove, dbuffer[]);
    assert(dbuffer == "123def");
}

5. Introduced the thisExePath function to retrieve the executable path of the currently running process:

With the thisExePath function you can retrieve the current executable path:

import std.file;
import std.stdio;

void main(string[] args)
{
    // Prints the full path of the current running executable.
    // Note: this may, or may not be the same as args[0]. The content
    // of args[0] is dependent of how the application was invoked, thisExePath()
    // is not. It's also possible to access thisExePath() from other parts of the
    // code than main.
    writeln(thisExePath());
}

6. New API for std.regex match/replace functions:

The old API based around "g"(=global) flag was confusing and error prone. Moreover in some cases it was already being overriden by a function as is the case with std.regex.splitter.

New version ties the operation to the function in question, thus being simpler to understand without extra context. For the moment the "g" flag is kept working as is but the new API always overrides it where applicable. Another addition in the new API is an overload for the replace family of functions to work directly with output ranges.

To understand the difference in the API compare 2 samples below.

Before 2.064:

void main()
{
    import std.regex, std.algorithm, std.range, std.stdio, std.string;
    auto m = "3.141592".match(`(\d+)\.(\d+)`);
    // m is a range of ranges
    assert(m.front.equal(["3.141592", "3", "141592"]));

    // global vs non-global
    auto word = regex(`(\w)\w*`);
    auto gword = regex(`(\w)\w*`, "g");
    auto list = "tomatoes, potatoes, pineapple";
    // this will print only 'tomatoes', which raised many questions
    foreach(item; list.match(word))
        writeln(item.hit);

    // while this will print each of them
    foreach(item; list.match(gword))
        writeln(item.hit);

    auto justFirst = replace!(m => toUpper(m[1]) ~ m[0].drop(1))(list, word);
    assert(justFirst == "Tomatoes, potatoes, pineapple");
    auto allOfThem = replace!(m => toUpper(m[1]) ~ m[0].drop(1))(list, gword);
    assert(allOfThem == "Tomatoes, Potatoes, Pineapple");
}

After 2.064:

void main()
{
    import std.regex, std.algorithm, std.range, std.stdio, std.string;
    auto m = "3.141592".matchFirst(`(\d+)\.(\d+)`);
    // m is simply a range of submatches
    assert(m.equal(["3.141592", "3", "141592"]));

    auto word = regex(`(\w)\w*`);
    auto list = "tomatoes, potatoes, pineapple";
    // iterates over submatches so it will print 2 lines:
    // tomatoes
    // t
    foreach(item; list.matchFirst(word))
        writeln(item);
    // so just to get the whole match:
    assert(list.matchFirst(word).hit == "tomatoes");

    // now there is no need to check if it has "g" option
    // it's crystal clear in the function name
    foreach(item; list.matchAll(word))
        writeln(item.hit);

    auto justFirst = replaceFirst!(m => toUpper(m[1]) ~ m[0].drop(1))(list, word);
    assert(justFirst == "Tomatoes, potatoes, pineapple");
    auto allOfThem = replaceAll!(m => toUpper(m[1]) ~ m[0].drop(1))(list, word);
    assert(allOfThem == "Tomatoes, Potatoes, Pineapple");

    // NEW feature - if there is no need to allocate, the resulting string
    // replacement may be just sent directly to the wire (an OutputRange)
    auto sink = stdout.lockingTextWriter();
    replaceAllInto!(m => toUpper(m[1]) ~ m[0].drop(1))(sink, list, word);
}

The old API still works, even though eventual deprecation is planned. Also note the new functionality in form of *Into functions that forward the replacement directly to an output range avoiding extra pressure on the heap.

7. Compile-time std.regex.ctRegex now supports lookaround just like run-time one:

Now ctRegex supports full syntax spectrum of run-time one except for set algebra inside of a character class. For instance, the following now compiles and passes:

void main()
{
    import std.regex;
    // a word, but not a title-cased ASCII
    // ?<! inside of () means "negative lookbehind"
    auto pat = ctRegex!`\w+(?<![A-Z][a-z]*)`;
    assert(!"Hello".match(pat));
    assert("good_bay".match(pat));
}

DMD Compiler regressions

1. Bugzilla 6014: rt_finalize Segmentation fault , dmd 2.053 on linux & freebsd
2. Bugzilla 10074: segfault in dmd
3. Bugzilla 10197: [REG2.063] Cannot cast overloaded template property result
4. Bugzilla 10212: Segfault in mismatching delegate literal types
5. Bugzilla 10215: Regression (2.063 release): const causes wrong float calculation
6. Bugzilla 10220: `array` doesn't work with disabled default construction
7. Bugzilla 10255: When creating lib files, dmd no longer splits module into multiple obj files
8. Bugzilla 10299: [REG2.063] ICE with getting address of template
9. Bugzilla 10330: Regresfsion (2.063.2): __VERSION__ is set wrong
10. Bugzilla 10337: Error: mutable method glwtf.input.SignalWrapper!().SignalWrapper.Signal!().~this
11. Bugzilla 10352: Regression (2.063): --eval is broken in RDMD
12. Bugzilla 10357: std.typecons.Nullable!(SysTime).Nullable.__ctor!() error instantiating
13. Bugzilla 10373: cannot resolve forward reference (dmd2.063)
14. Bugzilla 10375: [REG2.061] private template from imported module hijacks a template type parameter(!)
15. Bugzilla 10382: Regression (2.059): ICE when catching illegal type
16. Bugzilla 10394: opBinaryRight!"in" and tuple
17. Bugzilla 10397: ICE on concatenating string with unexisted symbol
18. Bugzilla 10425: Link error with templates
19. Bugzilla 10440: shared library on osx: worked in 2.062, fails in 2.063 / 2.063.2
20. Bugzilla 10441: Static libraries too big
21. Bugzilla 10456: struct containing enum X, alias X this and a dynamic array no longer compiles since 2.063
22. Bugzilla 10481: out of memory error
23. Bugzilla 10486: Segfault on assigning `typeof(null)` to static array
24. Bugzilla 10498: `__traits(compiles, ...)` affect program behaviour
25. Bugzilla 10503: Octal enums don't work anymore
26. Bugzilla 10505: anonymous enum members cannot have different types
27. Bugzilla 10537: Forward reference error on 'yield' toy example.
28. Bugzilla 10548: [REG 2.064a] argument has no identifier
29. Bugzilla 10558: Assertion failure on struct.c:741
30. Bugzilla 10561: Regression (2.064 HEAD): anon enum members no longer have enum base type
31. Bugzilla 10573: Weird linking problem with associative array cast [DMD 2.63]
32. Bugzilla 10577: 2.063 Mixin Regression (works with 2.062)
33. Bugzilla 10579: regression 062=>063: Cannot interpret TypeInfo at compile time
34. Bugzilla 10592: Regression of overloaded template function
35. Bugzilla 10600: regression(2.063.2) ICE: Assertion failed: (type->ty != Tstruct || ((TypeStruct *)type)->sym == this), function semantic, file struct.c, line 741.
36. Bugzilla 10612: Regression (2.064 HEAD): ICE on using enum as hash key with mutual module imports
37. Bugzilla 10617: contract with -profile -debug is not nothrow
38. Bugzilla 10624: [REG2.064a] ICE with tuple comparison
39. Bugzilla 10626: ICE with vector operation
40. Bugzilla 10628: [REG2.063] spurious "hidden by" deprecation warning
41. Bugzilla 10669: CTFE: using initialized static const class member no longer works
42. Bugzilla 10673: memory corruption in interpret.c
43. Bugzilla 10682: [ICE](cgcod.c line 1561) with ^^ operator and ulong
44. Bugzilla 10684: Refused array op with array literal
45. Bugzilla 10687: Refused cast from uint[] to array of uint-based enums at compile-time
46. Bugzilla 10713: [REG2.063] ICE with typeof(this.nonExistingField) in method signature
47. Bugzilla 10721: ICE with constructor with postcondition
48. Bugzilla 10722: Regression (2.064 git-head): Cannot interpret struct at compile-time
49. Bugzilla 10726: Bogus Circular Reference error if opEquals defined and has a loop
50. Bugzilla 10727: Regression (dmd-2.061) -- DMD dumps core
51. Bugzilla 10734: Assertion failure: '0' on line 1546 in file 'cast.c'
52. Bugzilla 10736: Regression (2.064 git-head): Instantiation failure triggered by module import and module order
53. Bugzilla 10744: [regression git-head v2.064] Rejects valid interface inheritance + wrong error message
54. Bugzilla 10782: dmd segfault with string mixin, CTFE, class, non-literal initializer
55. Bugzilla 10788: Regression: forward reference of enum member E from another module.
56. Bugzilla 10789: Struct destructor erroneously called
57. Bugzilla 10804: regression(2.063=>2.064) problem with Appender or dmd?
58. Bugzilla 10808: [REG2.064a] Incorrect typeid template argument should report error
59. Bugzilla 10836: 'errors compiling the function' for optimized builds
60. Bugzilla 10946: Integer constant expression expected instead of...
61. Bugzilla 10949: CTFE ICE after indexing error
62. Bugzilla 10964: [REG][2.063] Static array assign/blit exception slips through catch block.
63. Bugzilla 10981: Contracts in pure class methods are useless
64. Bugzilla 10994: [REG] cannot declare statics struct with void-initialized static arrays
65. Bugzilla 10998: [REG 2.063] compile-time postblit call check is incorrectly suppressed.
66. Bugzilla 11010: Regression (2.063.2) typeid doesn't work on a member of an instance.
67. Bugzilla 11039: Undefined instantiation from circular imports
68. Bugzilla 11054: ICE: interpret.c:357: virtual void Statement::ctfeCompile(CompiledCtfeFunction*): Assertion `0' failed.
69. Bugzilla 11062: inline ice with alias this and opIndexAssign
70. Bugzilla 11069: DMD (github HEAD) Linker Regression
71. Bugzilla 11081: Win64: duplicate COMDAT with failed compilation with lambdas
72. Bugzilla 11086: dmd segfault
73. Bugzilla 11105: Error on struct with multidimentional static array initialization from its element
74. Bugzilla 11117: Pseudo module __entrypoint.d listed as dependency with -deps
75. Bugzilla 11121: Wrong parenthesis omission in ddoc output
76. Bugzilla 11127: std.range.cycle linker errors
77. Bugzilla 11153: Regression (2.064 git-head): ICE during a diagnostic for missing return type
78. Bugzilla 11163: [ICE](ctfeexpr.c line 355) with pragma(msg) of a wrong expression
79. Bugzilla 11186: Regression (2.061): Presence of Variant and const field invokes opAssign
80. Bugzilla 11197: [DMD 2.064a] Struct with postblit cannot be appended to an AA of arrays
81. Bugzilla 11203: extern (C++) classes broken
82. Bugzilla 11220: Regression in master: XXX__lambda2 cannot access frame of function XXX
83. Bugzilla 11223: inline ice with tuple assignment and if/else
84. Bugzilla 11225: Module dependency cycle causes import statements inside typeof() expressions inside templates to fail
85. Bugzilla 11228: alias this confuses static array copy
86. Bugzilla 11230: [REG2.064a] Inexact mangling for template function literal.
87. Bugzilla 11233: DMD HEAD very slow with large static array struct field
88. Bugzilla 11237: zero initializer emitted to read-only data segment, slow compilation
89. Bugzilla 11242: [REG2.064beta] Fails to infer template argument with inout
90. Bugzilla 11245: [REG 2.063] Can't access length of static arrays from within classes
91. Bugzilla 11246: [REG 2.063] Struct initialized in constructor is destroyed first
92. Bugzilla 11256: Error mixing struct with disabled default construction and templated with lambda struct
93. Bugzilla 11261: Can't infer types without explicit slice in foreach
94. Bugzilla 11262: std.regex.replace does not accept StaticRegex
95. Bugzilla 11265: Segfault while calling instance method of class defined inside struct
96. Bugzilla 11267: Resulting executable sizes varies a lot
97. Bugzilla 11271: [REG 2.063] auto ref opAssign + destructor + struct literal fails

DMD Compiler bugs

1. Bugzilla 952: Strange "Error:" prefix on some warning messages
2. Bugzilla 1982: [CTFE] Problems with compile-time null
3. Bugzilla 2407: function pointer as an enum's base type doesn't work
4. Bugzilla 2486: taking address of slice rvalue should not be allowed
5. Bugzilla 3096: EnumBaseType
6. Bugzilla 3646: Default values of function arguments are ignored when instantiating a template.
7. Bugzilla 3866: anonymous delegate with default parameters cross-talks to another anonymous delegate
8. Bugzilla 4018: __FILE__ and __LINE__ as default template parameters not set to instantiation point per spec
9. Bugzilla 4481: ICE(glue.c,!vthis->csym) or compiles, depending on the import statements order
10. Bugzilla 4611: stack overflow or ICE(cgcod.c) when static array of structs exceeds 16MB limit
11. Bugzilla 4841: -inline wrecks certain nested structs causing error "*** is a nested function and cannot be accessed from ***"
12. Bugzilla 4899: Ddoc: Warnings about stray parens do not include file and line numbers for module comments
13. Bugzilla 5012: ICE(cod3.c): handling a nested function in inline asm.
14. Bugzilla 5655: Lambda inside static foreach saves wrong value of counter
15. Bugzilla 5842: hash table corruption
16. Bugzilla 5911: Closure destroys the thrown Exception .
17. Bugzilla 5988: Template accepts instantiating an already-instantiated template type
18. Bugzilla 6107: ICE(expression.c) when a non-template member named '__ctor' exists in a struct, and the constructor is attempted to be invoked.
19. Bugzilla 6169: [CTFE] pure functions cannot compute constants using functions not marked as pure
20. Bugzilla 6178: Struct inside the AA are not init correctly
21. Bugzilla 6310: Missing "template instantiation" traceback when an error happens in the template parameter of an alias.
22. Bugzilla 6461: multiple definitions with typeid and multiobj
23. Bugzilla 6711: "with" doesn't work with "alias this"
24. Bugzilla 6720: ICE(cod1.c) casting return of void function to bool
25. Bugzilla 6799: ICE(type.c) involving AAs and pointers to structs
26. Bugzilla 6906: Cannot assign value into associative array if contains opAssign
27. Bugzilla 7051: Class member with un-@safe destructor gives confusing error
28. Bugzilla 7156: ICE(go.c): with 199 or 200 repeated integer increments, only with -O
29. Bugzilla 7202: Hole in type system still present for delegates
30. Bugzilla 7254: ICE(cod3.c) returning strings as static arrays
31. Bugzilla 7436: ICE(cg87.c) ubyte = ubyte op= float
32. Bugzilla 7474: ICE(cgcs.c) on instantiating a struct with field and destructor as tuple
33. Bugzilla 7522: ICE(interpret.c) Accessing a non-static member without this
34. Bugzilla 7524: D1: #line __LINE__ doesn't parse
35. Bugzilla 7533: Error with no line number with pure static ctor
36. Bugzilla 7538: All kinds of property functions should be called before getting their types inside typeof
37. Bugzilla 7565: ICE(cg87):202, postincrement of a double parameter, 64-bit only
38. Bugzilla 7656: ddoc misinterprets commented parentheses in an example
39. Bugzilla 7715: DDoc eats , , etc. inside d_code section
40. Bugzilla 7727: "static initializer" for non-static unions too
41. Bugzilla 7746: Error with 'TOK232' declaring enum of anonymous nested class type
42. Bugzilla 7780: Template mixin'd members do not properly overload
43. Bugzilla 7806: ICE(gloop.c) iterating with idouble, when compiling with -O
44. Bugzilla 7848: pure and nothrow ignored on unittest blocks
45. Bugzilla 7892: Compiler-generated struct copies can result in errors when ctor is @disable'd
46. Bugzilla 7976: ICE(backend/cg87.c)assignment btw two elements of dynamic array of complex number types
47. Bugzilla 7988: [CTFE] CTFE return values should be allowed in compile-time expressions
48. Bugzilla 8119: Cannot cast from void* to forwarded struct pointer
49. Bugzilla 8179: ICE(e2ir.c) with failed fixed size array cast
50. Bugzilla 8253: CTFE ICE: calling of member function of non-CTFE class variable
51. Bugzilla 8285: Issue with slice returned from CTFE function
52. Bugzilla 8352: Wrong "__overloadset isn't a template" error
53. Bugzilla 8360: Destruction of uninitialized temporary struct with assert
54. Bugzilla 8361: [ICE] (eh.c line 316) with struct with dtor in assert
55. Bugzilla 8441: mixin containing template functions causes compiler errors
56. Bugzilla 8563: Exception segfault
57. Bugzilla 8579: Default parameter appears a part of typeof().stringof of a function variable
58. Bugzilla 8651: Slice op Slice throws exceptions (not errors), and nothrow
59. Bugzilla 8733: Normalize -of path on Windows
60. Bugzilla 8795: mixing in "switch" or "interface;" makes dmd segfault
61. Bugzilla 8911: -property makes fullyQualifiedName fail for functions
62. Bugzilla 8956: Ability to break typesystem with constructor/postblit/destructor (e.g. modify immutable)
63. Bugzilla 8977: Ability to break typesystem with static struct initializer (e.g. modify immutable)
64. Bugzilla 9017: __traits(compiles, { enum e = ; }) is true but code doesn't compile
65. Bugzilla 9235: Template mixin doesn't allow to mixin non-conflicting overloads
66. Bugzilla 9247: Compiler accepts opaque struct returned by value from function pointer declaration.
67. Bugzilla 9319: Unexpected compiles __traits behaviour in a certain situation
68. Bugzilla 9364: [ICE] Error: CTFE internal error painting S*
69. Bugzilla 9396: Wrong line number when assigning nested enum to struct
70. Bugzilla 9524: Unittest ddocs fail to appear following ditto
71. Bugzilla 9531: __traits(parent, ...) does not work for types defined within a unittest block
72. Bugzilla 9534: Distributed CHM file lacks styling
73. Bugzilla 9546: getProtection trait does not work with mixin or getMember
74. Bugzilla 9571: link error due to using unique ids in anonymous funcliteral
75. Bugzilla 9578: "is a nested function and cannot be accessed from" problem
76. Bugzilla 9586: Win64 5/6/7 struct returns
77. Bugzilla 9628: Lambda in foreach loop Vs. lambda in static foreach loop
78. Bugzilla 9634: [CTFE] wrong code concatenating arrays of structs
79. Bugzilla 9665: Structure constant members can not be initialized if have opAssign
80. Bugzilla 9710: Pointer enums crash dmd
81. Bugzilla 9733: Hello world segfaults on Debian x86_64 with -m64
82. Bugzilla 9782: implementing RTInfo!T causes errors for deprecated types
83. Bugzilla 9859: Cannot use inout in delegate
84. Bugzilla 9904: typeof(null) can be casted to aggregate type if .sizeof equals size of pointer
85. Bugzilla 9921: Enum variables of type void should be illegal
86. Bugzilla 9923: [ICE] (interpret.c line 167) with countUntil on Typedef[]
87. Bugzilla 9938: ICE using global interface variable in CTFE
88. Bugzilla 9954: Runtime wrong code with global interface var created in CTFE
89. Bugzilla 9982: ICE on CTFE for pointer dereference
90. Bugzilla 10007: function overrides but is not covariant
91. Bugzilla 10037: Compiler should not generate opEquals method implicitly
92. Bugzilla 10064: opDollar called on garbage
93. Bugzilla 10065: Compiler fails without error message for tuple map
94. Bugzilla 10079: Built-in generated opAssign should be pure nothrow @safe by default
95. Bugzilla 10082: ICE(e2ir.c) Multiple mixin template instantiations are not checked
96. Bugzilla 10083: Insufficient IFTI/eponymous template specification
97. Bugzilla 10086: ICE(glue.c) or wrong code on passing variable as template value parameter
98. Bugzilla 10094: NRVO with static array return should work
99. Bugzilla 10099: Diagnostic for disabled default construction should improve
100. Bugzilla 10113: Can't use an enum : string in a switch statement
101. Bugzilla 10141: wrong error message with Tuple!(int) : Error: static assert "Cannot put a char[] into a Appender!(string)"
102. Bugzilla 10156: Can't handle usage of TypeTuple argument in templated function
103. Bugzilla 10196: RDMD: RDMD can't be used from MSys
104. Bugzilla 10198: CTFE: Wrong code for multi-dimensional block assignment
105. Bugzilla 10208: Module-level const/immutable variables with initialization value don't support UDAs
106. Bugzilla 10211: CTFE: Support casts from S** to D**, if S* -> D* is supported.
107. Bugzilla 10214: Incorrect "element-wise assignment is better" warning
108. Bugzilla 10243: [CTFE] Wrong-code on passing dereferenced array pointer by ref
109. Bugzilla 10244: ICE: expression.c:8364: virtual Expression* CallExp::semantic(Scope*): Assertion `td' failed
110. Bugzilla 10249: incorrect mangling for overloaded symbol
111. Bugzilla 10252: CTFE: Should generate error for shifts outside valid range
112. Bugzilla 10254: Purity correctness is broken with constructor
113. Bugzilla 10273: ICE(ctfeexpr.c): using CTFE after error in struct default values
114. Bugzilla 10274: DMD 2.063 produces broken binaries
115. Bugzilla 10275: CTFE: Allow const casts of struct literals
116. Bugzilla 10277: Incorrect error file and line on redeclaration of TypeInfo
117. Bugzilla 10279: Calling a typesafe variadic @trusted function from an @safe function results in an error.
118. Bugzilla 10280: CTFE: Circular variable initializers should be detected properly
119. Bugzilla 10283: ICE(interpret.c): passing struct with failed initalizer to CTFE
120. Bugzilla 10288: Direct lambda call and purity inference bug
121. Bugzilla 10289: compiler should infer nothrow even if Error is thrown
122. Bugzilla 10296: Nested template function call and purity inference bug
123. Bugzilla 10298: CTFE fails with array literal initialization
124. Bugzilla 10302: Package module conflicts with package name
125. Bugzilla 10319: @safe/pure/nothrow error should print fully qualified name
126. Bugzilla 10325: ddoc: template constraints inconsistently shown in generated html
127. Bugzilla 10327: Missing 'package.d' for DIP37 needs a better error message
128. Bugzilla 10341: Range case without an associated switch statement crashes DMD
129. Bugzilla 10343: Cannot resolve a forward reference to a template inside global typeof
130. Bugzilla 10344: Exiting _Dmain should flush all FILE*s and return nonzero on failure
131. Bugzilla 10346: No line number error with undefined template identifier
132. Bugzilla 10354: DIP37: ICE with using indirectly imported template through package.d
133. Bugzilla 10359: Pointer slicing allowed in @safe mode
134. Bugzilla 10381: Nonsense associative array comparison
135. Bugzilla 10386: Package import feature breaks with static libraries
136. Bugzilla 10389: Infinite recursion on printing self-referential StructLiteralExp
137. Bugzilla 10390: ICE on printing ClassReferenceExp
138. Bugzilla 10405: redundant "expression has no effect" error when returning non-void in void function
139. Bugzilla 10414: Delegate arguments for lazy variadic functions are only inferred in first argument
140. Bugzilla 10415: Bad error message with const property of const class instance
141. Bugzilla 10418: bad error message: "not a property"
142. Bugzilla 10419: Unhandled exception in dmd after correct error message
143. Bugzilla 10421: 'package' access should work with package module
144. Bugzilla 10429: RDMD: --loop option doesn't work due to symbol conflict
145. Bugzilla 10431: ICE(DMD 2.063) in struct.c:741
146. Bugzilla 10432: RDMD: --dry-run option tries to read non-existent file
147. Bugzilla 10433: Array sum operation in function template
148. Bugzilla 10435: rdmd doesn't support the -op argument.
149. Bugzilla 10451: Array of pointers to opaque struct gives forward reference errors.
150. Bugzilla 10452: CTFE: Cannot compare delegates with == or 'is'
151. Bugzilla 10462: interface thunk doesn't preserve EBX
152. Bugzilla 10479: cannot pass implicitly to base class casted result to out contract by ref
153. Bugzilla 10495: Incorrect "initializer required" error using lambdas in class with fields with disabled default construction
154. Bugzilla 10497: Opaque structs cannot be dereferenced in pointer to pointer types
155. Bugzilla 10504: Tuple error: no property 'offsetof' for type 'int'
156. Bugzilla 10506: Purity should not be checked in a mixin statement
157. Bugzilla 10519: Stray-paren in doc-unittest code generates wrong document
158. Bugzilla 10526: opDispatch with IFTI should not disable UFCS
159. Bugzilla 10534: Addition and subtraction of delegates allowed
160. Bugzilla 10539: [REG][2.063] Implicit pointer to array dereference for .ptr property fails
161. Bugzilla 10542: implicitly generated class ctor doesnt inherit base class ctor attributes
162. Bugzilla 10551: [CTFE] Wrong-code on passing dereferenced array pointer by ref 2
163. Bugzilla 10568: CTFE rejects function pointer safety casts
164. Bugzilla 10583: DMD 2.063 dumps core with mixins involving __traits(getProtection, ..
165. Bugzilla 10595: Using alias this and a hash generates wrong code
166. Bugzilla 10596: A method with out contract and auto return type causes segfault
167. Bugzilla 10597: opDollar not callable in static constext
168. Bugzilla 10599: CTFE: assert failure interpret.c 310
169. Bugzilla 10609: Refused UFCS in __traits(compile)
170. Bugzilla 10610: interpret.c:4067 Assertion Failure
171. Bugzilla 10618: Template instance member access disallowed in dynamic array allocation
172. Bugzilla 10630: Structs with disabled default construction can't be used as `out` parameters
173. Bugzilla 10633: Win64: wrong codegen with %=
174. Bugzilla 10634: Win64: wrong codegen with .init of small structs
175. Bugzilla 10639: Win64: wrong optimizer codegen with struct literal with complex fields
176. Bugzilla 10642: Win64: wrong codegen comparing different sized integer arguments
177. Bugzilla 10646: No front-end error for invalid casting dynamic array/static array to class reference
178. Bugzilla 10651: Throwing non-Throwable object causes ICE
179. Bugzilla 10676: excessive compilation times with optimized PIC build
180. Bugzilla 10677: Win64: cfloat return value not forwarded correctly as function argument
181. Bugzilla 10678: Win64: wrong code passing small fixed sized array as function argument
182. Bugzilla 10694: wrong purity check for static variables with impure destructor
183. Bugzilla 10695: __MODULE__ in string mixin crashes compiler
184. Bugzilla 10715: negated bit test (bt) not recognized by optimizer
185. Bugzilla 10735: Buffer overflow bug in symbol_generate()
186. Bugzilla 10746: Win64: corrupt debug info with very long symbols
187. Bugzilla 10752: accessing a private cached symbol a second time doesn't cause an error in __traits(compiles, ...)
188. Bugzilla 10758: Unsound type checking for inout.
189. Bugzilla 10761: DMD crashes on unspecified inout matching.
190. Bugzilla 10768: DMD does not show deprecation message for missing 'override' keyword
191. Bugzilla 10781: ctRegex! throws a huge error
192. Bugzilla 10783: ICE and bad diagnostics when using non-existent symbols in switch and with statements
193. Bugzilla 10792: Bad diagnostic on new eponymous enum template syntax
194. Bugzilla 10793: Forward reference errors casting from void* to opaque struct pointer
195. Bugzilla 10809: [REG] darwin 32 dmd release broken
196. Bugzilla 10811: Order dependent IFTI failure
197. Bugzilla 10813: ICE(DMD2.063) template.c:6040: Identifier* TemplateInstance::genIdent(Objects*): Assertion `global.errors' failed
198. Bugzilla 10834: cannot use cast(void)expr if the type of expr is a struct
199. Bugzilla 10840: [CTFE] *this._data.arr is not yet implemented at compile time
200. Bugzilla 10842: Some integer casts wrongly remove side-effect of the operand.
201. Bugzilla 10857: ICE(glue.c,　bugzilla 2962?) or compiles, depending on the files order
202. Bugzilla 10858: CTFE wrong code for comparison of array of pointers
203. Bugzilla 10862: Assignment inside if condition still sometimes accepted
204. Bugzilla 10869: Ddoc mark methods with "const" twice
205. Bugzilla 10870: Ddoc adds "abstract" to interfaces
206. Bugzilla 10937: struct inside union gives uninitialized error in CTFE
207. Bugzilla 10942: ICE on 1087+ initializers (Internal error: backend\cgcv.c 203)
208. Bugzilla 10944: [ICE](interpret.c line 310) with arith operation on missing variable
209. Bugzilla 10947: const out parameter is not properly rejected
210. Bugzilla 10953: Attribute inheritance needs to apply to contracts, too
211. Bugzilla 10968: array element copy (1-N and N-N) ignores postblit attributes
212. Bugzilla 10969: Variadic template parameter re-use in function signature
213. Bugzilla 10970: Segfault in a simple test compiled without -g.
214. Bugzilla 10980: static initialization of immutable structs with disabled postblit fails
215. Bugzilla 10984: Frame access diagnostic should improve
216. Bugzilla 10989: [CTFE] Uncaught exception messages are not pretty printed if message wasn't literal
217. Bugzilla 10990: Passing in a module as a mixin to __traits(getUnitTests) behaves differently than passing in the module directly.
218. Bugzilla 10992: Trait getUnitTests skips first test if aggregate contains multiple tests.
219. Bugzilla 10993: mangling of voldemort types with lambdas changes during return type inference
220. Bugzilla 10995: CTFE failures for structs with void initialized members
221. Bugzilla 11002: Compiler doesn't see std.sys.linux.epoll.
222. Bugzilla 11075: ICE(struct.c) after gagged error in struct field initializer
223. Bugzilla 11125: UFCS instantiation of template causes template constraint to be skipped
224. Bugzilla 11132: Odd diagnostic with C-style struct initializer when union field is present
225. Bugzilla 11134: Inconsistent postblit call count depends on the pointer size
226. Bugzilla 11136: ICE on incorrect module declaration
227. Bugzilla 11137: Stack overflow on invalid output path
228. Bugzilla 11141: Missing .pdb file with phobos64
229. Bugzilla 11142: Wrong error message "no size yet for forward reference" for opaque struct
230. Bugzilla 11144: Better diagnostic for typeid symbol
231. Bugzilla 11145: Duplicated deprecation message "use of typedef is deprecated;"
232. Bugzilla 11146: Wrong line number of "identity assignment operator overload is illegal"
233. Bugzilla 11147: Nested structs in a union are not correctly initialized
234. Bugzilla 11151: Undetected overlapping initialization
235. Bugzilla 11159: [CTFE] Integer exponentiation give incorrect values
236. Bugzilla 11164: wrong dependencies generated when compiling with -main
237. Bugzilla 11182: dmd crashes on compiling regex
238. Bugzilla 11187: A small transitive const bug on struct copying

DMD Compiler enhancements

1. Bugzilla 658: struct pointers in with()
2. Bugzilla 767: compiler shall print dependencies and pragma(lib)
3. Bugzilla 5943: Power expression optimisation for 2^^unsigned
4. Bugzilla 8635: Allow postfix expressions for new
5. Bugzilla 9022: IFTI should support enclosing type/scope deduction
6. Bugzilla 9097: Value range propagation to disable some array bound tests
7. Bugzilla 9565: Index of static array should not print literal suffix
8. Bugzilla 10022: Importing packages
9. Bugzilla 10117: Support C++ class-scope static variables
10. Bugzilla 10236: Ddoc: Warning on wrong parameter names
11. Bugzilla 10334: ddoc should prefer simple syntax for template instantiations with one parameter
12. Bugzilla 10367: DDoc should output enum base type
13. Bugzilla 10688: Misleading error message when attempting a "private override"
14. Bugzilla 10724: Allow slice of string literal to convert to const(char)*
15. Bugzilla 10991: Implement trait to get vptr index of a method.
16. Bugzilla 11088: Diagnostics for enum member overflows should improve
17. Bugzilla 11257: Allow whole implicit conversion if one or more overlapped field could.

Phobos regressions

1. Bugzilla 10218: std.typecons.opAssign is not CTFEable
2. Bugzilla 10268: [REG2.063] std.typecons.Nullable!JSONValue - error instantiating
3. Bugzilla 10355: fullyQualifiedName doesn't work with enums
4. Bugzilla 10468: Regression (2.063): Lockstep no longer works with iota
5. Bugzilla 10499: [REG 2.064] retro is no longer CTFE-able
6. Bugzilla 10686: No [] operator overload for immutable Tuple
7. Bugzilla 10866: Regression (2.064 git-head) Massive compiler slowdown
8. Bugzilla 10896: currently tools/ddemangle doesn't compile on git master
9. Bugzilla 10906: [2.064 git-head] Out of memory compiling Phobos on Windows
10. Bugzilla 10913: [2.064 git-head] regex/demange compilation failure
11. Bugzilla 11009: Regression (2.064 git-head): DMD consumes huge memory when it compiles enum containing many items
12. Bugzilla 11057: [REG2.064dev] New std.uni has icmp() partly broken
13. Bugzilla 11165: std.typecons._d_toObject conflicts with std.signals._d_toObject
14. Bugzilla 11283: [REG 2.064] assert in std/windows/syserror.d

Phobos bugs

1. Bugzilla 2717: alloca(0) leaves stack unaligned on OSX
2. Bugzilla 4575: Uses of deprecated delete statement in D2 Phobos
3. Bugzilla 5224: std.algorithm.remove!(SwapStrategy.unstable) doesn't work
4. Bugzilla 5378: File.byLine terminator string
5. Bugzilla 5630: array() of iterable of immutable items
6. Bugzilla 5692: Printing complex numbers with negative imaginary part
7. Bugzilla 5942: Bitfields are overwritten erroneously
8. Bugzilla 6342: Tuple field access problem in pure function
9. Bugzilla 6407: take(map) problem
10. Bugzilla 6686: bitmanip bitfields are broken at 64 bits
11. Bugzilla 6893: Write of enum member represented with ubyte or ulong
12. Bugzilla 7756: iota(const doubles) problem
13. Bugzilla 8124: std.net.isemail not included in phobos.lib
14. Bugzilla 8330: std.algorithm.find doesn't handle reference type ranges correctly
15. Bugzilla 8474: bitfields doesn't work with 32 bit fields
16. Bugzilla 8806: fullyQualifiedName!T does not work for inner types
17. Bugzilla 9310: escapeShellCommand unittests are never run
18. Bugzilla 9384: std.socket: UnixAddress broken on Linux and others
19. Bugzilla 9548: BigInt: Wrong comparison result: BigInt("-1") > long.min
20. Bugzilla 9557: std.array.array of array of immutable structs
21. Bugzilla 9559: Range of Nullable doesn't work with std.array.array
22. Bugzilla 9579: std.regex.replace format argument should not require same constness as target string
23. Bugzilla 9599: File.byLine doesn't function properly with take
24. Bugzilla 9607: std.random.randomShuffle and partialShuffle don't work with Xorshift
25. Bugzilla 9629: toUpperInPlace doesn't work properly with unicode characters
26. Bugzilla 9725: std.string.format does wasteful UTF decoding
27. Bugzilla 9824: Emplace is broken
28. Bugzilla 9967: ParameterIdentifierTuple broken for setters
29. Bugzilla 10017: Can not assign to a Variant another Variant holding a bigger structure
30. Bugzilla 10078: std.string.indexOf(Char[], dchar, CaseSensitive) fails at compile time
31. Bugzilla 10130: map of iota with const step
32. Bugzilla 10161: std.datetime unittest failure "Libya Standard Time"
33. Bugzilla 10188: Wrong Document Comment on std.format.d(176)
34. Bugzilla 10216: Bad warning in std.process.kill
35. Bugzilla 10265: RandomSample fails when passed an InputRange as input
36. Bugzilla 10269: RandomSample should use popFrontExactly, not popFrontN, when skipping across input range
37. Bugzilla 10322: std.random.RandomSample.index() returns wrong value if called before front()
38. Bugzilla 10347: buildPath returns relative path when joining absolute with relative path
39. Bugzilla 10348: isRooted is either wrong or poorly specified
40. Bugzilla 10377: std.typecons.wrap doesn't consider private members
41. Bugzilla 10408: Two-function std.algorithm.reduce of a const array
42. Bugzilla 10426: Improve code coverage of std.random unittests
43. Bugzilla 10463: dirEntries() segfaults on paths the user does not have access to
44. Bugzilla 10469: WinAPI declarations in std.process should be moved to core.sys.windows.windows
45. Bugzilla 10474: When takeExactly returns a new range type, it fails to propagate all relevant attributes
46. Bugzilla 10510: enforce can't take an extern(C) function to call
47. Bugzilla 10517: readln(Char)(Char[] buf) accepts non-mutable buffers
48. Bugzilla 10536: std.typecons.wrap doesn't work with a class that defines opCast
49. Bugzilla 10543: std.algorithm.map incorrectly uses source range length for narrow strings
50. Bugzilla 10550: Xorshift32 and Xorshift160 do not generate uniformly-distributed random numbers
51. Bugzilla 10570: Example of `how` function for AutoImplement should work for non-abstract class
52. Bugzilla 10601: std.path.setExtension leaves trailing dot if extension is empty
53. Bugzilla 10607: DirEntry has no constructor
54. Bugzilla 10608: std.typecons.RefCounted has very poor diagnostics
55. Bugzilla 10644: Win64: wrong code when passing arguments through ...
56. Bugzilla 10647: AutoImplement should implement overridden member functions with 'override' attributes
57. Bugzilla 10660: ddoc on std.algorithm: Cheat sheet description for 'filter' is wrong
58. Bugzilla 10680: BigInt uses deprecated std.traits.unsigned
59. Bugzilla 10732: Example code for std.utf.toUTFindex does not work
60. Bugzilla 10773: std.algorithm.splitter produces infinite range with empty delimiter
61. Bugzilla 10796: std.regex: ctRegex bug with '.' and $ in multi-line mode
62. Bugzilla 10797: std.regex: ctRegex "codegen" bug with certain nested infinite loops
63. Bugzilla 10799: std.regex: ctRegex lookahead support
64. Bugzilla 10800: ParameterDefaultValueTuple returns an empty string for default values in property functions.
65. Bugzilla 10801: std.regex: support for lookbehind in ctRegex
66. Bugzilla 10802: std.regex: ctRegex fails to compile with backreference
67. Bugzilla 10874: std.conv.to should support conversion from ulong to int-based enum
68. Bugzilla 10893: Numerous DDoc parameter warnings in Phobos (as found by 10236)
69. Bugzilla 10898: LockingTextWriter segfaults in .init state
70. Bugzilla 10951: EnumMembers should document about returning duplicate members
71. Bugzilla 11068: raw formatting of chars and strings is wrong
72. Bugzilla 11089: std.string.toUpper doesn't work with 1:m mappings
73. Bugzilla 11152: formatChar doesn't handle `\0`
74. Bugzilla 11160: Bitfield compilation error with degenerate bitfields of length 32 & 64
75. Bugzilla 11194: std.container.Array.reserve calls opAssign on uninitialized data
76. Bugzilla 11222: std.string.isNumeric accepts a "+"
77. Bugzilla 11232: Windows sysErrorString only supports ASCII

Phobos enhancements

1. Bugzilla 4120: bigint implicit cast too bool
2. Bugzilla 4124: toString() for BitArray
3. Bugzilla 4850: std.conv.to isn't pure
4. Bugzilla 6154: std.math.abs on std.complex numbers too
5. Bugzilla 6381: math.floor, math.ceil are not pure functions.
6. Bugzilla 6626: std.complex.expi()
7. Bugzilla 9699: strip functions should have stripLeft/stripRight counterparts and be generic
8. Bugzilla 10092: Renaming std.range.chunks as std.range.chunked
9. Bugzilla 10314: Add std.traits.signed
10. Bugzilla 10538: std.typecons.wrap should consider opDispatch
11. Bugzilla 10621: dirEntry is (now) useless
12. Bugzilla 10717: std.ascii.toLower and toUpper should return char instead of dchar and avoid me to use a bad cast(char)
13. Bugzilla 10868: std.string.translate should take an optional buffer
14. Bugzilla 10881: Support %f formatting for a std.complex.complex
15. Bugzilla 10909: std.conv.to!(bool)(int): conversion from integer to bool
16. Bugzilla 11020: Add function for getting the current executable path
17. Bugzilla 11123: std.getopt should support functions

Druntime regressions

1. Bugzilla 10976: thread_joinAll after main exit performed too late

Druntime bugs

1. Bugzilla 6210: Associative array with array key often cannot be equated.
2. Bugzilla 6372: data loss due to possible bug in garbage collector
3. Bugzilla 7741: getHash inconsistent for const(char)[] vs. char[] and string
4. Bugzilla 8435: BigInts don't work well in associative arrays
5. Bugzilla 9783: profiling recursive function calls yields bad tree timing
6. Bugzilla 9852: Empty associative array crashes program
7. Bugzilla 10027: demangled name format of local function is wrong
8. Bugzilla 10118: BigInt as associative array key wrong behavior
9. Bugzilla 10323: getAMDcacheinfo needlessly allocates
10. Bugzilla 10420: Incorrect function attributes in `core.exception`
11. Bugzilla 10436: The runtime should print stack traces to stderr (like on *nix), not stdout
12. Bugzilla 10457: _d_toObject might fail with shared libraries
13. Bugzilla 10593: array's reserve/capacity go haywire if length has been changed prior
14. Bugzilla 10711: shared phobos library should not depend on _Dmain
15. Bugzilla 10720: ICE with is(aaOfNonCopyableStruct.nonExistingField)
16. Bugzilla 10894: Numerous DDoc parameter warnings in druntime (as found by 10236)

Druntime enhancements

1. Bugzilla 9190: Vector operations are not optimized for x86_64 architecture

Installer bugs

1. Bugzilla 10062: installers should use CDN

Website bugs

1. Bugzilla 9533: CHM generation crashes
2. Bugzilla 10031: Link to old wiki on dlang.org
3. Bugzilla 10230: Duplicated buttons for runnable examples
4. Bugzilla 10410: Improve cast(void) documentation
5. Bugzilla 10461: Incorrect example of "depend on order of evaluation" expression
6. Bugzilla 10565: Level-5 titles are missing in Language reference
7. Bugzilla 10605: Lambda grammar is not sufficient
8. Bugzilla 10885: [std.range] refRange is missing from module description tables
9. Bugzilla 11001: Need documentation for __traits(getVirtualIndex)
10. Bugzilla 11036: Document that .stringof should not be used for code generation

Language Changes

1. Const and immutable fields with initializers are now warned about.
2. Constructor qualifiers are taken into account when constructing objects.
3. Struct members which require non-bitwise comparison are now properly compared.
4. Array copy operations now always require using the slice syntax.
5. Types no longer act as arguments in typeof expressions.
6. The index variable in a foreach range is no longer implicitly a reference.
7. Associative array entries are no longer default-initialized before assignment.
8. The const attribute is no longer inherited in overriden methods.
9. typeof(null) no longer implicitly converts to T[].
10. The Template This Parameter now changes the member function qualifier.
11. Array slices are now r-values.
12. Accessing a non-static field without a this reference is only allowed in certain contexts.
13. Arrays no longer implicitly convert to a pointer.

Language Enhancements

1. Expressions which return unique objects can be implicitly casted to immutable.
2. Static array of void can now be user-initialized.
3. Aggregates can now contain multiple invariants.
4. Methods of templated aggregates can now infer attributes.
5. is expression no longer requires an identifier.
6. Dynamic arrays of known size can be implicitly cast to static arrays in some contexts.
7. Tuples can now be void-initialized.
8. Tuples can now be compared for equality.
9. Template constraints can now be put after the inheritance list.
10. Fields with initializers can now be re-initialized in a const constructor.
11. Added the isNested trait for discovery of aggregates and functions with context pointers.
12. Templates can now be nested inside of functions.
13. UFCS now works with scoped local imports.
14. Added __FUNCTION__, __PRETTY_FUNCTION__ and __MODULE__.
15. DDoc: Deprecated declarations are now wrapped in a DEPRECATED macro.
16. Added documented unittest feature for verifiable code example generation.

Compiler Enhancements

1. Added -main switch which adds an empty main function.
2. Added -cov=percentage switch for minimal coverage tests.
3. Added ability to override the mangling of a symbol with a compiler pragma.

Phobos Changes

1. std.typecons.scoped implementation changed, potentially breaking some user-code.

Phobos Enhancements

1. std.process has been redesigned from the ground up and introduces a new API and functionality.
2. std.getopt can now set booleans to false.
3. Added ownerTid property in std.concurrency.

Language Changes

1. Const and immutable fields with initializers are now warned about:

   Eventually, they will be deprecated, and then will trigger an error. Such fields should now be changed to enum or static.

   In a future release, a new behavior for them will be enabled:

   Fields in an aggregate which are not static will always be addressable. This means they will occupy space in the object:

   struct S
   {
       // used to be implicitly static in 2.062, now warns. In a future release it will become non-static.
       immutable int[] arr = [1, 2];
   
       // ditto
       const int[] arr2 = [1, 2];
   }
   

   This means that code which accessed such declarations without the this reference will no longer compile. Additionally code which depended on the size of a structure with such fields will have to be fixed:

   struct S
   {
       immutable int[] arr = [1, 2];
   }
   
   void main()
   {
       auto x = S.arr;  // becomes an error in a future release, 'arr' will require the 'this' reference.
   
       // S is size 1 in 2.062 and 2.063. In a future release this will change and the following static assert will pass.
       static assert(S.sizeof == size_t.sizeof + size_t.sizeof);  // ptr + length for the array
   }
   

   To make the field static again, simply use the static keyword. Alternatively make the field an enum to turn it into a manifest constant:

   struct S
   {
       static immutable int[] arr = [1, 2];
       enum arr2 = [1, 2];
   }
   

   Note however that manifest constants which are arrays are allocated on each usage, so you may prefer using static instead.

   Rationale:

   Making a field implicitly static based on whether it is const/immutable and has an initializer leads to confusion. The static keyword can be used to explicitly make any field static.

2. Constructor qualifiers are taken into account when constructing objects:

   A qualified constructor is now invoked when a const/immutable/shared aggregate object is instantiated, respectively:

   import std.stdio;
   
   class C
   {
       this()           { writeln("1"); }
       this() const     { writeln("2"); }
       this() immutable { writeln("3"); }
       this() shared    { writeln("4"); }
   }
   
   void main()
   {
       auto a = new C;           // writes "1"
       auto b = new const C;     // writes "2"
       auto c = new immutable C; // writes "3"
       auto d = new shared C;    // writes "4"
   }
   

   This has the consequence that aggregates which have only immutable or shared constructors can no longer be used to instantiate mutable objects:

   class C
   {
       this() immutable { }
       this() shared { }
   }
   
   void main()
   {
       auto c1 = new C;           // disallowed
       auto c2 = new immutable C; // ok
       auto c3 = new shared C;    // ok
   }
   

   On the other hand, aggregates which do not have shared or immutable constructors can no longer be used to construct shared or immutable objects, respectively:

   class C
   {
       this() { }
   }
   
   void main()
   {
       auto c1 = new C;           // ok
       auto c2 = new immutable C; // disallowed
       auto c3 = new shared C;    // disallowed
   }
   

   However, if an aggregate has a pure constructor it can be used to construct an object with any type constructor:

   class C
   {
       this() pure { }
   }
   
   void main()
   {
       auto c1 = new C;  // ok
       auto c2 = new immutable C;  // ok
       auto c3 = new shared C;  // ok
   }
   

3. Struct members which require non-bitwise comparison are now properly compared.

   In earlier releases some struct members such as arrays would be bitwise-compared in a comparison operation. This has now been changed to be a structural comparison instead:

   struct S
   {
       char[] data;
   }
   
   void main ()
   {
       auto s1 = S("foo".dup);
       auto s2 = S("foo".dup);
   
       assert(s1.data !is s2.data);  // both are unique data
   
       assert(s1 == s2);   // passes in 2.063
       assert(s1.data == s2.data);  // equivalent of above
   }
   

   If an opEquals function is not present the compiler rewrites the expression s1 == s2 to s1.tupleof == s2.tupleof. Comparing .tupleof expressions is also a feature new to D in the 2.063 release.

4. Array copy operations now always require using the slice syntax:

   The right-hand-side of an array copy operation now requires using the slice syntax:

   void main()
   {
       int[][2] x;
       int[] y;
       int[] z;
   
       x[] = z;    // copies z (pointer + length) 2 times to x
       y[] = z;    // copies each element of z into y (compiler emits warning)
   }
   

   If the user intended to write such code they must use the slice syntax for both the source and target arrays:

   void main()
   {
       int[][2] x;
       int[] y;
       int[] z;
   
       y[] = z[];  // copies each element of z into y (no warnings)
   }
   

   Rationale:

   The compiler will emit a warning to make the user aware that the copy operation is arbitrarily expensive.

5. Types no longer act as arguments in typeof expressions:

   A type can no longer be passed to a function as a value of that type:

   T[] foo(T)(T t)
   {
       return null;
   }
   
   void main()
   {
       alias int Int;
   
       // used to work (only with an alias), now a compiler error
       alias typeof(foo(Int)) IntArray;
   }
   

   If the user wants to pass an argument of a certain type, they can use the .init property:

   T[] foo(T)(T t)
   {
       return null;
   }
   
   void main()
   {
       alias typeof(foo(int.init)) IntArray;  // ok
   }
   

   Rationale:

   Treating types as expressions in special contexts only leads to confusion. Instead, the .init property can be used for such purposes.

6. The index variable in a foreach range is no longer implicitly a reference:

   The index variable in a foreach range is now by default a value type:

   void main()
   {
       size_t count;
       foreach (n; 0 .. 10)
       {
           ++n;
           ++count;
       }
       assert(count == 10);  // passes
   }
   

   If the user wants to modify the index variable he must use the ref keyword:

   void main()
   {
       size_t count;
       foreach (ref n; 0 .. 10)
       {
           ++n;
           ++count;
       }
       assert(count == 5);
   }
   

   Rationale:

   Making the index variable implicitly ref can introduce bugs that are hard to track down.

7. Associative array entries are no longer default-initialized before assignment:

   An associative array entry used to be default-initialized before assignment took place:

   void main()
   {
       int[int] aa;
       aa[1] = aa[1] + 1;   // no Error thrown in 2.062
       assert(aa[1] == 1);  // worked in 2.062
   }
   

   In 2.063, accessing an entry which does not exist will now throw a RangeError:

   void main()
   {
       int[int] aa;
       aa[1] = aa[1] + 1;   // RangeError thrown in 2.063
   }
   

   Rationale:

   Default-initialization during assignment can be a source of bugs.

8. The const attribute is no longer inherited in overriden methods.

   Method overrides no longer inherit constness of the base method:

   class A
   {
       void foo() const { }
   }
   
   class B : A
   {
       // used to work in 2.062, now an error
       override void foo() { }  // note missing 'const'
   }
   

   If the user wants to override a const method he has to mark the overriden method as const:

   class A
   {
       void foo() const { }
   }
   
   class B : A
   {
       override void foo() const { }  // ok
   }
   

   The feature allows introducing new overloads based on the constness of the method:

   class A
   {
       void foo() const { }
   }
   
   class B : A
   {
       // introduces new overload (not override!)
       void foo() { }
   
       // if the above overload is introduced the user must either:
       // a: re-introduce the const overload to prevent function hijacking
       alias super.foo foo;  // without this you will get a compiler error
   
       // or b: provide a properly typed override:
       override void foo() const { }
   }
   

9. typeof(null) no longer implicitly converts to T[]:

   The following code used to be allowed:

   void f(int[] function() del)
   {
       assert(!del());  // fails
   }
   
   typeof(null) g() { return null; }
   
   void main()
   {
       f(&g);
       f(() => null);
   }
   

   However the implicit conversion would end up generating wrong code. To work around this, make sure the return type is typed properly, or use (T[]).init in the return expression of a lambda expression:

   void f(int[] function() del)
   {
       assert(!del());  // passes
   }
   
   int[] g() { return null; }  // fixed return type
   
   void main()
   {
       f(&g);  // ok
       f(() => (int[]).init);  // ok
   }
   

10. The Template This Parameter now changes the member function qualifier:

    The Template This Parameter can now be used to infer the qualifier of this to member functions:

    struct S
    {
        void foo(this T)()
        {
        }
    }
    
    void main()
    {
         immutable S s;
         s.foo();  // makes S.foo immutable
    }
    

11. Array slices are now r-values:

    Array slices are no longer l-values. This means an address can no longer be taken of a slice, and slices cannot be passed by ref to functions:

    void foo(ref int[] arr) { arr = new int[10]; }
    
    void main()
    {
        int[] arr;
        foo(arr);  // ok
        assert(arr.length == 10);
    
        foo(arr[]);  // disallowed in 2.063, the slice is an r-value
        auto ptr = &arr[1..2];  // disallowed in 2.063, cannot take address of r-value
    }
    

    To work around this you can make your function take an r-value if it doesn't need to reassign and resize the slice, but only needs to read or modify its contents. Otherwise, to accept both l-values and r-values you can make your function take its argument by auto ref:

    void take(int[] arr) { }
    void takeRef(ref int[] arr) { }
    void takeAutoRef(T)(auto ref T[] arr) { }
    
    void main()
    {
        int[] arr = [1, 2, 3, 4];
        take(arr);          // ok
        takeRef(arr);       // ok
        takeAutoRef(arr);   // ok
    
        int[] arr2 = arr[1 .. 2];
        take(arr2);         // ok, arr2 is a variable
        takeRef(arr2);      // ditto
        takeAutoRef(arr2);  // ditto
    
        take(arr[1 .. 2]);         // ok
        takeRef(arr[1 .. 2]);      // error, cannot pass r-value by reference
        takeAutoRef(arr[1 .. 2]);  // ok
    }
    

    Rationale:

    Passing slices by reference had no observable effect when reassigning or resizing such a slice at the call site, therefore such slices should by default be r-values. For example, the following code used to be allowed but is now a compile-time error:

    void reAssign(ref int[] arr) { arr = new int[2]; }
    void reSize(ref int[] arr)   { arr.length = 10; }
    
    void main()
    {
        int[] arr = [1, 2, 3, 4];
    
        reAssign(arr[0 .. 4]);  // reassigning has no observable effect at the call site
        assert(arr == [1, 2, 3, 4]);
    
        reSize(arr[0 .. 4]);    // resizing has no observable effect at the call site
        assert(arr.length == 4);
    }
    

12. Accessing a non-static field without a this reference is only allowed in certain contexts:

    Accessing non-static fields used to be allowed in many contexts, but is now limited to only a few:

    - offsetof, init, and other built-in properties are allowed:

    struct S { int field; }
    
    void main()
    {
        auto a = S.field.offsetof;  // ok, statically known
        auto c = S.field.max;       // ditto
        auto d = S.field;           // disallowed, no `this` reference
    }
    

    - When invoking static methods of a non-static field:

    struct Foo
    {
        static struct Bar
        {
            static int get() { return 0; }
        }
    
        Bar bar;
    }
    
    void main()
    {
        static assert(Foo.bar.get() == 0);  // ok, equivalent to `typeof(Foo.bar).get()'
    }
    

    - When accessing static fields implicitly using an alias this expression:

    struct Foo
    {
        static struct Bar
        {
            static int get() { return 0; }
        }
    
        Bar bar;
        alias bar this;
    }
    
    void main()
    {
        static assert(Foo.get() == 0);  // ok, equivalent to 'typeof(Foo.bar).get()'
    }
    

13. Arrays no longer implicitly convert to a pointer:

    The implicit conversion of an array to a pointer was a deprecated feature:

    void foo(int* p) { }
    
    void main()
    {
        int[] arr = [1, 2];
        foo(arr);   // ok if -d switch is used during compilation
    }
    

    This feature has now been completely removed. The workaround is to either use the .ptr property, or explicitly pass the pointer to the first element:

    void foo(int* p) { }
    
    void main()
    {
        int[] arr = [1, 2];
        foo(arr);      // compile error
        foo(arr.ptr);  // ok
        foo(&arr[0]);  // ok
    }
    

Language Enhancements

1. Expressions which return unique objects can be implicitly casted to immutable:

   Expressions such as new for objects and arrays, and dup for arrays, can now be inferred to be unique. This allows the compiler to implicitly convert such an expression to immutable:

   class C { }
   
   void main()
   {
       immutable int[] arr1 = new int[](3);   // ok
       immutable int[] arr2 = [1, 2, 3].dup;  // ok in 2.063
       immutable C[] arr3 = [new C, new C].dup;  // ok in 2.063
   }
   

2. Static array of void can now be user-initialized.

   A static array of void could not be initialized in user-code:

   void main()
   {
       void[2] varr1;  // error in 2.062
       void[2] varr2 = (void[2]).init;  // error in 2.062
       void[2] varr3 = void;  // ok in 2.062
   }
   

   In 2.063, an explicit initializer can be used:

   void main()
   {
       void[2] varr1;  // still an error in 2.063
       void[2] varr2 = (void[2]).init;  // ok in 2.063
       void[2] varr3 = void;  // ok in 2.063
   }
   

   The .init property effectively zero-initializes the array.

   Rationale:

   The restriction has been lifted to allow generic code to use .init without having to specialize for static void arrays.

3. Aggregates can now contain multiple invariants:

   If an aggregate type has multiple invariants, the invariants' bodies will be merged into a single invariant function and will be run in sequence. Note that the code in one invariant cannot reference code or data in another invariant:

   struct S
   {
       int x;
   
       void foo() { }
   
       invariant()
       {
           int local;
           assert(x != 0);
       }
   
       invariant()
       {
           // local = 1;  // invariant does not have access to the other invariant's body
           assert(x % 2 == 0);
       }
   }
   
   void main()
   {
       S s = S(2);
       s.foo();  // invoking public function triggers both invariants in sequence
   }
   

4. Methods of templated aggregates can now infer attributes:

   If a function with some attributes instantiates a templated aggregate, it's member functions will infer those attributes:

   struct S(T)
   {
       T square(T x)
       {
           return x * x;
       }
   }
   
   void main() pure
   {
       S!int s;  // S!int.square becomes pure and callable from main()
       assert(s.square(2) == 4);  // ok
   }
   

5. is expression no longer requires an identifier:

   In some cases the is expression required an identifier even when you didn't have a use for it:

   void main()
   {
       alias AA = string[int];
   
       static if (is(AA _ == V[K], V, K))
       {
           pragma(msg, _);  // prints string[int]
           pragma(msg, K);  // prints int
           pragma(msg, V);  // prints string
       }
   }
   

   The identifier is no longer required, so the above can be rewritten to:

   void main()
   {
       alias AA = string[int];
   
       static if (is(AA == V[K], V, K))
       {
           pragma(msg, AA); // prints string[int]
           pragma(msg, K);  // prints int
           pragma(msg, V);  // prints string
       }
   }
   

6. Dynamic arrays of known size can be implicitly cast to static arrays in some contexts:

   In some contexts the compiler knows the size of a dynamic array or of a slice of an array. In such a case the compiler will allow an implicit conversion to a static array of the same size:

   void foo(int[4] x) { }
   
   void main()
   {
       int[] arr = [1, 2, 3, 4, 5, 6, 7, 8];
       foo(arr[0 .. 4]);  // ok
   }
   

   Another example, where a string is converted to a reference to a static array:

   string str = "aaaabbbbccccdddd";
   
   void foo(ref const(char)[16] buf)
   {
       assert(buf.ptr is str.ptr);
   }
   
   void main()
   {
       foo(str[0..16]);  // ok
   }
   

   Limitations:

   - This feature does not yet work with complex expressions where it might be reasonable to assume the size of a slice:

   void foo(int[4] x) { }
   
   void main()
   {
       int[] arr = [1, 2, 3, 4, 5, 6, 7, 8];
       foreach (i; 0 .. 4)
       {
           foo(arr[i .. i + 4]);  // not yet supported
       }
   }
   

7. Tuples can now be void-initialized:

   You can now void-initialize a tuple variable:

   template Tuple(T...)
   {
       alias T Tuple;
   }
   
   void main()
   {
       Tuple!(int, int) tup1 = void;  // ok
   }
   

   Upon such initialization the values in the tuple are undetermined.

8. Template constraints can now be put after the inheritance list:

   Template constraints used to be allowed only before the inheritance list, leading to code where the inheritance list could be hard to spot:

   class Foo(T1, T2)
       if (is(T1 == int) && is(T2 == string)) : Base
   {
   }
   

   This restriction has been lifted, so you can now write:

   class Foo(T1, T2) : Base
       if (is(T1 == int) && is(T2 == string))
   {
   }
   

9. Tuples can now be compared for equality:

   Example:

   struct Tuple(T...) { T field; alias field this; }
   
   void main()
   {
       auto tup1 = Tuple!(int, int)(1, 2);
       auto tup2 = Tuple!(int, int)(1, 2);
       auto tup3 = Tuple!(int, int)(1, 3);
   
       assert(tup1 == tup2);  // works since 2.063
       assert(tup1 != tup3);  // works since 2.063
   }
   

   This also means you can now compare ParameterStorageClassTuple instances from std.traits:

   import std.traits;
   
   void func1(ref int x, ref int y) { }
   void func2(ref float x, ref float y) { }
   
   void main()
   {
       alias Storages = ParameterStorageClassTuple;
       assert(Storages!func1 == Storages!func2);
   }
   

   In addition to that, builtin .tupleof expressions can be used to easily compare fields of an aggregate:

   struct S
   {
       char[] a, b;
   
       // Implements equality test against another instance of this type.
       bool opEquals(S rhs) { return this.tupleof == rhs.tupleof; }
   }
   
   void main()
   {
       S s1 = S("a".dup, "b".dup);
       S s2 = S("a".dup, "b".dup);
       assert(s1 == s2);
   }
   

   This also allows you to implement a structural equality test against an instance of a different type:

   struct S1
   {
       char[] a, b;
   
       // Implements a structural equality test against any other type T
       bool opEquals(T)(T rhs) { return this.tupleof == rhs.tupleof; }
   }
   
   struct S2
   {
       string x, y;
   }
   
   void main()
   {
       auto s1 = S1("123".dup, "456".dup);
       auto s2 = S2("123", "456");
       assert(s1 == s2);
   }
   

   Since tuples can be sliced you can use this feature to compare a subset of tuples:

   struct S
   {
       int a, b, c, d, e;
   
       bool opEquals(S rhs)
       {
           // compares a, b, d, and e
           return this.tupleof[0..2] == rhs.tupleof[0..2] &&
                  this.tupleof[3..5] == rhs.tupleof[3..5];
       }
   }
   
   void main()
   {
       S s1 = S(1, 2, 0, 3, 4);
       S s2 = S(1, 2, 1, 3, 4);
       assert(s1 == s2);
   }
   

10. Fields with initializers can now be re-initialized in a const constructor:

    You can now initialize a field in a const constructor even if such a field already has an initializer:

    struct S
    {
        bool field = true;
    
        this(int v) const
        {
            field = false;  // ok
        }
    }
    

11. Added the isNested trait for discovery of aggregates and functions with context pointers:

    The new isNested trait allows you to discover whether an aggregate or function contains a context pointer:

    void main()
    {
        int x;
    
        struct S1 { void f() { x++; } }
        static struct S2 { }
    
        void f1() { x++; }
        static void f2() { }
    
        static assert(__traits(isNested, S1));
        static assert(__traits(isNested, f1));
        static assert(!__traits(isNested, S2));
        static assert(!__traits(isNested, f2));
    }
    

12. Templates can now be nested inside of functions:

void test()
{
    template ArrayOf(T) { alias ArrayOf = T[]; }
    static assert(is(ArrayOf!int == int[]));
}

Allowing template's inside of functions will enable better encapsulation and avoid the pollution of module-scoped symbol names.

13. UFCS now works with scoped local imports:

    Functions that are made available through a local import are now picked up when using Uniform Function Call Syntax:

    module foo;
    string concat(string arg1, string arg2) { return arg1 ~ arg2; }
    

    module test;
    void main()
    {
        import foo;
        assert("foo".concat("bar") == "foobar");  // UFCS now works
    }
    

    This feature also works for imports within aggregates. Note that local imports have a higher precedence than module-scoped imports.

14. Added __FUNCTION__, __PRETTY_FUNCTION__ and __MODULE__:

    A new set of special keywords were added. Together with __FILE__ and __LINE__ they form a complete feature set that is useful in debugging code:

    module test;
    import std.stdio;
    
    void test(string file = __FILE__, size_t line = __LINE__, string mod = __MODULE__,
              string func = __FUNCTION__, string pretty = __PRETTY_FUNCTION__)
    {
        writefln("file: '%s', line: '%s', module: '%s',\nfunction: '%s', pretty function: '%s'",
                 file, line, mod, func, pretty);
    }
    
    int main(string[] args)
    {
        test();
        return 0;
    }
    

    The above will output:

    file: 'test.d', line: '13', module: 'test',
    function: 'test.main', pretty function: 'int test.main(string[] args)'
    

15. DDoc: Deprecated declarations are now wrapped in a DEPRECATED macro:

    module test;
    
    /// sum function
    deprecated int sum(int x, int y) { return x + y; }
    

    By default the macro expands to its argument. It can be overriden by the user, for example:

    macros.ddoc:

    DEPRECATED=<del>$0</del>
    

    The above ddoc file can then be used when the documentation is being generated:

    $ dmd -D -o- test.d macros.ddoc
    

16. Added documented unittest feature for verifiable code example generation:

    Documented unittests which follow any symbol declarations are now used to generate example sections for the symbol when generating DDOC documentation. Example:

    /// sum function
    int sum(int x, int y) { return x + y; }
    
    ///
    unittest
    {
        assert(sum(2, 2) == 4);
    }
    

    The body of the unittest will be part of the documentation of the sum function. This allows the implementor of the function to keep their examples always up-to-date.

    For more information, see the documentation page of documented unittests.

Compiler Enhancements

1. Added -main switch which adds an empty main function:

   The -main switch is primarily useful when unittesting libraries:

   module test;
   
   int sum(int a, int b) { return a + b; }
   unittest
   {
       assert(sum(2, 2) == 4);
   }
   

   The above library would need a main() function for the unittests to run, and -main can be used for this purpose:

   $ dmd -unittest -main -run test.d
   

2. Added -cov=percentage switch for minimal coverage tests.

   The -cov switch now has an optional percentage setting which makes the executable emit an error when the coverage doesn't meet the specified requirement:

   module test;
   
   void test1() { int x = 5; }
   void test2() { int x = 5; }
   void test3() { int x = 5; }
   
   void main()
   {
       test1();
       test2();
   }
   

   Example of coverage testing:

   $ dmd -cov=90 test.d
   $ test
   Error: test.d is 80% covered, less than required 90%
   

3. Added ability to override the mangling of a symbol with a compiler pragma:

   The new pragma(mangle, ...) directive allows you to set a custom mangling for any symbol:

   pragma(mangle, "module") extern(C) void module_();
   

   The above allows linking to a C function named "module", which ordinarily we wouldn't be able to link to directly since "module" is a reserved D keyword.

Phobos Changes

1. std.typecons.scoped implementation changed, potentially breaking some user-code:

   User-code which used the std.traits.ReturnType trait to retrieve the type of a scoped call will have to be changed to use the typeof operator instead:

   class A
   {
       this() {}
       this(int) {}
   }
   
   class B
   {
       // ReturnType!(scoped!A) a;  // disallowed in 2.063
       typeof(scoped!A()) a;        // rewritten, compiles in 2.063
   
       this()
       {
           a = scoped!A(1);  // would not compile in 2.062, but works with syntax used for 2.063
       }
   }
   

   The reason for this change is that the ReturnType trait would retrieve the wrong type when a class had multiple constructors, and this would cause initializing the field to fail.

   Another benefit of the new implementation is that scoped can now be aliased for usability purposes:

   class A
   {
       this(int) { }
   }
   
   void main()
   {
       alias scoped!A scopeA;
       auto a = scopeA(1);
   }
   

Phobos Enhancements

1. std.process has been redesigned from the ground up and introduces a new API and functionality:

   The new std.process module introduces functionality for invoking processes with custom pipe redirection, the ability to wait for processes to finish, and the ability to kill processes. The full list of features can be found in the std.process documentation.

2. std.getopt can now set booleans to false:

   Example code:

   void main(string[] args)
   {
       bool flag = true;
       getopt(args, &flag);
   }
   

   When invoked via --flag=false, it will set flag to false.

3. Added ownerTid property in std.concurrency:

   It is now easier to send a message from a child thread to its owner thread. Simply use the ownerTid property to get the owner thread's Tid identifier:

   void fun()
   {
       string res = receiveOnly!string();
       assert(res == "Main calling");
   
       ownerTid.send("Child responding");  // new
   }
   
   void main()
   {
       auto child = spawn(&fun);
       child.send("Main calling");
   
       string res = receiveOnly!string();
       assert(res == "Child responding");
   }
   

   If the owner thread has exited, accessing ownerTid from any of its child threads will throw a TidMissingException.

DMD Compiler regressions

1. Bugzilla 9130: Wrong codegen for compile time constructed struct
2. Bugzilla 9258: opAssign with base class triggers "identity assignment operator overload" error
3. Bugzilla 9526: ICE when compiling project with unittests
4. Bugzilla 9536: IFTI fails when calling a static member from const member
5. Bugzilla 9538: Regression (2.062): Can't use typeid on .ptr of static array
6. Bugzilla 9539: Wrong implicit conversion of array to pointer
7. Bugzilla 9545: [REG 2.063a] ICE with member template instantiation
8. Bugzilla 9552: DMD crashed when taking member delegate from __traits(getOverloads)
9. Bugzilla 9566: Regression (2.062): Cannot use struct .init when it contains a static array initialized from a single element.
10. Bugzilla 9568: [64bit] wrong code for scope(exit)
11. Bugzilla 9633: compiles trait wrongly returns true even when object method call actually does not compile
12. Bugzilla 9650: __traits(compiles) + mixin
13. Bugzilla 9663: [REG2.063a] ICE caused by issue 7444 change.
14. Bugzilla 9672: mixin within cyclic import causes undefined properties
15. Bugzilla 9689: std.typecons.Proxy breaks with @disable this(this)
16. Bugzilla 9694: A member struct that has mutable opEquals reports weird error message
17. Bugzilla 9739: Regression (1.077 git-head): DMD not considering ctor with default args as default ctor
18. Bugzilla 9759: compiler segfault in StructLiteral::implicitConvTo(Type*) on invalid code
19. Bugzilla 9764: Ddoc: Ddoc file name is incorrectly emphasized
20. Bugzilla 9775: Can no longer create a const Date in CTFE if the variable is explicitly typed
21. Bugzilla 9806: assertion failure in struct.c:668
22. Bugzilla 9834: incorrect detection of lambda locality.
23. Bugzilla 9846: regression of forward references
24. Bugzilla 9858: const alias this fails when opAssign is present
25. Bugzilla 9865: Crash on bogus import / circular reference
26. Bugzilla 9890: Alias This + Alias Fields
27. Bugzilla 9903: Broken ddoc in std.typecons and etc.c.sqlite3
28. Bugzilla 9919: Regression (2.062): Symbol lookup fails with public import and mixin
29. Bugzilla 9952: regression(HEAD): Attribute inference for virtual functions breaks subclasses
30. Bugzilla 9957: [2.061 -> 2.062] Taking pointer of enum float array gives some garbage
31. Bugzilla 9974: immutable class constructor is broken
32. Bugzilla 9984: inout qualifier is skipped for constructor arguments (template constructor only)
33. Bugzilla 9987: Declaring struct ModuleInfo should be allowed
34. Bugzilla 10002: 2.062 -> 2.063 calling "remove" is impure
35. Bugzilla 10003: void* UFCS regression
36. Bugzilla 10016: Incorrect error gagging using RefCounted
37. Bugzilla 10040: struct-related ICE
38. Bugzilla 10041: ufcs writeln of associative array
39. Bugzilla 10043: ICE with __traits(compiles)
40. Bugzilla 10044: Wrong di generation for IsExp with TemplateParameterList
41. Bugzilla 10047: opDispatch instantiation failure should be gagged for UFCS
42. Bugzilla 10049: Spurious "Label already defined" error inside a foreach over a range aggregate
43. Bugzilla 10050: Regression (git-head): RDMD no longer emits error messages from DMD
44. Bugzilla 10053: struct member with pure dtor forces declared dtor to be pure, too
45. Bugzilla 10055: Incorrect attribute merging in dtor/postblit building
46. Bugzilla 10056: Strange Error with templates and string.format
47. Bugzilla 10067: [REG] Recursive template instantiation
48. Bugzilla 10073: Default opEquals depends on class declaration order with DMD HEAD
49. Bugzilla 10076: expression.c:4310: virtual Expression* TypeExp::semantic(Scope*): Assertion `0' failed.
50. Bugzilla 10089: Strange function call error message with specified module
51. Bugzilla 10091: [HEAD] Cannot cast struct member string enum to static ubyte array of same size
52. Bugzilla 10096: Regression (git-head): __traits(allMembers) triggers out of bounds error
53. Bugzilla 10101: static if conditional cannot be at global scope using mixin template
54. Bugzilla 10106: [ICE] Ice in glue.c:1215 + 2 error messages without lines
55. Bugzilla 10134: Mutual referencing templates error
56. Bugzilla 10142: [REG2.063a] enum value semantic problem that declared in class member
57. Bugzilla 10144: Using enum inside final class occurs weird errors
58. Bugzilla 10148: regression 062=>063: unjustified 'safe function cannot call system function'
59. Bugzilla 10151: final: before enum is now an error.
60. Bugzilla 10160: No line number "cannot modify struct ... with immutable members"
61. Bugzilla 10166: XXX is not a template
62. Bugzilla 10178: Compiler segfault with zero-length tuple comparison

DMD Compiler bugs

1. Bugzilla 1520: TypeInfo_Const.opEquals is incorrect
2. Bugzilla 1804: Severe GC leaks with repetitive array allocations
3. Bugzilla 2356: array literal as non static initializer generates horribly inefficient code.
4. Bugzilla 3789: [TDPL] Structs members that require non-bitwise comparison not correctly compared
5. Bugzilla 4094: ICE(expression.c): recursive struct templates with type inference
6. Bugzilla 4247: Cannot create default-constructed struct on heap when constructor is defined
7. Bugzilla 4414: ICE(cgcs.c) Taking item of static array returned by function
8. Bugzilla 4436: Double bug regarding Tuple.init
9. Bugzilla 4479: Module Foo is in multiple files Foo
10. Bugzilla 4617: Alias this'ed symbols cannot be passed to templates
11. Bugzilla 4814: rdmd: Doesn't rebuild when using -of and turning an -L linker option on or off
12. Bugzilla 5450: no match for implicit super() call in constructor
13. Bugzilla 5625: std.format unittest disabled
14. Bugzilla 6070: CTFE UFCS forward reference error
15. Bugzilla 6089: __gshared with not static 2D array
16. Bugzilla 6153: Inserting to An Array!T inside an Array!(Array!T) causes a segfault.
17. Bugzilla 6312: template instance cannot use argument from enclosing template
18. Bugzilla 6431: [RDMD] Modifying a library doesn't trigger a rebuild
19. Bugzilla 6535: RDMD outputs broken library files
20. Bugzilla 6539: Incomprehensible error message with failed template instantiation
21. Bugzilla 6545: [CTFE] Hard-coded array operations not yet supported
22. Bugzilla 6578: Ignored const with struct with constructor
23. Bugzilla 6795: ICE(cgcs.c): Incrementing an enum array item
24. Bugzilla 6852: Cannot compare instances of ParameterStorageClassTuple
25. Bugzilla 7068: copying array of pointers calls memset instead of memcpy with -d
26. Bugzilla 7437: DMD enters infinite loop during overload resolution
27. Bugzilla 7569: cannot void initialize tuple declarations
28. Bugzilla 7572: f.fn!(void) is not an lvalue
29. Bugzilla 7719: enum forward reference error when enum is in braces
30. Bugzilla 7980: Stack overflow / recursive expansion with alias this
31. Bugzilla 8041: __gshared/static problem
32. Bugzilla 8081: pure nothrow unittest problem in generated 'header' file
33. Bugzilla 8130: Memory corruption because without *.def file DMD compiles DLL with assumption `_tls_index = 0`
34. Bugzilla 8213: Incorrect error message with pointer to ubyte[] and front
35. Bugzilla 8238: templates can create ghost fields
36. Bugzilla 8245: UFCS doesn't work for pointers
37. Bugzilla 8294: complex breaks calling in 64 bit DMD
38. Bugzilla 8347: Parser bug with const placed after ~this() in decl
39. Bugzilla 8366: Overriding const member function in conjunction with mutable overload causes a strange error
40. Bugzilla 8589: Incorrect conversion of function returning `typeof(null)` to function returning an array
41. Bugzilla 8609: A forward reference error with static arrays
42. Bugzilla 8668: public selective import makes functions conflict when otherwise they don't
43. Bugzilla 8670: IFTI fails from aliases
44. Bugzilla 8697: Invalid error message: Forward reference of interface
45. Bugzilla 8698: Forward reference error with interfaces
46. Bugzilla 8827: Cannot move contents of R12
47. Bugzilla 8828: Long compilation time of a destroy() on a large fixed-sized matrix
48. Bugzilla 8833: Odd error with expression tuples
49. Bugzilla 8902: Unexpected "duplicate union initialization for X" error
50. Bugzilla 8945: Can't call static struct initializer or constructor without qualifier for templated inner struct
51. Bugzilla 8953: Parser rejects qualifier after destructor i.e. `~this() { }`
52. Bugzilla 8989: cfloat argument passing broken
53. Bugzilla 8998: 'inout pure' returns immutable, which in reality is mutable
54. Bugzilla 9091: Using __traits(getMember) on template argument fails inside member function
55. Bugzilla 9144: synchronized CRITSECSIZE should be a target constant
56. Bugzilla 9199: Module level qualified functions should be rejected
57. Bugzilla 9209: ice(symbol.c) with const struct heap allocation
58. Bugzilla 9231: overriding inout funcion with attribute inference reports weird error
59. Bugzilla 9232: Parsing error on some templated methods calls
60. Bugzilla 9241: 2.061: Property call error message disappeared
61. Bugzilla 9280: Runtime range violation with named capture groups in regex
62. Bugzilla 9311: shared library file extension incorrectly modified
63. Bugzilla 9345: CTFE fails when using std.string.format with imported string enum
64. Bugzilla 9346: nested struct calls disabled postblit
65. Bugzilla 9386: struct destructor called erroneously
66. Bugzilla 9393: Partial template specialization and template lambda does not work
67. Bugzilla 9401: destructor and nothrow syntax
68. Bugzilla 9413: Incorrect modification inside contracts is not detected correctly
69. Bugzilla 9414: Incorrect modification inside contracts is not detected on virtual function
70. Bugzilla 9415: delegate inference should make function literal impure
71. Bugzilla 9417: "no size yet for forward reference" error with nested structure
72. Bugzilla 9428: Wrong array concatenation
73. Bugzilla 9441: struct constructor missed on auto/type-inferred variable definition
74. Bugzilla 9445: interpret.c:151: Assertion `v->ctfeAdrOnStack >= 0 && v->ctfeAdrOnStack < stackPointer()' failed.
75. Bugzilla 9451: Listing abstract functions in diagnostic should show full signature
76. Bugzilla 9473: Unittest docs should each be in their own section
77. Bugzilla 9474: Ddoc'd unittests should work correctly with interspersed version(none)
78. Bugzilla 9475: Should retain source formatting in ddoc's unittests
79. Bugzilla 9480: The template name in the JSON output contains template and function arguments
80. Bugzilla 9494: compiler stack overflow on invalid associative array
81. Bugzilla 9495: Win64 vararg issue when first argument is > 8 byte
82. Bugzilla 9508: RDMD doesn't generate new dependency list when a file is changed.
83. Bugzilla 9540: Compiler crash on delegate context frame assignment
84. Bugzilla 9561: Many error messages from std.format
85. Bugzilla 9590: UFCS does not work with void lazy expressions
86. Bugzilla 9613: Parser bug when using .init with type constructor
87. Bugzilla 9617: ulong.max is wrongly accepted by smaller signed parameter
88. Bugzilla 9619: Failed struct field typeof in inner function
89. Bugzilla 9622: Range violation in rdmd
90. Bugzilla 9649: DMD doesn't parse valid PostfixExpression . NewExpression syntax.
91. Bugzilla 9652: __traits(getAttributes) doesn't work with manifest constants
92. Bugzilla 9654: Template function cannot take string by ref T[len]
93. Bugzilla 9656: Built-in dup result should behave as like unique array, if it is possible.
94. Bugzilla 9658: Setting pre-initialized field should be allowed in qualified constructor.
95. Bugzilla 9677: Crash on setting length property of array VC 2012 64 bit
96. Bugzilla 9679: Refused const/immutable assignment in conditional
97. Bugzilla 9692: __traits(allMembers) fails on module without a package
98. Bugzilla 9700: std.typecons.Proxy with invaliant and in-place operation causes Access Violation
99. Bugzilla 9712: IFTI does not support deducing static array types from array literal arguments
100. Bugzilla 9713: Ddoc: Empty description suppress automatic example generation
101. Bugzilla 9714: Ddoc: Combination of -D and -unittest reveals hidden unittest function
102. Bugzilla 9720: OSX wrong code with -O Illegal instruction
103. Bugzilla 9722: optimizer kills GOT to EBX load
104. Bugzilla 9729: interface thunk doesn't set EBX to GOT
105. Bugzilla 9735: Casting delegates to void* should be illegal
106. Bugzilla 9736: VS2010 project file does full rebuild every time
107. Bugzilla 9743: IFTI and polymorphic string literal should support implicit conversion to static array type
108. Bugzilla 9744: Poor error message taking address of thread-local variable at compile time
109. Bugzilla 9747: IFTI argument deduction fails for committed string literals which are implicitly converted to a static array
110. Bugzilla 9755: JSON output is missing the protection attribute for templates
111. Bugzilla 9757: Ddoc: documented unittest after ditto should work
112. Bugzilla 9758: Ddoc: empty ddoc comment and unittest block generates no Examples section
113. Bugzilla 9768: No line number for wrong foreach type
114. Bugzilla 9773: ref parameter with default value should not compile
115. Bugzilla 9774: Error message with __error using == on tuple members
116. Bugzilla 9777: Calling final interface method leads to wrong code
117. Bugzilla 9781: -inline will cause backend ICE
118. Bugzilla 9788: -profile doesn't work if exceptions are thrown in the running program
119. Bugzilla 9790: Internal error when compiling a invalid variable in template (in expression.c and backend\evalu8.c)
120. Bugzilla 9791: [ICE] (struct.c line 668) map with a missing tuple import
121. Bugzilla 9818: Constant folding for static array does not work with initializing by element
122. Bugzilla 9829: rdmd passes '--' to dmd
123. Bugzilla 9837: IFTI should consider enum base type
124. Bugzilla 9844: DMD (-m64) int long initialisation bug
125. Bugzilla 9845: enum value should be able to contain forward references in global scope
126. Bugzilla 9863: Incorrect generation of SAHF instruction on 64 bits
127. Bugzilla 9873: Built-in tuple should support equality comparison
128. Bugzilla 9874: Function call syntax disuniformity in template constraints
129. Bugzilla 9880: Redundant template instance displaying in error message
130. Bugzilla 9883: Error on using property as new dynamic array size
131. Bugzilla 9885: IFTI should consider known tuple types.
132. Bugzilla 9892: [ICE] forward reference in enum declaration members causes compiler segfault
133. Bugzilla 9899: struct with pure/nothrow destructor cannot be used as a struct member in pure/nothrow functions
134. Bugzilla 9901: string return from inner template function error
135. Bugzilla 9907: Struct literal with destructor should match to non-ref overload
136. Bugzilla 9910: Scalar op vector is broken.
137. Bugzilla 9928: ice with void* and function literal
138. Bugzilla 9936: Wrong opBinary/opBinaryRight rewrite.
139. Bugzilla 9939: allMembers trait doesn't returns members of nested anonymous enum
140. Bugzilla 9940: ICE applying getProtection to a functions obtained using getOverloads.
141. Bugzilla 9946: A UFCS disallowed in dynamic array allocation
142. Bugzilla 9961: Using UFCS properties suppress actual errors
143. Bugzilla 9965: Wrong Assembly For DIL, SIL Registers
144. Bugzilla 9971: eponymous function is not an lvalue
145. Bugzilla 9985: Postblit isn't called on local struct return
146. Bugzilla 9990: templates with function alias cause forward reference error
147. Bugzilla 9993: const ctor should be preferred than mutable for const obj creation
148. Bugzilla 9994: Built-in generated opAssign should call dtor on assignment
149. Bugzilla 10004: tuple comparison with side-effect should work
150. Bugzilla 10005: struct variable declaration and const-correctness
151. Bugzilla 10011: Wrong JSON "init" property output for class reference initializers
152. Bugzilla 10029: Update list of reserved version identifiers.
153. Bugzilla 10058: Inconsistent mangling between C++ and extern(C++).
154. Bugzilla 10059: export doesn't work for variable declarations
155. Bugzilla 10063: inout+pure results in ability to produce immutable reference to mutable data
156. Bugzilla 10066: Template opEquals sometimes obstructs struct compilation
157. Bugzilla 10102: @disable incompletely implemented
158. Bugzilla 10103: template mixin with property overloads
159. Bugzilla 10105: ICE when converting string literal to static char array in enum initializer
160. Bugzilla 10115: More @disabled holes
161. Bugzilla 10171: Unexpected error "cannot infer type from overloaded function symbol"
162. Bugzilla 10180: offsetof doesn't work through function call alias this

DMD Compiler enhancements

1. Bugzilla 3449: const and invariant struct members do not behave according to spec
2. Bugzilla 3502: Fix for dropped Mac OS X 10.5
3. Bugzilla 3673: inheritance + if clause = no go
4. Bugzilla 4528: Better error message for private abstract method
5. Bugzilla 5140: Add __FUNCTION__, __PRETTY_FUNCTION__, and __MODULE__
6. Bugzilla 6185: Include non-global functions when resolving UFCS
7. Bugzilla 6453: Allow multiple invariant per struct/class
8. Bugzilla 6809: IFTI should imply const where inout is present on args, but not on return type
9. Bugzilla 7444: Require [] for array copies too
10. Bugzilla 7511: attribute inference should work for template functions
11. Bugzilla 8220: invalid function call not detected during semantic analysis
12. Bugzilla 8669: TemplateThisParameter should change member function's qualifier
13. Bugzilla 8819: void static array should have init built-in propert
14. Bugzilla 8959: IsExpression should support syntax which has no Identifier in all cases
15. Bugzilla 9033: Remove __thread from the language
16. Bugzilla 9136: Add isNested trait
17. Bugzilla 9155: Ddoc: code section should strip leading spaces
18. Bugzilla 9170: CTFE: Allow reinterpret casts float <-> int
19. Bugzilla 9185: Add note about where -op is useful
20. Bugzilla 9574: Diagnostic for old use of 'alias this = that' should be informative
21. Bugzilla 9627: Not good enough error messages in some cases when using UFCS
22. Bugzilla 9635: Improved error message for failed access of array field properties from static method
23. Bugzilla 9676: Ddoc: Wrap deprecated declarations in a (DEPRECATED) macro
24. Bugzilla 9680: Include entry point location in "dmd -v -o-" output
25. Bugzilla 9723: Implement -main switch to inject a default main() function
26. Bugzilla 9726: Add minimum % coverage required for -cov testing
27. Bugzilla 9727: Documented unittest comment should appear before Example section
28. Bugzilla 9745: Allow non-thread local static variables to have their address taken in CTFE
29. Bugzilla 9778: RDMD: Support passing resource files to DMD
30. Bugzilla 9789: Ddoc for aliases should use new "alias x=y" syntax
31. Bugzilla 9866: movsxd not supported
32. Bugzilla 9920: [Optimizer] Use mul/imul for integer division by constant
33. Bugzilla 9941: [CTFE] Allow to store "newed" classes and structs in the data segment
34. Bugzilla 9943: Allow to return typeid from CTFE
35. Bugzilla 9963: Absurdly Inefficient Codegen For Adding Boolean Predicates
36. Bugzilla 9977: Function local templates should be allowed
37. Bugzilla 10030: Support '-l:' switch when passing default library to ld
38. Bugzilla 10077: add pragma(mangle, "...") to override symbol mangle.
39. Bugzilla 10109: add -transition compiler switch to aid in dealing with breaking changes
40. Bugzilla 10150: Prefix method 'this' qualifiers should be just ignored anytime
41. Bugzilla 10179: Tuple assignment should not cause "has no effect" error even if the length is zero

Phobos regressions

1. Bugzilla 9122: std.concurrency send() fails with multiple arrays
2. Bugzilla 9742: std.math.floor returns 0 for any value x > -1 and x < 0
3. Bugzilla 10122: `Appender` doesn't work with disabled default construction

Phobos bugs

1. Bugzilla 3795: Problem with phobos std.variant
2. Bugzilla 4729: std.algorithm: strange iota behaviour
3. Bugzilla 4798: std.algorithm.map unusable for ranges with const elements
4. Bugzilla 4955: struct dirent.d_type is not a mask
5. Bugzilla 5032: std.file.rename acts differently on Windows and Linux when the target file already exists.
6. Bugzilla 5201: std.string.indexOf and std.algorithm.indexOf return different things for narrow strings
7. Bugzilla 5310: Variant == const(Variant) doesn't compile
8. Bugzilla 5359: std.traits.isDelegate should work for types and expressions
9. Bugzilla 5360: calling rdmd from different folder
10. Bugzilla 5514: Erroneous documentation and lacking randomization for topN
11. Bugzilla 5658: Undocumented fields in std.typecons.Tuple
12. Bugzilla 5924: schwartzSort of Tuple!(char)[]
13. Bugzilla 8321: std.range.put doesn't work with RefCounted output range
14. Bugzilla 8613: std.typecons.Proxy cannot work with operator 'in'
15. Bugzilla 8655: bitfields and Typedef don't mix
16. Bugzilla 9164: Can't easily assign one Nullable to another
17. Bugzilla 9431: Tuple creation problem with array of array
18. Bugzilla 9456: decodeFront is inconsistent in whether it pops elements off of the range or not
19. Bugzilla 9512: std.regex: Incorrect parsing of hex sequences composed from capital letters.
20. Bugzilla 9553: SOCKET should be 64 bit wide on Win64
21. Bugzilla 9583: std.getopt.getopt does not consume options terminator "--" from args list, as docs claim
22. Bugzilla 9612: std.range.Cycle.opSlice tests on the bounds are missing
23. Bugzilla 9624: fullyQualifiedName fails for functions
24. Bugzilla 9648: Missing std.random import for std.algorithm.topN
25. Bugzilla 9753: std.string.translate precondition asserts
26. Bugzilla 9794: std.json cannot handle delete character
27. Bugzilla 9804: `std.math.FloatingPointControl` corrupts floating point state
28. Bugzilla 9812: std.conv.parse string fails on certain escape characters.
29. Bugzilla 9836: std.array.popFront does not work with alias this.
30. Bugzilla 9950: std.json should return empty string/array instead of null on empty input
31. Bugzilla 9956: hasElaborateAssign trait does not work with static arrays
32. Bugzilla 9979: Regex bug with \b and look-behind
33. Bugzilla 10116: stdio.File.byLine repeats last line forever, readln(ref C[],R) returns bad data
34. Bugzilla 10167: Wrong Document Comment on std.format.d(181)
35. Bugzilla 10182: std.bitmanip unit test has pointless/unused foreach loop

Phobos enhancements

1. Bugzilla 4787: std.algorithm.bisectRight()
2. Bugzilla 4921: Synopsis code in std.variant documentation throws an assertion error
3. Bugzilla 5013: std.typecons.Tuple should have constructor for static arrays
4. Bugzilla 5106: makeIndex should return SortedRange
5. Bugzilla 5226: indexOf() which takes a pred but no needle
6. Bugzilla 5401: std.socket updates and boost license
7. Bugzilla 5507: countUntil should take Ranges... instead of R2
8. Bugzilla 6224: Add an ownerTid property in std.concurrency
9. Bugzilla 6486: std.math.abs(BigInt)
10. Bugzilla 7405: std.algorithm.schwartzSort.release
11. Bugzilla 9260: getopt should allow setting booleans to false
12. Bugzilla 9265: Nullable fixed-sized array wrapper
13. Bugzilla 9625: assertNotThrown should print exception msg if no msg is provided
14. Bugzilla 9802: Add `std.traits.{isNested,hasNested}`.
15. Bugzilla 9814: Add std.traits.isNestedFunction
16. Bugzilla 9839: std.traits.Select should be able to select symbols
17. Bugzilla 9888: Allow passing a generator to std.random.uniform for enums

Druntime bugs

1. Bugzilla 4307: spawn()'ed thread doesn't terminate
2. Bugzilla 6024: Document that Windows 2000 SP4 is no longer supported
3. Bugzilla 10057: [2.063 beta] Module info overwritten in shared phobos.
4. Bugzilla 10081: Incorrect char array comparison

Optlink bugs

1. Bugzilla 6144: Unexpected OPTLINK Termination at EIP=00428DA3

Installer bugs

1. Bugzilla 9343: Problem installing dmd-2.061-0.fedora.x86_64.rpm on Fedora 18

Website bugs

1. Bugzilla 4847: std.algorithm.topN documentation
2. Bugzilla 9544: D logo image is broken on non-root-level pages
3. Bugzilla 9609: Ddoc tags for std.string.icmp seem wrong
4. Bugzilla 10036: missing core.atomic docs on dlang.org

Language Changes

1. typeof() change:

As a result of fixing Bugzilla 6408, the usage of typeof() and indexing may require changes to user code:

template ElementTypeOf(T)
{
    alias typeof(T[0]) ElementTypeOf;
}

void main()
{
    // worked in 2.061 due to a bug
    static assert(is(ElementTypeOf!(int[]) == int));
}

The expression in typeof(T[0]) used to be wrongly interpreted as the element type of T, however in v2.062 it is interpreted as a static array of element T with length 0. To work around this the user can either use a trait from the standard library, or use the .init property of a type for arbitrary expressions:

import std.range;

template ElementTypeOf(T)
{
    // use T.init
    alias typeof(T.init[0]) ElementTypeOf;
}

void main()
{
    // use std.range.ElementType
    static assert(is(ElementType!(int[]) == int));

    // use custom template after fixing its code
    static assert(is(ElementTypeOf!(int[]) == int));
}

2. alias syntax change:

The newly introduced "alias foo = int" syntax is not usable with subtyping. This is to prevent confusion from a possible future syntax which would enable aliasing of super constructors. For now, the existing alias syntax can be used:

struct S
{
    int x;
    // alias this = x;  // error
    alias x this;
}

In the upcoming release (v2.063) a new syntax will be introduced:

struct S
{
    int x;
    alias this : x;  // new feature in upcoming 2.063
}

DMD Compiler regressions

1. Bugzilla 9174: regression(2.057) ice(cast.c) with ternary operator and alias this
2. Bugzilla 9244: union containing pointers not allowed
3. Bugzilla 9258: opAssign with base class triggers "identity assignment operator overload" error
4. Bugzilla 9259: Passing an array of pointers to a typesafe vararg is broken
5. Bugzilla 9263: statement is not reachable when statement is reachable
6. Bugzilla 9266: Cannot define two Tuple objects.
7. Bugzilla 9268: [ice-on-invalid] void assignment in fail44.d no longer caught in frontend
8. Bugzilla 9273: DMD segfaults with templated ctors in implicit super call
9. Bugzilla 9276: regression(2.061): Forward reference error
10. Bugzilla 9278: ICE todt.c:692 when float containing struct is defined after use
11. Bugzilla 9309: Regression (2.061): -O -release generates wrong code
12. Bugzilla 9332: [REG][2.060 -> 02.061] struct constructor taking itself creates 'Warning: statement is not reachable'
13. Bugzilla 9377: Link-failure regression cause by fixing issue 8504
14. Bugzilla 9385: [Regression 2.057] null literal should be implicitly convertible to bool
15. Bugzilla 9387: Compiler switch -O changes behavior of correct code
16. Bugzilla 9399: ICE with nested function, template alias parameter, -inline, depending on order of source files
17. Bugzilla 9404: Nullable is unusable with 2.061
18. Bugzilla 9406: (Regression: 2.061) Stack overflow from a forward reference error
19. Bugzilla 9409: [2.062-alpha] Regression with $ inside of expression tuples
20. Bugzilla 9410: [Regression 2.061] Wrong selection for function overload
21. Bugzilla 9416: [REG][2.060 -> 02.061] DMD eagerly instantiates template parameter-less opAssign
22. Bugzilla 9420: [2.062alpha] Weird "(null)" output in error message
23. Bugzilla 9435: regression(head): forward reference error
24. Bugzilla 9436: enum cannot be forward referenced with cyclic imports and mixin
25. Bugzilla 9496: [REG 2.061 -> 2.062 alpha] "this[1 .. $]" passes wrong "this" to "opDollar"
26. Bugzilla 9514: "template instance … is not an alias"
27. Bugzilla 9525: [CTFE] Cannot convert &S to const(S*) at compile time

DMD Compiler bugs

1. Bugzilla 1369: Unable to find 'this' in __traits(getMember)
2. Bugzilla 1730: Bogus error message calling a non-const struct method on a const struct reference
3. Bugzilla 1841: Closure detection doesn't work when variable is used in a nested function
4. Bugzilla 2452: Unimplemented method errors should show function overload
5. Bugzilla 3321: debug flags
6. Bugzilla 3466: Wrong JSON output for templated classes, structs, and interfaces
7. Bugzilla 4178: destructor missing in JSON output
8. Bugzilla 4269: Regression(2.031): invalid type accepted if evaluated while errors are gagged
9. Bugzilla 4477: JSON output for function definitions includes insufficient type information
10. Bugzilla 4478: JSON output omits import statements
11. Bugzilla 4540: Better error message for wrong switch type
12. Bugzilla 5168: String enums don't work with -g compiler switch
13. Bugzilla 5461: Invalid declaration for auto functions in .di files generated by DMD -H
14. Bugzilla 5933: Cannot retrieve the return type of an auto-return member function
15. Bugzilla 5978: ICE(mtype.c) when calling __traits(parent) on the child of an anonymous function.
16. Bugzilla 6057: Problem with defining enum in function
17. Bugzilla 6319: debug's relaxed purity does not apply to nested scopes
18. Bugzilla 6332: Auto-return function cannot be inferred as @safe
19. Bugzilla 6408: string[].init gives a wrong type
20. Bugzilla 6538: ICE(mangle.c) Invalid template constraints
21. Bugzilla 6552: Wrong fallthrough warning for CaseRange
22. Bugzilla 6652: foreach parameter with number range is always ref
23. Bugzilla 6708: immutable ref implicit cast to const ref
24. Bugzilla 6743: ICE(mars.c) attempting to compile an exe file
25. Bugzilla 6833: Floating point literals lose fractional part in headers
26. Bugzilla 6873: Multiple storage class is not allowed on template argument
27. Bugzilla 6902: Different "pure nothrow int()" types
28. Bugzilla 6905: ref acts as auto ref when return type is missing
29. Bugzilla 6962: Wrong Code With Scope Exit and Array Parameter, only with -O
30. Bugzilla 6963: pure/nothrow inference doesn't work for function pointers
31. Bugzilla 7152: Can't assign null to default argument
32. Bugzilla 7159: Forward reference when casting auto return method
33. Bugzilla 7252: ICE(template.c): 'global.errors' on line 4893 in file 'template.c'
34. Bugzilla 7408: traits compiles fails for built-in properties of template instances
35. Bugzilla 7420: Duplicate "cannot be read at compile time" error messages
36. Bugzilla 7585: functions in templates inferred as delegate
37. Bugzilla 7740: unicodeProperties cannot be read at compile time for ctRegex
38. Bugzilla 7950: Type tuples are incorrectly flattened in base type list of interface
39. Bugzilla 8053: Recursive alias this causes infinite loop
40. Bugzilla 8152: Linking C library causes Seg-fault
41. Bugzilla 8153: Warning about toHash signature is incorrect on x86_64
42. Bugzilla 8504: Template attribute inferrence doesn't work
43. Bugzilla 8583: [64 bit] AA ushort[dchar] byValue range is corrupted on x86_64
44. Bugzilla 8631: illegal overrides accepted
45. Bugzilla 8717: `private` and `protected` restrict member usage in same module
46. Bugzilla 8741: wrong code for struct member initialized using struct constructor
47. Bugzilla 8742: Anonymous nested class derived from another nested class makes DMD crash
48. Bugzilla 8763: struct initialization with empty variadic arguments tries to call constructor
49. Bugzilla 8783: ref foreach update of const fixed size arrays in constructor
50. Bugzilla 8787: Virtual not abstract methods in interfaces error message
51. Bugzilla 8832: Segfault when accessing range returned by function that has delegate referencing local variables
52. Bugzilla 8847: voldemort + inout confuses "is"
53. Bugzilla 8892: Wrong diagnostic for static array assignment
54. Bugzilla 8898: false positive dangling else warning
55. Bugzilla 8913: Wrong code in IfStatement condition Expression
56. Bugzilla 8922: __traits(parent, ) shows current module as a parent
57. Bugzilla 8969: is(T == __parameters) is undocumented
58. Bugzilla 8982: ICE(ctfeexpr.c) __parameters of an erroneous default parameter
59. Bugzilla 9018: __traits(compiles, ...) is true on second check for same incompilable code
60. Bugzilla 9083: mixin expression on template argument doesn't work
61. Bugzilla 9113: ICE(interpret.c): CTFE assignment to member of struct in union
62. Bugzilla 9178: UDA: getAttributes does not play well with tupleof
63. Bugzilla 9191: Unhelpful error message on failing override
64. Bugzilla 9195: Should not be able to index a pointer in safed
65. Bugzilla 9198: Vararg functions don't respect IFTI rules
66. Bugzilla 9200: Wrong SIMD code generated
67. Bugzilla 9208: [ICE](func.c line 1205) with auto return in recursive function
68. Bugzilla 9236: CTFE ice on switch + with(EnumType)
69. Bugzilla 9250: Wrong line number for error involving length of a static array
70. Bugzilla 9254: ICE on invalid foreach aggregate
71. Bugzilla 9264: [64bit] Wrong code with conversion from int parameter to float
72. Bugzilla 9284: DMD segfaults with templated ctors in constructor delegation
73. Bugzilla 9291: [ICE][REG] throwing undefined identifier with nothrow crashes dmd
74. Bugzilla 9293: enum struct with StructInitializer reports weird error
75. Bugzilla 9304: Unary minus operator doesn't work correctly with SIMD types.
76. Bugzilla 9305: Ugly Ddoc for default template lambda expressions
77. Bugzilla 9312: with statement error message is wrong
78. Bugzilla 9315: ICE (expression.c:4249, StructLiteralExp::getField) Tupleof of nested struct literal
79. Bugzilla 9320: optimizer should do copy propagation on structs, too
80. Bugzilla 9322: Internal error: ../ztc/cod1.c 3510 with SIMD on OSX 32
81. Bugzilla 9330: Cannot run dmd test suite with MSYS
82. Bugzilla 9338: Compiler segfaults if try to CTFE member function without valid 'this'
83. Bugzilla 9348: "tmpl!arg" syntax followed by "!is" or "!in"
84. Bugzilla 9350: std.algorithm.findAdjacent unreachable code warning with infinite ranges
85. Bugzilla 9357: Floating-point literal should always be printed with a period in diagnostic errors
86. Bugzilla 9358: Compiler creates duplicate switch cases after an error
87. Bugzilla 9368: Final switch on typedef'ed enum is not properly checked
88. Bugzilla 9369: DDoc hardcodes '&' -> '&' in code
89. Bugzilla 9374: 'super' should be accessible inside template constraint
90. Bugzilla 9398: Wrong diagnostic for ternary operator type mismatch
91. Bugzilla 9418: Segmentation fault using only datetime and stdio.
92. Bugzilla 9438: Strange RefCounted stack overflow
93. Bugzilla 9442: typeid() doesn't work without `this.` for class fields
94. Bugzilla 9453: ice(symbol.c) with slice on temporary
95. Bugzilla 9458: ModExp generates invalid code against array operands
96. Bugzilla 9461: Ability to break typesystem with `inout`
97. Bugzilla 9479: _error_ in error message of type inference of a delegate literal
98. Bugzilla 9484: Syntax error in JSON output
99. Bugzilla 9510: core.bitop.bsr undefined

DMD Compiler enhancements

1. Bugzilla 2630: ddoc should be able to document unittests
2. Bugzilla 3404: JSON output should retain original alias names
3. Bugzilla 4194: Attributes included in JSON output
4. Bugzilla 5529: std.system.endian for pure functions?
5. Bugzilla 5893: Allow simple aliases for operator overloading
6. Bugzilla 6171: rdmd: cache dependency file to improve startup time [patch]
7. Bugzilla 8105: Implement "in ref"
8. Bugzilla 8128: unittest blocks should be allowed in interfaces
9. Bugzilla 9389: ignore -Hd if -Hf is present
10. Bugzilla 9463: make @safe "non-escapable"

Phobos regressions

1. Bugzilla 9355: [security] SSL certificate signature verification disabled in std.net.curl
2. Bugzilla 9444: Regression (2.059): shell doesn't throw on error.
3. Bugzilla 9457: isSorted(string) doesn't work
4. Bugzilla 9523: std.conv.to will no longer convert enums to themselves

Phobos bugs

1. Bugzilla 5065: writefln("%f" of a Tuple prints a result
2. Bugzilla 5265: std.array.back does not work correctly for wchar-based arrays
3. Bugzilla 5726: boyerMooreFinder hangs when finding
4. Bugzilla 5763: traits.d BaseClassesTuple function incorrectly handles Object class argument
5. Bugzilla 5773: sort() and topN() fail on sliced/resized array of tuples
6. Bugzilla 6066: std.container: BinaryHeap interface is broken.
7. Bugzilla 6436: Refcounted initialization bug
8. Bugzilla 6635: std.conv.emplace: enforcement is too weak
9. Bugzilla 6668: Wrong "to" conversion stack trace
10. Bugzilla 7142: Wrong formatted write of boolean values
11. Bugzilla 7659: std.stdio.File.close() erases file.name
12. Bugzilla 7819: std.file.setTimes throws error on folders
13. Bugzilla 8078: receiveOnly should tell which type it expected and got on mismatch
14. Bugzilla 8314: randomSample primes with constant
15. Bugzilla 8326: std.string.format results in run-time exception
16. Bugzilla 8367: std.range.chain's template constraint is inadequate
17. Bugzilla 8368: std.algorithm.sort's template constraint is inadequate
18. Bugzilla 8567: isDynamicArrray!S == true for S with alias this to array
19. Bugzilla 8689: Variant opArithmetic does not attempt float conversion
20. Bugzilla 8694: std.zlib.(Un)Compress can cause an _onInvalidMemoryOperationError
21. Bugzilla 8837: BigInt needs better operator template constraints
22. Bugzilla 8890: std.algorithm.commonPrefix does not handle unicode correctly
23. Bugzilla 8920: iota should work with all integral types
24. Bugzilla 9005: std.concurrency.spawn should allow `void delegate(Args) shared` for new Tid
25. Bugzilla 9163: std.parallelism broken with extensive optimizations (gdc)
26. Bugzilla 9211: regex lookahead, (?=(\d\d\d)+\b) failed
27. Bugzilla 9288: Parameter(Identifier|DefaultValue)Tuple report pointless errors
28. Bugzilla 9299: std.algorithm.minPos of const(int)[]
29. Bugzilla 9317: ParameterStorageClassTuple reports errors for inout function
30. Bugzilla 9336: Writeln is unable to print address of shared variable

Phobos enhancements

1. Bugzilla 4287: opOpAssign!("~=") for std.array.Appender
2. Bugzilla 4813: trait for getting at access modifiers
3. Bugzilla 5666: std.array.replace compile error (string and immutable string)
4. Bugzilla 6614: std.traits should have an isFinal template
5. Bugzilla 7896: Sequence slicing
6. Bugzilla 8143: Safe std.conv.to enum conversion
7. Bugzilla 9337: There's no Duration.max
8. Bugzilla 9339: std.random.uniform!Enum should return random enum member

Druntime bugs

1. Bugzilla 4793: Runtime.loadLibrary cannot load dll using MBS paths.
2. Bugzilla 5375: Detection of cyclic module imports provides error findings on console, instead of exception msg
3. Bugzilla 8132: LPTSTR always aliases to LPSTR
4. Bugzilla 9373: Add deprecation message to all empty deprecation statements

Website regressions

1. Bugzilla 9467: Operator Overloading anchors are broken
2. Bugzilla 9492: [2.052 beta] Stylesheet not found for off-line HTML docs

Website bugs

1. Bugzilla 5513: Erroneous example in std.algorithm
2. Bugzilla 7304: Online docs incorrect with regards to covariant arrays
3. Bugzilla 7345: interfaceToC.html missing on left-hand side
4. Bugzilla 8302: Documentation of dirEntries in std.file is incomplete
5. Bugzilla 8574: [std.format] The flag ' ' works for floating numbers, not only for integers
6. Bugzilla 8619: Tuples article uses writefln instead of writeln
7. Bugzilla 9321: Dead link to HTML5 standard in language specification
8. Bugzilla 9394: ABI for static arrays is outdated
9. Bugzilla 9446: ".keys" missing from properties table at http://dlang.org/hash-map.html
10. Bugzilla 9503: [grammar] template declaration/instance must take one or more arguments?

Website enhancements

1. Bugzilla 9302: Document extern properly

Bugs Fixed

• DMD Bugs Fixed
• Druntime Bugs Fixed
• Phobos Bugs Fixed

Druntime Bugs Fixed

• Bugzilla 6909: incorrect definition of the OVERLAPPED struct in core.sys.windows.windows ?

Library Bugs Fixed

• Bugzilla 2328: setTypeInfo in gc.d backwards.
• Bugzilla 2588: std.signals should not use 'length' stealth keyword in indexing
• Bugzilla 4405: all function - returns whether predicate is true for all elements in a range
• Bugzilla 4603: array(iota(1, 0)) error
• Bugzilla 4605: Wrong print of an int[string] aa
• Bugzilla 4629: BufferedFile.printf() wants char[] as first argument
• Bugzilla 4695: std.range.zip is broken
• Bugzilla 4744: std.conv: string->enum doesn't look for longer match
• Bugzilla 4822: Problem with std.stdio.File.writef("%c")
• Bugzilla 5011: std.container: SList linearRemove produces wrong results
• Bugzilla 5089: feqrel does not compile for floats
• Bugzilla 5260: std.math.feqrel() returns negative number
• Bugzilla 5346: instantiation of std.conv.toImpl and std.format.formatValue fails for unions
• Bugzilla 5354: formatValue: range templates introduce 3 bugs related to class & struct cases
• Bugzilla 5786: std.algorithm.sort does not work with std.container.Array: Range violation
• Bugzilla 5843: Unable to convert a struct with an alias-this to long/ulong to int, using std.conv.to!int.
• Bugzilla 5970: fix BigInt.toString
• Bugzilla 6027: bigint to!string conversion and its implications
• Bugzilla 6175: String corruption when passing static char arrays to std.conv
• Bugzilla 6191: removechars doesn't accept a const string
• Bugzilla 6197: std.traits.isImplicitlyConvertible returns some wrong results.
• Bugzilla 6222: A problem with iota() using size_t
• Bugzilla 6231: [patch] std.conv.to/std.format.: Structs with toString and isInputRange match multiple templates.
• Bugzilla 6273: Tuple [] operator in pure function
• Bugzilla 6379: std.container.SList fails to compile
• Bugzilla 6437: Refcounted calls dtor before ctor, never calls dtor for globals
• Bugzilla 6547: Call to std.algorithm.remove causes compile error
• Bugzilla 6580: scoped classes are aligned incorrectly
• Bugzilla 6597: to!SomeString should use std.format.formatValue
• Bugzilla 6642: SysTime should not be hasUnsharedAliasing
• Bugzilla 6892: Formatted write with specified length of enum member
• Bugzilla 6926: std.process.system return wrong exit code
• Bugzilla 7022: File.byLine doesn't release file handle
• Bugzilla 7138: Can't call array() on dirEntries
• Bugzilla 7317: writeln cannot handle alias this of array type
• Bugzilla 7326: write interprets enum with byte backing type as a character
• Bugzilla 7348: to!string(null) matches more than one template declaration
• Bugzilla 7356: Implement KeyType, ValueType for hashes in std.traits
• Bugzilla 7360: Predicate templates in std.traits should consider alias this
• Bugzilla 7515: The new std.string.translate is slow for ASCII text
• Bugzilla 7537: `File.tmpfile` requires administrator rights on Windows
• Bugzilla 7561: std.net.curl broken
• Bugzilla 7660: toImpl conflict in std.conv
• Bugzilla 7796: std.typecons.Unique is using writeln without importing std.stdio
• Bugzilla 7824: isInputRange fails to recognize inout(T)[]
• Bugzilla 7831: Unlisted @@@BUG in File.detach causes FILE* leaks when reopening
• Bugzilla 7878: A problem with purity and general templated algorithms
• Bugzilla 7898: [CTFE] std.algorithm:copy fails when used with two arrays
• Bugzilla 7909: to!(enum)(string) and to!(string)(enum) break when enum is integral
• Bugzilla 7919: Sample code works on GDC but fails with DMD
• Bugzilla 7936: std.random.randomSample always returns the same first value when passed a random number generator
• Bugzilla 7937: Range iota.Result should be const where possible
• Bugzilla 7944: std.range.iota.popFront() cycles when the range is empty
• Bugzilla 7948: std.range.zip broken with requireSameLength
• Bugzilla 7962: std.regex: Captures.length() returns incorrect value
• Bugzilla 7973: BigInt %= long/ulong gives wrong value
• Bugzilla 7975: Incorrect quotes escaping in std.format
• Bugzilla 7982: iota broken when start and end are unsigned and step is negative.
• Bugzilla 7993: BigInt divide-by-1 error
• Bugzilla 8003: Phobos uses deprecated std.path sep symbol
• Bugzilla 8011: BigInt ++ and -- do wrong thing on negative numbers
• Bugzilla 8015: std.typecons.Tuple does not support struct with alias method this
• Bugzilla 8022: BigInt division bug (2)
• Bugzilla 8026: Fix or disallow randomShuffle() on fixed-sized arrays
• Bugzilla 8031: If a class have some signals it's impossible for a derived class to have any signals
• Bugzilla 8037: hasElaborateDestructor is false for non-zero-length static array of structs with elaborate destructor
• Bugzilla 8039: `scoped` doesn't call any elaborate destructors for struct fields
• Bugzilla 8040: writeln(null) too
• Bugzilla 8055: [Regression 2.059] std.algorithm.move corrupts moved object field
• Bugzilla 8057: std.algorithm.move cannot use for nested struct
• Bugzilla 8080: 'alias this' causes toString to be shadowed by aliased object
• Bugzilla 8112: std.algorithm.fill must accept InputRange
• Bugzilla 8158: std.algorithm.min fails to compile with user-defined types
• Bugzilla 8164: BigInt from char[] too
• Bugzilla 8165: BigInt opAssign return value
• Bugzilla 8171: [Regression 2.060head] Broken std.algorithm.move for nested struct has no member
• Bugzilla 8186: Formatting class object has an alias this to int* field is broken.
• Bugzilla 8187: replaceFirst doesn't work for string[] haystack
• Bugzilla 8191: cstream.printf is completely unusable on x86_64
• Bugzilla 8195: Segfault when comparing a VariantN to a non-variant type which it holds
• Bugzilla 8203: Use of std.regex.match() generates "not enough preallocated memory" error
• Bugzilla 8214: blocking option for TaskPool.finish()
• Bugzilla 8233: std.array.array fails to compile with ranges of immutable elements which have a length property
• Bugzilla 8240: std.algorithm.joiner and empty inputRangeObject
• Bugzilla 8264: [std.conv.to] constructing conversion doesn't work with alias this
• Bugzilla 8310: writeln of Range of fixed size array
• Bugzilla 8323: std.string.chompPrefix does not handle differing string types properly
• Bugzilla 8362: std.traits.isSafe doesn't work with unsafe lamdba functions
• Bugzilla 8386: writeln stopped working with wstring
• Bugzilla 8398: enforceEx cannot be used with OutOfMemoryError
• Bugzilla 8450: std.traits.isSafe doesn't work with unsafe lamdba functions

DMD Bugs Fixed

• Bugzilla 1175: nested class inheritance
• Bugzilla 1780: Type tuple deduction failure for class templates
• Bugzilla 2472: Delegates are not lvalue.
• Bugzilla 2962: ICE(glue.c) or bad codegen passing variable as template value parameter
• Bugzilla 3290: accepts-invalid: non-const by-ref foreach over a const array is accepted
• Bugzilla 3574: post-condition in void main() is not evaluated if there is no return statement
• Bugzilla 3608: Allow isExpression and templates to capture template parameters and FQN of template
• Bugzilla 3703: static array assignment
• Bugzilla 3895: Appending a double[] to a float[] generates wrong code
• Bugzilla 4024: Last catch only accepts block statement
• Bugzilla 4155: return of NaN to temporary fails equality test
• Bugzilla 4288: Error on passing delegate to C linkage function
• Bugzilla 4364: ICE(class.c) compiling a struct def named 'Object' followed by a class definition
• Bugzilla 4510: [tdpl] ref with a wrong type specifier is accepted
• Bugzilla 4583: PIC code not working: EBX register set incorrectly
• Bugzilla 4785: auto return of a function with in contract
• Bugzilla 4884: Using template struct parameters in method definition fails with "parameter _param_0 is already defined"
• Bugzilla 4953: Regression(2.031): templates don't do implicit conversion properly
• Bugzilla 4967: member default initializers not working in static struct initializers
• Bugzilla 5039: Cannot use invariant() with auto methods
• Bugzilla 5082: delegate alias parameters are silently accepted inside structs. limits most of std.algorithm, etc.
• Bugzilla 5435: Static foreach over tuple ignores type annotation
• Bugzilla 5437: Problems with length of std.traits.EnumMembers
• Bugzilla 5473: Members of const-qualified classes are not const themselves.
• Bugzilla 5737: postblit not called for locals initialized from ref functions
• Bugzilla 5809: [64 bit] wrong code for *p==0, when widening conversion occurs
• Bugzilla 5896: const overload matching is succumb to template parameter one
• Bugzilla 6189: [64bit] optimizer: register content destroyed in function prolog
• Bugzilla 6199: [GSoC] Postblit not called when returning a reference to a by-value function
• Bugzilla 6470: postblits not called on arrays of structs
• Bugzilla 6475: template identifier is not a member of alias
• Bugzilla 6591: di header generation loses selective import symbols
• Bugzilla 6612: Associative arrays with associative array keys literals
• Bugzilla 6636: Destructors of static array elements are not called on function parameter
• Bugzilla 6637: Postblits of static array elements are not called on function argument
• Bugzilla 6758: std.c.stdarg problems with 8 or more integer arguments on x86_64
• Bugzilla 6891: template with uint value parameter causes several issues
• Bugzilla 7396: Indicate default alignment with 0.
• Bugzilla 7385: Bad error message missing line number on invalid array op that isn't special cased
• Bugzilla 7413: Vector literals don't work
• Bugzilla 7414: Vector literal assignment doesn't work in global scope
• Bugzilla 7418: Overloading doesn't work with aliases declared inside templates
• Bugzilla 7453: Can't return value from within opApply
• Bugzilla 7478: stack overflow compiling with -deps -release -inline -noboundscheck
• Bugzilla 7494: Selective import does not work inside a function
• Bugzilla 7506: Postblit does not called properly with inlining
• Bugzilla 7530: Postblit not called structs returned from an array index expr.
• Bugzilla 7560: Base class overloaded methods created by mixins can't be overriden
• Bugzilla 7581: Compiler uses wrong instructions to move complex value from ST to xmm registers
• Bugzilla 7585: functions in templates inferred as delegate
• Bugzilla 7750: while(true) loop with try/catch block causes segfault
• Bugzilla 7770: __dollar cannot be read at compile time
• Bugzilla 7784: ICE with self-referencing literals
• Bugzilla 7793: static assert( void_function() ) gives misleading error message
• Bugzilla 7807: Ambiguous virtual function error on const overloading with covariant return types
• Bugzilla 7851: Internal error: e2ir.c 688
• Bugzilla 7880: [CTFE] cast from void array allowed with different results than at runtime
• Bugzilla 7893: Spec completely wrong for D variadic arguments on 64 bits
• Bugzilla 7894: [CTFE] - goto within ForStatement restarts loop
• Bugzilla 7906: [ICE] enum declaration with invalid array literal crashes dmd
• Bugzilla 7907: [ICE] invalid expression on template argument crashes dmd
• Bugzilla 7911: Nested static if failing to execute
• Bugzilla 7922: alias this causes weird formatting issues for strings
• Bugzilla 7929: Broken semantic of StructInitializer with const
• Bugzilla 7931: Error message with _error_ with var[1,2]
• Bugzilla 7932: Corrupted argument inside out contract in x86_64
• Bugzilla 7933: Illegal interaction of templates
• Bugzilla 7941: Regression(2.059): Type check is ignored when manifest constant initializer is function literal
• Bugzilla 7943: UFCS does not work with alias this
• Bugzilla 7945: alias this doesn't work on function ref parameter
• Bugzilla 7949: [ICE] (cgcod.c) with SIMD array
• Bugzilla 7950: Type tuples are incorrectly flattened in base type list of interface
• Bugzilla 7951: DMD: Internal error: backend/cgxmm.c 567
• Bugzilla 7965: Invalid outer function scope pointer in some cases
• Bugzilla 7974: forward reference of mixin declaration
• Bugzilla 7983: ICE with getMember on a unittest member
• Bugzilla 7987: [CTFE] cannot compare arrays of slices
• Bugzilla 8002: Excess initial errors when passing template args to non-templated struct
• Bugzilla 8004: Direct call of function literal should consider default arguments
• Bugzilla 8005: Lambda with parameter type inference should consider default args
• Bugzilla 8016: Methods defined in external object files when template alias parameter is involved
• Bugzilla 8032: `mixin template` before virtual method with same method causes an error
• Bugzilla 8036: Zero-length static array of structs with elaborate destructor as struct or class field is rejected
• Bugzilla 8038: #line which is in a double template instantiation doesn't work
• Bugzilla 8060: xmmstore cannot allocate store for optimized operation that uses int and floats
• Bugzilla 8064: return reference semantics not obeyed on delegates?
• Bugzilla 8066: ICE on missing return statement if invariant is present
• Bugzilla 8069: incorrect ambiguous virtual function error
• Bugzilla 8073: Regression (git) Error: undefined identifier __result
• Bugzilla 8089: Importing package as module causes segfault
• Bugzilla 8091: Optimizer generates wrong code when reducing comparisons
• Bugzilla 8094: Static if matching using alias parameter in template fails
• Bugzilla 8095: [64 bit] Wrong code generation with spilled register, -m64 -O
• Bugzilla 8098: Inner class method can modify outer's members regardless of constancy
• Bugzilla 8099: Inner class's outer pointer matches constancy of inner, but can be set to object of arbitrary constancy
• Bugzilla 8182: with a lazy struct parameter, the struct's destructor is called on the generated delegate
• Bugzilla 8180: UFCS writeln doesn't work with Tuples
• Bugzilla 8113: alias this doesn't forward opCall
• Bugzilla 8123: alias declaration lookup is broken
• Bugzilla 8125: TypeInstance dedunction problem
• Bugzilla 8129: Cannot deduce template function when using partially specified type in function parameter
• Bugzilla 8147: Blah!R.init now requires parens - (Blah!R).init
• Bugzilla 8168: dmd crashes when asm statement with wrong opcode
• Bugzilla 8169: Method loses its compile-time evaluability when used through alias this
• Bugzilla 8185: Pure functions and pointers
• Bugzilla 8188: need this to access member when mixining in a function
• Bugzilla 8190: Externally defined struct error message
• Bugzilla 8194: "Function cannot access frame" even though all I requested was the type
• Bugzilla 8198: Nested lambda inference doesn't work
• Bugzilla 8199: stack is not aligned in finally block
• Bugzilla 8212: shared value data structures should implicitly cast to mutable
• Bugzilla 8216: CTFE should allow 'pointer is inside range' comparisons
• Bugzilla 8226: Global lambda assign to const/immutable
• Bugzilla 8237: Error message with _error_ when using failed type inference in template parameter
• Bugzilla 8241: cannot use template function literal as default alias argument
• Bugzilla 8242: cannot use template function literals at module scope
• Bugzilla 8249: Spurious error message with templates and alias this
• Bugzilla 8252: no UFCS for 0 literal
• Bugzilla 8276: [CTFE] ICE when reading variable from nested function
• Bugzilla 8283: ICE(cod1.c): returning struct with constructor as member of another struct
• Bugzilla 8315: Invalid nested-ref check in template constraint
• Bugzilla 8335: `ref` is ignored for static array of stucts with postblit argument
• Bugzilla 8390: Refused array operation mutable[] += const[]
• Bugzilla 8397: parameter types are not checked when assigning a function literal
• Bugzilla 8423: Wrong code for bool parameter in 5th integer register.
• Bugzilla 8429: [2.060 beta] 'version' rejected inside 'static if's
• Bugzilla 8434: [Regression 2.058] cannot implicitly convert expression (vs1.opCast()) of type const(Vector2D) to object.Object
• Bugzilla 8437: [2.060 beta] static struct no size yet for forward reference
• Bugzilla 8442: [2.060 beta] Empty array enum not treated as immutable
• Bugzilla 8453: Associative array keys refused as property by sort
• Bugzilla 8454: [ICE] (backend\cg87.c 3497) with cdouble and sqrt

Druntime Bugs Fixed

Library Bugs Fixed

• Bugzilla 4604: A stack overflow with writeln
• Bugzilla 5523: std.regex handles "\s" and "\W" (etc.) inside square brackets improperly
• Bugzilla 5652: Add \p and \P unicode properties to std.regex
• Bugzilla 5674: AssertError in std.regex
• Bugzilla 5964: std.stdio.readln can throw a UnicodeException
• Bugzilla 6217: [GSOC] result of std.algorithm.map is not movable
• Bugzilla 6403: Upgrade std.regex to Unicode UTS #18 Level 1 support
• Bugzilla 6892: Formatted write with specified length of enum member
• Bugzilla 7111: New regex engine cannot match beginning of empty string
• Bugzilla 7138: Can't call array() on dirEntries
• Bugzilla 7264: Can't iterate result from 4-arg dirEntries as string
• Bugzilla 7299: std.uni missing doc comments
• Bugzilla 7300: std.regex.ShiftOr!dchar.search is broken
• Bugzilla 7374: stdin.byLine() throws AssertError on empty input
• Bugzilla 7460: std.windows.registry reports a false exception message
• Bugzilla 7476: Write(ln) functions no longer accept retro range
• Bugzilla 7628: std.format formatValue incorrect overload
• Bugzilla 7674: regex replace requires escaped format
• Bugzilla 7679: std.regex.split and splitter don't work w/ ctRegex
• Bugzilla 7718: regex and ctRegex produce different results

DMD Bugs Fixed

• rdmd: --force now works with --eval
• rdmd: update --eval's import list
• Bugzilla 176: [module] message "module and package have the same name"
• Bugzilla 783: Cannot use an array w/ const or variable index as new[] size argument.
• Bugzilla 977: Expressions inside a struct or array initializer get wrong line number
• Bugzilla 3279: Confusing error message when comparing types
• Bugzilla 3354: invalid number of args accepted for 1/2 arg floating point instructions
• Bugzilla 3509: Cannot forward reference a template mixin's members in a compile-time context
• Bugzilla 3510: Cannot forward reference a templated type from within a template mixin
• Bugzilla 3559: DMD 1.048+ fails to take function pointer from overloaded member functions
• Bugzilla 3630: bad error location in "has no effect in expression" error
• Bugzilla 3682: Regression(2.038) is expression fails to match types
• Bugzilla 3812: Missing line number for implicit cast of variadic function to array
• Bugzilla 3822: Invalid optimization of alloca called with constant size
• Bugzilla 3927: array.length++; is an error, but ++array.length compiles
• Bugzilla 4241: duplicate union initialization error doesn't give a file location
• Bugzilla 4269: Regression(2.031): invalid type accepted if evaluated while errors are gagged
• Bugzilla 4507: use spellchecker when override function doesn't override anything
• Bugzilla 4820: Regression(1.058, 2.044) in DStress caused by changeset 452
• Bugzilla 4854: Regression(2.047, Mac 10.5 only) writefln Segmentation fault if no globals
• Bugzilla 4993: Temporary values and opIndexAssign
• Bugzilla 5181: Excess cast on in-place operation op= involving conversion
• Bugzilla 5412: import wtf2
• Bugzilla 5554: [qtd] Covariance detection failure
• Bugzilla 5590: Regression(2.036) ICE(e2ir.c): when using .values on enum which is associative array
• Bugzilla 5733: Calling opDispatch As Template Results in Compiler Infinite Loop
• Bugzilla 5879: Not all frontend errors use stderr
• Bugzilla 5889: Struct literal/construction should be rvalue (it binds to ref parameters)
• Bugzilla 6391: Line-less error when passing the '.im' of floating pointer value by reference
• Bugzilla 6438: [CTFE] wrong error "value used before set" when slicing =void array
• Bugzilla 6611: better error message for array post increment/decrement
• Bugzilla 6681: struct constructor call is converted to struct literal that breaks union initialization
• Bugzilla 6685: Allow using "with" with rvalues
• Bugzilla 6699: More cases of __error in error messages
• Bugzilla 6738: Can't call templatized property function from within a struct/class method
• Bugzilla 6785: Wrong error message from pragma(msg) of failed instantiation
• Bugzilla 6982: immutability isn't respected on associative array assignment
• Bugzilla 7038: Type mismatch with const struct
• Bugzilla 7110: opSlice() & opIndex functions works unstable as template arguments
• Bugzilla 7288: ICE(toir.c): with lambda return + auto
• Bugzilla 7353: NRVO not properly working with inferred return type
• Bugzilla 7380: Crash trying to use address of variable in struct constructor at module level
• Bugzilla 7399: Broken import statement in trySemantic() causes silent compiler error
• Bugzilla 7406: tuple foreach doesn't work with mixed tuples
• Bugzilla 7411: Deduce base type from vector types in templates
• Bugzilla 7439: Compound assignment causes segmentation fault
• Bugzilla 7452: Function using enforce() cannot be inferred as @safe because of anonymous function due to lazy argument
• Bugzilla 7462: Error message with _error_ in overridden function
• Bugzilla 7463: Duplicated error message with bad template value parameter
• Bugzilla 7473: [CTFE] Non-ref argument behaves as if it's a ref argument
• Bugzilla 7481: Compiler should 'soldier on' after template errors
• Bugzilla 7493: Initialization of void[][N]
• Bugzilla 7499: ICE(cast.c line 1495) with lambda array
• Bugzilla 7500: [ICE] (template.c line 5287) with immutable lambda function
• Bugzilla 7502: 2.056 regression: Assigning .init takes forever to compile for large structs
• Bugzilla 7504: Cannot assign an object of type 'typeof(null)' to an array
• Bugzilla 7518: std.array.empty doesn't work for shared arrays
• Bugzilla 7525: [2.058 regression] Broken return type inference for delegate returns
• Bugzilla 7527: [CTFE] Segfault when slicing a pointer at compile time
• Bugzilla 7536: ctfeAdrOnStack triggered
• Bugzilla 7544: ICE(interpret.c) Catching an exception with a null catch block
• Bugzilla 7545: ICE(cast.c) Merge integral types through alias this
• Bugzilla 7547: -deps output lists object as a top level module
• Bugzilla 7550: Missing AVX instruction VPMULDQ
• Bugzilla 7552: Cannot get and combine a part of overloaded functions
• Bugzilla 7554: Immutable function pointer arguments too
• Bugzilla 7557: Sea of errors after template failure
• Bugzilla 7562: DMD crashes by using TemplateThisParameter
• Bugzilla 7563: Class members with default template arguments have no type
• Bugzilla 7568: pragma(msg) segfaults with an aggregate including a class.
• Bugzilla 7578: ICE on indexing result of vararg opDispatch
• Bugzilla 7580: Identity assignment of Nullable crashes dmd
• Bugzilla 7582: Untyped nested delegate literals don't compile
• Bugzilla 7583: [CTFE] ICE with tuple and alias this
• Bugzilla 7589: __traits(compiles) does not work with a template that fails to compile
• Bugzilla 7592: Conversion from ireal to ifloat broken when using xmm
• Bugzilla 7595: Data being overwritten.
• Bugzilla 7608: __traits(allMembers) is broken
• Bugzilla 7618: delegate/function pointer call bypass parameter storage class
• Bugzilla 7621: Immutable type equivalence problem
• Bugzilla 7633: Missing CTFE error message
• Bugzilla 7639: Undefined enum AA key crashes compiler
• Bugzilla 7641: std.typecons.Proxy incorrectly allows implicit conversion to class
• Bugzilla 7643: Whole tuple slice isn't resolved as expected
• Bugzilla 7649: Bad lambda inference in default function argument
• Bugzilla 7650: Bad lambda inference in associative array literal
• Bugzilla 7667: ICE(interpret.c): 'ctfeStack.stackPointer() == 0'
• Bugzilla 7669: Broken inout deduction with static array type
• Bugzilla 7670: UFCS problem with @property and structs
• Bugzilla 7671: Broken inout deduction of shared(inout(T[n])) from immutable(int[3])
• Bugzilla 7672: Remove top const doesn't work for inout array type.
• Bugzilla 7681: Regression(2.059head):ICE:opCatAssign(delegate) to undefined identifier
• Bugzilla 7682: shared array type and "cast() is not an lvalue" error
• Bugzilla 7684: IFTI and shared overload doesn't work
• Bugzilla 7694: Internal error: e2ir.c 1251 when calling member function inside struct via alias param
• Bugzilla 7695: Regression(2.058): ICE(mtype.c) on associative array with keys of struct type with const members
• Bugzilla 7698: can't specialize parameterized template value
• Bugzilla 7699: Cannot get frame pointer to in contract when compiling with -inline
• Bugzilla 7702: opDispatch goes into infinite loop
• Bugzilla 7703: [UFCS] explicit template function instantiation as property
• Bugzilla 7705: lambda syntax doesn't allow some valid signatures
• Bugzilla 7713: lambda inference doesn't work on template function argument
• Bugzilla 7722: Refuse normal functions to be used as properties
• Bugzilla 7731: Assertion failure: 't' on line 7911 in file 'mtype.c'
• Bugzilla 7732: [CTFE] wrong code for a struct called AssociativeArray
• Bugzilla 7735: Functions with variadic void[][]... arguments corrupt passed data
• Bugzilla 7742: 'More initializers than fields' error with correct number of fields
• Bugzilla 7743: Parsing problem with nothrow delegate
• Bugzilla 7745: Regression (1.x git-415e48a) Methods defined in external object files when a pointer to it is taken
• Bugzilla 7751: [ICE] (Regression 2.059head) From auto and forward reference
• Bugzilla 7754: static this() in template is stripped during header gen
• Bugzilla 7755: regression(2.059head): ICE in glue.c
• Bugzilla 7757: Inout function with lazy inout parameter doesn't compile
• Bugzilla 7761: lambda expression doesn't parse attributes
• Bugzilla 7768: More readable template error messages
• Bugzilla 7769: relax inout rule doesn't work for template function
• Bugzilla 7722: Refuse normal functions to be used as properties
• Bugzilla 7773: UCFS syntax on built-in attributes too?
• Bugzilla 7781: [CTFE] Segmentation fault on 'mixin({return;}());
• Bugzilla 7782: [ICE] With wrong import syntax
• Bugzilla 7785: [CTFE] ICE when slicing pointer to variable
• Bugzilla 7786: dmd crashes with invalid module name
• Bugzilla 7789: [CTFE] null pointer exception on setting array length
• Bugzilla 7794: Sea of errors when calling regex() after compile error
• Bugzilla 7808: Nullable's alias this does not work with structs containing classes
• Bugzilla 7812: Segfault on invalid code during template match deduction with errors gagged
• Bugzilla 7814: Regression(2.059head) ICE(tocsym.c) using scope(failure) within foreach-range
• Bugzilla 7815: Mixin template forward reference (?) regression
• Bugzilla 7820: regression(DMD 2.059head) Wrong error on forward reference to 'front' with -property switch
• Bugzilla 7823: Can't use a struct initializer to initialize a nested enum used as a default function argument initializer
• Bugzilla 7826: [D2 Beta] Cannot use getHash in toHash without a warning
• Bugzilla 7843: Regression(2.059 beta): Informational warning fails to produce executable
• Bugzilla 7857: File#write formats enum as a boolean.
• Bugzilla 7858: __traits(getOverloads) returns incorrect symbol
• Bugzilla 7859: Crash on invalid alias template parameter type
• Bugzilla 7861: Segfault during __error propagation with self-referencing module
• Bugzilla 7862: Accepts-invalid template forward reference bug related to derivedMembers
• Bugzilla 7868: derivedMembers/static if regression
• Bugzilla 7869: Cannot format pointer of struct has toString member function
• Bugzilla 7871: RangeViolation with findSplitBefore
• Bugzilla 7873: [2.059 beta] IFTI with inout does not properly match template parameter if called from inout function for pointers
• Bugzilla 7886: derivedMembers infinite recursion
• Bugzilla 7888: derivedMembers forward reference error with nested imports

Druntime Bugs Fixed

Library Bugs Fixed

• Bugzilla 4295: IID_IUnknown symbol undefined in phobos.lib
• Bugzilla 7241: std.format can't read into array of dchar

DMD Bugs Fixed

• Bugzilla 516: Mutually calling constructors allowed
• Bugzilla 620: Can't use property syntax with a template function
• Bugzilla 664: is(func T == function) ignores variadic arguments
• Bugzilla 678: Compiler accepts, for a function T[] t(), t().ptr but not t.ptr
• Bugzilla 796: Asserting a null object reference throws AssertError Failure internal\invariant.d(14) or Access Violation
• Bugzilla 949: Wrong spec/compiler behaviour for Strings, Integers and Floats
• Bugzilla 955: Passing arguments into functions - in, out, inout, const, and contracts
• Bugzilla 1313: out/body disables escape analysis
• Bugzilla 1521: Ambiguous documentation
• Bugzilla 1563: dynamic cast is not always performed
• Bugzilla 1570: Wrong return for address operator
• Bugzilla 1918: __traits(getVirtualFunctions) returns final functions
• Bugzilla 1920: Class documentation incomplete
• Bugzilla 1943: Templates can't take function pointer parameters
• Bugzilla 2106: export class doesn't affect, what is exported
• Bugzilla 2351: enum with no members allowed
• Bugzilla 2382: spec is not clear on what is allowed as global/static initializers
• Bugzilla 2387: Static array terminology
• Bugzilla 2411: Reference Tuple Foreach
• Bugzilla 2417: [module] protected base member is not available via base handle in a derived class if it is defined in a separate module
• Bugzilla 2442: opApply does not allow inferring parameter types when overloaded on const
• Bugzilla 2443: opApply should allow delegates that are not ref if it makes no sense
• Bugzilla 2483: DMD allows assignment to a scope variable
• Bugzilla 2494: describe explicit casting of arrays
• Bugzilla 2495: const syntax for member functions needs better description
• Bugzilla 2497: delete and null relationship needs more details
• Bugzilla 2524: final override inconsistent when implementing interfaces
• Bugzilla 2639: Hex and octal string values not completely specified
• Bugzilla 2819: array.sort segfaults if array length >=0x8F_FFFF
• Bugzilla 2894: abstract classes sometimes allow non-abstract bodyless functions
• Bugzilla 2997: allMembers does not return interface members
• Bugzilla 3084: Formatting of lazy in parameters section
• Bugzilla 3092: Indexing a tuple produces a tuple containing the indexed element
• Bugzilla 3111: 'mangleof' can't be member of a struct not documented
• Bugzilla 3187: Nested foreach over opApply doesn't work
• Bugzilla 3204: Document global properties
• Bugzilla 3235: [tdpl] Function literals must be deduced as "function" or "delegate"
• Bugzilla 3265: .classinfo for Interface-typed reference does not return instance's ClassInfo
• Bugzilla 3492: Can't overload nested functions
• Bugzilla 3578: Impossible to run a struct invariant using assert(s)
• Bugzilla 3735: op=
• Bugzilla 3757: Overloading const function with overridden non-const function results in seg fault.
• Bugzilla 3777: size_t is undefined
• Bugzilla 3783: Text inconsistent with EscapeSequence rules
• Bugzilla 3787: clarification: assigment to 'this'
• Bugzilla 3791: Reference anonymous nested classes when describing new expressions
• Bugzilla 3800: "Foreach over Structs and Classes with Ranges" and "Invariant Struct" in D2 Spec
• Bugzilla 3838: PrimaryExpression rule doesn't permit module scope template instances
• Bugzilla 3886: Bad example of definition file for DLLs
• Bugzilla 3906: Undefined struct and union declarations are not documented
• Bugzilla 3908: @ attributes not part of function grammar
• Bugzilla 3954: DeclDef rule is missing TemplateMixinDeclaration
• Bugzilla 3988: Provide canonical example for operator overloading
• Bugzilla 4088: opEquals not called on interfaces
• Bugzilla 4180: D DWARF extensions conflict with DWARF-4
• Bugzilla 4251: Hole in the const system: immutable(T)[] implicitly casts to ref const(T)[]
• Bugzilla 4371: segfault(template.c) template tuple in is() expression
• Bugzilla 4413: typeof(this) doesn't work in method template signature
• Bugzilla 4421: Union propagates copy constructors and destructors over all members
• Bugzilla 4523: [tdpl] .remove method for Associative Arrays returns void in all cases
• Bugzilla 4539: Refuse assignment to string literal
• Bugzilla 4545: Alias to members possible without "this" instance
• Bugzilla 4550: D2 Language Docs: http://www.digitalmars.com/d/2.0/statement.html
• Bugzilla 4553: D2 Language Docs: http://www.digitalmars.com/d/2.0/struct.html
• Bugzilla 4647: [tdpl] Cannot explicitly call final interface method, ambiguous calls allowed
• Bugzilla 4651: Docs: Returned classes that have access to stack variables of its enclosing function
• Bugzilla 4675: [tdpl] Eponymous Template should hide internal names
• Bugzilla 4711: Incorrect handling of && operator with void operand
• Bugzilla 4841: -inline wrecks nested struct with alias template parameter (An array()/map inlining problem)
• Bugzilla 4887: Right-shifting by 32 is allowed and broken
• Bugzilla 4940: ICE(symbol.c): Accessing tuple-typed field of struct literal with user-defined constructor
• Bugzilla 4956: remove direct references to gcc from linux.mak
• Bugzilla 5023: Docs about order of execution of invariant and pre/post conditions
• Bugzilla 5111: Static function-level variables are not in the language spec.
• Bugzilla 5114: Too many error messages
• Bugzilla 5132: ~ unary operator silently different from C
• Bugzilla 5138: Special token sequence
• Bugzilla 5261: Uncompilable example for Windows
• Bugzilla 5299: Protected inheritance is semantically undefined.
• Bugzilla 5337: Documentation regarding interfacing with C does not account for TLS differences
• Bugzilla 5476: spec: attributes have an optional else clause
• Bugzilla 5493: Able to overwrite immutable data by passing through ref function parameter
• Bugzilla 5527: Bug in http://www.digitalmars.com/d/2.0/ctod.html#closures
• Bugzilla 5605: [tdpl] foreach with ranges doesn't support opSlice()
• Bugzilla 5648: dmd command line option list inconsistencies
• Bugzilla 5713: Broken final switch on ints
• Bugzilla 5715: Contradiction in spec: meaning of variable.init
• Bugzilla 5718: Can't demangle symbol defined inside unittest block
• Bugzilla 5796: ICE with pragma(msg, ...) after missing ';' in a template
• Bugzilla 5820: Documentation states string literals can implicitly convert to char*
• Bugzilla 5841: alias grammar is incorrect
• Bugzilla 6013: private ignored for aliases
• Bugzilla 6037: [CTFE] recursive ref parameters evaluated incorrectly
• Bugzilla 6091: [d-p-l.org] Description for "Modifier casting" is misleading
• Bugzilla 6165: Anonymous enums specification
• Bugzilla 6177: Regression(2.053): ICE backend/cgcs.c: struct with destructor in assoc. array or typesafe variadic functions
• Bugzilla 6205: Strongly-pure nothrow functions with ignored return value are entirely stripped even if it contains a failing 'assert'.
• Bugzilla 6208: Parameter storage classes are ignored in template function deducing.
• Bugzilla 6364: Static struct's destructor called on exit of function
• Bugzilla 6402: Note on @property in spec needs updating
• Bugzilla 6451: [64bit] ICE(expression.c:4434): SymbolExp::SymbolExp(Loc, TOK, int, Declaration*, int): Assertion 'var' failed
• Bugzilla 6473: Stack overflow with struct destructor as default parameter
• Bugzilla 6504: Regression(2.041): "str" ~ [arr] allows string literal to be modified
• Bugzilla 6701: template specialization resolution failure
• Bugzilla 6704: CommaExpression as an IfCondition
• Bugzilla 6714: [tdpl] Type inference for parameters of function and delegate literals
• Bugzilla 6780: Templated global property functions do not work
• Bugzilla 6839: documentation for opAssign incorrect
• Bugzilla 6933: Segfault(declaration.c) using struct with destructor in CTFE
• Bugzilla 6934: [CTFE] can't use $ in a slice of an array passed by ref
• Bugzilla 6939: wrong type qualifier combination
• Bugzilla 6940: immutable(int*)*/immutable(int)** and int** do not combine
• Bugzilla 6948: Possible bug in compiler or documentation regarding signature of opCmp()
• Bugzilla 6964: Error message with __error: static assert(undefined+1)
• Bugzilla 6968: Segmantation fault, if exclamation mark absent
• Bugzilla 6971: [lex.dd] Type of string literals are outdated
• Bugzilla 6984: CTFE generates a torrent of spurious errors, if there was a previous error
• Bugzilla 6985: [CTFE] Non-constant case expressions can't be interpreted
• Bugzilla 6987: The "Memory Management" documentation incorrectly claims arrays are passed by reference
• Bugzilla 6995: [CTFE] can't interpret static template method
• Bugzilla 7011: No line number error for vector power
• Bugzilla 7037: TemplateTypeParameterSpecialization works differently from IsExpression regarding alias this
• Bugzilla 7043: CTFE: ICE illegal reference value 0LU, only with -inline
• Bugzilla 7073: Parsing of class-returning varargs function inside module ctor fails
• Bugzilla 7108: ICE: TraitsExp::semantic(Scope*) 2.056 -> 2.057 regression - segfault
• Bugzilla 7120: Scope Delegates + Delegate Literals
• Bugzilla 7123: static assert(is(typeof(toDelegate(&main)))) is false
• Bugzilla 7124: Alias this type is not considered in template type deduction
• Bugzilla 7127: Const-related infinite recursion in DWARF generation
• Bugzilla 7133: [tdpl] There should be no empty statement
• Bugzilla 7136: alias this lookup should run before merging modifiers of both sides.
• Bugzilla 7143: [CTFE] cannot compare class references with "is"
• Bugzilla 7144: [CTFE] base class does not call overridden members
• Bugzilla 7154: [CTFE] failing downcast causes error
• Bugzilla 7158: [CTFE] ICE(interpret.c) calling a class member using a dotvar expression
• Bugzilla 7160: Regression(2.057): ICE(dsymbol.c:1052) ICE using __traits(derivedMembers)
• Bugzilla 7162: [CTFE] "bool || void" expression crashes dmd
• Bugzilla 7165: [CTFE] ice converting null pointer to bool with constant member function
• Bugzilla 7166: Internal error: ../ztc/cgxmm.c 60
• Bugzilla 7168: Regression(2.057) __traits(allMembers) returns wrong tuple
• Bugzilla 7170: [UFCS] array + specialized template member syntax causes ICE
• Bugzilla 7173: dmd: glue.c:1065: virtual unsigned int Type::totym(): Assertion `0' failed.
• Bugzilla 7178: Segfault with import of invalid template
• Bugzilla 7185: [CTFE] ICE on changing char array length
• Bugzilla 7187: Regression(head 12d62ca5): [CTFE] ICE on slicing
• Bugzilla 7188: "import phobos;" crashes DMD
• Bugzilla 7189: inline failed
• Bugzilla 7190: Tuple length incorrect
• Bugzilla 7193: Regression(2.058head): ICE: delete lambda expression crashes dmd
• Bugzilla 7194: [CTFE] Incorrect behaviour with pointers as local struct variable
• Bugzilla 7196: Unfair function address overload resolution
• Bugzilla 7197: enum string doesn't work with CTFE
• Bugzilla 7199: std.string.indexof cannot be compiled with -inline
• Bugzilla 7201: Lambda template assignment to variable
• Bugzilla 7207: Explicit cast should resolve lambda type
• Bugzilla 7212: Regression(Head): ICE with overload resolution and delegate/function inference
• Bugzilla 7216: [CTFE] Can't call struct member function using pointer field
• Bugzilla 7217: [CTFE] ICE on accessing struct array field
• Bugzilla 7218: Nested function with contract is rejected
• Bugzilla 7228: MOVDQ2Q instruction is emitted with swapped register indices
• Bugzilla 7231: Segfault using opDispatch with property notation
• Bugzilla 7232: Warning: statement is not reachable has no line number
• Bugzilla 7234: Segmentation fault when using stdio
• Bugzilla 7239: C style struct initialization doesn't work with aliases
• Bugzilla 7245: [CTFE] Address of ref foreach parameter changes to point after array
• Bugzilla 7248: [CTFE] Stack overflow on using struct filed pointer with address of array element
• Bugzilla 7261: ICE(glue.c): With taskPool.reduce
• Bugzilla 7266: [CTFE] Assign to ref param (that's taken from struct member) is noop
• Bugzilla 7277: [CTFE ICE] Assertion failure: 'thisval' on line 1690 in file 'interpret.c'
• Bugzilla 7278: Templated struct (instantiated with null) can't access its own members
• Bugzilla 7285: Implicit fixed-size array cast
• Bugzilla 7290: Heap allocation with scoped delegate literal
• Bugzilla 7294: [Regression] No warning when escaping local reference type variables
• Bugzilla 7295: Alias This + Pure + pointsTo = rejects-valid
• Bugzilla 7296: [2.058] Regression: Cannot swap RefCounted
• Bugzilla 7309: [2.058] Regression caused by new inlining code
• Bugzilla 7321: returning void considered unsafe by safety inference
• Bugzilla 7335: sometimes the OUT - block have undefined class members-acces
• Bugzilla 7351: Possible asm bug: bad type/size of operands 'xadd'
• Bugzilla 7359: Template function with typesafe variadic rejects more than one string arguments
• Bugzilla 7363: Eponymous Template doesn't hide internal names in some cases with `static if`
• Bugzilla 7365: [Regression after 2.057] AAs broken for Object keys and values with opEquals
• Bugzilla 7367: wrong char comparison result
• Bugzilla 7369: Inout constructor causes compiler to reject invariant
• Bugzilla 7373: (Regression git) Renamed imports conflict with other implicitly imported symbols
• Bugzilla 7375: Regression(2.057): Invalid downcast permitted with derived/aliased template classes
• Bugzilla 7377: Compiler segfault in: TemplateMixin::hasPointers()
• Bugzilla 7379: DMD segfaults on semantic3 phase when alias enum this
• Bugzilla 7383: Blank lines in code sections cause premature section termination
• Bugzilla 7384: Typo in volatile deprecation message
• Bugzilla 7394: ddmangle tool needs rebuilding
• Bugzilla 7416: 2.058 regression: fails to instantiate a constrained function template with a nested function
• Bugzilla 7419: [2.058/CTFE] Constructor of struct is overwritten inside a unittest with -inline
• Bugzilla 7422: Regression(master): ICE with template function and if statement
• Bugzilla 7424: Segfault when trying to call a templated property with different const-ancy.
• Bugzilla 7425: IFTI does not work with inout methods
• Bugzilla 7428: regression (DMD 2.058head) ICE on slightly convoluted setup including closures
• Bugzilla 7435: Regression(master):dmd crashes when 'scope(failure) debug ...' without -debug option.
• Bugzilla 7475: Regression(2.058 beta): Template member erroneously inaccessible
• Bugzilla 7498: function expected before (), not function

Druntime Bugs Fixed

• Bugzilla 6909: incorrect definition of the OVERLAPPED struct in core.sys.windows.windows ?

Library Bugs Fixed

• Unlisted bug: std.conv: Fix to!float("-0")
• Unlisted bug: std.file broken on OS X x86_64 due to wrong stat64 declaration.
• Bugzilla 2936: std.regex.match() short string optimization
• Bugzilla 4765: std.math.modf always returns 0
• Bugzilla 5193: SList cannot have struct elements that have immutable members.
• Bugzilla 5620: Implicit conversion of RegexMatch to bool.
• Bugzilla 5712: [patch] std.regex.replace disallows w/dstring
• Bugzilla 6204: emplace() for classes accepts larger chunk but fails in array assignment
• Bugzilla 6887: Regression of getopt
• Bugzilla 6888: std.getopt.getopt: one-letter hash option causes range violation
• Bugzilla 6935: struct with @disable this cannot make range
• Bugzilla 6953: std.concurrency needs more documentation
• Bugzilla 6973: static assert(isOutputRange!(OutputRange!int, int)) is false
• Bugzilla 6976: GetLastError called as property
• Bugzilla 6977: getErrno called as property in std.stdio
• Bugzilla 6979: hasUnsharedAliasing cannot accept plural parameters
• Bugzilla 6990: std.string.splitlines deprecation doc missing a word
• Bugzilla 7000: missing import of std.stdio in std.regex?
• Bugzilla 7039: Posix 2.057 Makefile error breaking 64bit build
• Bugzilla 7040: Phobos must use "version/else version" blocks for proper documentation generation.
• Bugzilla 7045: AssertError in std.regex on line 1573
• Bugzilla 7055: to!float("INF2") == 2

DMD Bugs Fixed

• Bugzilla 2095: covariance w/o typechecks = bugs
• Bugzilla 2532: '=' does not give a boolean result
• Bugzilla 2778: alias this + IFTI doesn't work.
• Bugzilla 2856: static opIndex does not compile for a templated struct/class
• Bugzilla 3990: Deferencing a dynamic array as pointer
• Bugzilla 4047: [CTFE] class/struct heap allocation
• Bugzilla 4401: auto functions cannot be inner functions
• Bugzilla 4511: Contravariance problem
• Bugzilla 4583: PIC code not working: EBX register set incorrectly
• Bugzilla 5311: Pure is broken when accessing globals / static data through instance reference
• Bugzilla 5364: optimizer kills high dword of -1
• Bugzilla 5416: null should have a type of its own
• Bugzilla 5899: auto-return function cannot match 'null' with reference type.
• Bugzilla 6056: Type lookup problem in string mixins
• Bugzilla 6077: CTFE: Cannot append null array to null array.
• Bugzilla 6330: Cannot disable assignment to a struct.
• Bugzilla 6354: Optimizer bug on x86_64: Bitshift optimized out when foreach and scope(failure) are used
• Bugzilla 6416: [CTFE] Declaration static struct is not yet implemented in CTFE
• Bugzilla 6479: spurious alias this with struct and mixin template
• Bugzilla 6522: [CTFE] Problem with opAssign call in foreach(ref)
• Bugzilla 6603: [CTFE] Can't call through a manifest constant function pointer
• Bugzilla 6736: Regression(2.054): ICE (cgcod.c 1672) with alias this and certain structs
• Bugzilla 6763: Using TypeTuple with (const/in/ref etc.) changes it forever
• Bugzilla 6792: [CTFE] ICE with pointer cast of indexed array
• Bugzilla 6800: [CTFE] dangerous pointer casts should be rejected
• Bugzilla 6805: Can't use a type from opDispatch template
• Bugzilla 6816: [CTFE] nested function can't access this
• Bugzilla 6817: [CTFE] Error on interpreting inlined IfStatement
• Bugzilla 6832: Can't test objects wrapped with alias this
• Bugzilla 6836: map + UFCS = fail
• Bugzilla 6837: alias this + UFCS = fail
• Bugzilla 6851: [CTFE] Cannot deref pointer passed by argument
• Bugzilla 6859: Segfault when abstract method uses with contract.
• Bugzilla 6864: Const conversion should precedence over the shared one
• Bugzilla 6865: inout matching removes shared qualifier
• Bugzilla 6866: ICE(mtype.c): alias this and inout matching
• Bugzilla 6867: inout and nested foreach loops
• Bugzilla 6868: IsExp + incorrect static array type = error
• Bugzilla 6870: type qualifiers behave inconsistently in combination with typeof
• Bugzilla 6872: Breaking type parsing of shared(inout(int)[])
• Bugzilla 6877: [XMM] regression, clobbered float value
• Bugzilla 6879: The difference of between template matching and IsExp
• Bugzilla 6881: [XMM] ICE with painted float
• Bugzilla 6885: [CTFE] wrong code with dynamically allocated 2D array
• Bugzilla 6886: [CTFE] ICE(interpret.c) new array with initializer
• Bugzilla 6901: wrong error "override cannot be applied to variable" in CTFE forward reference
• Bugzilla 6902: Different "pure nothrow int()" types
• Bugzilla 6910: __traits(hasMember, "") does not work, if template has alias param
• Bugzilla 6912: const(T)[] can be implicitly cast to inout(const(T)[])
• Bugzilla 6919: [CTFE] Cannot get effect to local variable through its pointer
• Bugzilla 6922: [TDPL] superimposing of const and immutable does not work correctly
• Bugzilla 6927: Better @property management by chained functions
• Bugzilla 6928: alias this, immutable and common type fail in presence of fields with indirections
• Bugzilla 6929: [ICE] typeMerge crashes in presence of ambiguous alias this conversions
• Bugzilla 6941: .stringof displays redundant storage classes
• Bugzilla 6972: [CTFE] ICE with ubyte/=uint
• Bugzilla 6994: Using explicit 'this' in template constraint causes an error
• Bugzilla 6997: 64bit optimizer bug
• Bugzilla 7004: Iterating tuple with index which explicitly typed as size_t causes an error
• Bugzilla 7026: 64 bit optimizer bug
• Bugzilla 7027: Struct member trySemantic() regression in DMD Git master
• Bugzilla 7028: Fails to save FPU regs when executing finally block
• Bugzilla 7072: [2.057 Beta] Assertion failure: '0' on line 145 in file 'mtype.c'
• Bugzilla 7093: aliased type sometimes isn't resolved