[Issue 6856] Absence of in contract (precondition) on override of method that has one is badly designed

2023-02-26 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=6856 Simon Naarmann changed: What|Removed |Added CC||eiderd...@gmail.com --

[Issue 6856] Absence of in contract (precondition) on override of method that has one is badly designed

2023-02-26 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=6856 Dennis changed: What|Removed |Added CC||pub...@mullakh.com --- Comment #37 from Dennis ---

[Issue 6856] Absence of in contract (precondition) on override of method that has one is badly designed

2022-12-17 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=6856 Iain Buclaw changed: What|Removed |Added Priority|P2 |P4 --

[Issue 6856] Absence of in contract (precondition) on override of method that has one is badly designed

2019-05-20 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=6856 --- Comment #36 from Dlang Bot --- @ibuclaw updated dlang/dmd pull request #7510 "fix Issue 6856 - Use in contract from base class if not specified in derived" fixing this issue: - fix Issue 6856 - Use in contract from base class if not specified in

[Issue 6856] Absence of in contract (precondition) on override of method that has one is badly designed

2017-07-20 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=6856 Vladimir Panteleev changed: What|Removed |Added Keywords||pull

[Issue 6856] Absence of in contract (precondition) on override of method that has one is badly designed

2015-06-09 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=6856 Andrei Alexandrescu and...@erdani.com changed: What|Removed |Added Version|D1 D2 |D2 --

[Issue 6856] Absence of in contract (precondition) on override of method that has one is badly designed

2014-12-16 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=6856 Walter Bright bugzi...@digitalmars.com changed: What|Removed |Added CC|

[Issue 6856] Absence of in contract (precondition) on override of method that has one is badly designed

2013-12-29 Thread d-bugmail
https://d.puremagic.com/issues/show_bug.cgi?id=6856 timon.g...@gmx.ch changed: What|Removed |Added CC||chalu...@gmail.com Bug 6856

[Issue 6856] Absence of in contract (precondition) on override of method that has one is badly designed

2013-11-30 Thread d-bugmail
https://d.puremagic.com/issues/show_bug.cgi?id=6856 fckingspmfr...@gmail.com changed: What|Removed |Added CC||fckingspmfr...@gmail.com

[Issue 6856] Absence of in contract (precondition) on override of method that has one is badly designed

2013-01-22 Thread d-bugmail
http://d.puremagic.com/issues/show_bug.cgi?id=6856 Stewart Gordon s...@iname.com changed: What|Removed |Added Summary|Absence of in() contract|Absence of in contract