[Issue 17445] Disagreement between 'static assert' and 'static if'

2017-05-27 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17445 --- Comment #1 from Dario Schiavon --- See also https://issues.dlang.org/show_bug.cgi?id=17446 for a similar issue, which however is also present on LDC2 (so it can't actually be the same issue). --

[Issue 17445] Disagreement between 'static assert' and 'static if'

2017-05-27 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17445 Stanislav Blinov changed: What|Removed |Added CC||stanislav.bli...@gmail.com --- Comment #2

[Issue 17445] Disagreement between 'static assert' and 'static if'

2017-05-27 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17445 --- Comment #3 from Stanislav Blinov --- Sorry, that was isAssignable. isCopyable would be: enum bool isCopyable(T) = is(typeof(() { T* a; T b = *a; })); --

[Issue 17445] Disagreement between 'static assert' and 'static if'

2017-05-28 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17445 --- Comment #4 from Dario Schiavon --- Stanislav, thanks for the tip. I knew about isAssignable but I had somehow missed isCopyable, which is exactly what I needed. However, I still cannot make my code work because of the bug shown here. isAssignabl

[Issue 17445] Disagreement between 'static assert' and 'static if'

2017-05-28 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=17445 --- Comment #5 from Dario Schiavon --- I guess I can speculate about the reason for this behavior. What I'm doing, is making a copiability test on a type that hasn't been completely defined yet. As long as there's no static-if depending on the answer