• Cauterite (6/6) Jul 25 2016 I noticed that for some class `T`, `typeid(new immutable(T)) !=
• Timon Gehr (2/8) Jul 26 2016 Bug.

Cauterite <cauterite gmail.com> writes:

I noticed that for some class `T`, `typeid(new immutable(T)) != 
typeid(immutable(T))`. The immutability is lost in the object's 
typeinfo, but retained in the class's typeinfo.

See: https://dpaste.dzfl.pl/f04d41ff2986

Is this intended behaviour or a bug? I couldn't find any mention 
of it in the language docs.

Timon Gehr <timon.gehr gmx.ch> writes:

On 25.07.2016 17:48, Cauterite wrote:
 I noticed that for some class `T`, `typeid(new immutable(T)) !=
 typeid(immutable(T))`. The immutability is lost in the object's
 typeinfo, but retained in the class's typeinfo.

 See: https://dpaste.dzfl.pl/f04d41ff2986

 Is this intended behaviour or a bug? I couldn't find any mention of it
 in the language docs.

Bug.