| // typecons.d | |
| template RebindableCommon(T, U, This) | |
| { | |
| union { U stripped; } | |
| void opAssign(T another) | |
| { | |
| stripped = cast() another; | |
| } | |
| this(T initializer) | |
| { | |
| opAssign(initializer); | |
| } | |
| } | |
| template Rebindable(T) | |
| { | |
| static if (is(T == immutable U, U)) | |
| struct Rebindable | |
| { | |
| mixin RebindableCommon!(T, U, Rebindable); | |
| } | |
| } | |