Thread overview | |||||||||
---|---|---|---|---|---|---|---|---|---|
|
December 17, 2014 [Issue 6856] Absence of in contract (precondition) on override of method that has one is badly designed | ||||
---|---|---|---|---|
| ||||
https://issues.dlang.org/show_bug.cgi?id=6856 Walter Bright <bugzilla@digitalmars.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |bugzilla@digitalmars.com Hardware|Other |All Severity|normal |enhancement --- Comment #35 from Walter Bright <bugzilla@digitalmars.com> --- https://github.com/D-Programming-Language/dmd/pull/4200 -- |
June 10, 2015 [Issue 6856] Absence of in contract (precondition) on override of method that has one is badly designed | ||||
---|---|---|---|---|
| ||||
https://issues.dlang.org/show_bug.cgi?id=6856 Andrei Alexandrescu <andrei@erdani.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Version|D1 & D2 |D2 -- |
July 21, 2017 [Issue 6856] Absence of in contract (precondition) on override of method that has one is badly designed | ||||
---|---|---|---|---|
| ||||
https://issues.dlang.org/show_bug.cgi?id=6856 Vladimir Panteleev <dlang-bugzilla@thecybershadow.net> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |pull -- |
May 20, 2019 [Issue 6856] Absence of in contract (precondition) on override of method that has one is badly designed | ||||
---|---|---|---|---|
| ||||
https://issues.dlang.org/show_bug.cgi?id=6856 --- Comment #36 from Dlang Bot <dlang-bot@dlang.rocks> --- @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 derived https://github.com/dlang/dmd/pull/7510 -- |
December 17, 2022 [Issue 6856] Absence of in contract (precondition) on override of method that has one is badly designed | ||||
---|---|---|---|---|
| ||||
https://issues.dlang.org/show_bug.cgi?id=6856 Iain Buclaw <ibuclaw@gdcproject.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Priority|P2 |P4 -- |
February 26, 2023 [Issue 6856] Absence of in contract (precondition) on override of method that has one is badly designed | ||||
---|---|---|---|---|
| ||||
https://issues.dlang.org/show_bug.cgi?id=6856 Dennis <dkorpel@live.nl> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |public@mullakh.com --- Comment #37 from Dennis <dkorpel@live.nl> --- *** Issue 12247 has been marked as a duplicate of this issue. *** -- |
February 26, 2023 [Issue 6856] Absence of in contract (precondition) on override of method that has one is badly designed | ||||
---|---|---|---|---|
| ||||
https://issues.dlang.org/show_bug.cgi?id=6856 Simon Naarmann <eiderdaus@gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |eiderdaus@gmail.com -- |
Copyright © 1999-2021 by the D Language Foundation