https://issues.dlang.org/show_bug.cgi?id=13093
--- Comment #2 from Kenji Hara <k.hara...@gmail.com> --- You can test it by the code. void* p; ubyte[10000] foo() nothrow { typeof(return) data; p = &data; return data; } void main() nothrow { immutable data = foo(); assert(p == &data); } --