Thread overview
[Issue 6856] Absence of in contract (precondition) on override of method that has one is badly designed
Dec 17, 2014
Walter Bright
Jul 21, 2017
Vladimir Panteleev
May 20, 2019
Dlang Bot
Dec 17, 2022
Iain Buclaw
Feb 26, 2023
Dennis
Feb 26, 2023
Simon Naarmann
December 17, 2014
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
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
https://issues.dlang.org/show_bug.cgi?id=6856

Vladimir Panteleev <dlang-bugzilla@thecybershadow.net> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |pull

--
May 20, 2019
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
https://issues.dlang.org/show_bug.cgi?id=6856

Iain Buclaw <ibuclaw@gdcproject.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P2                          |P4

--
February 26, 2023
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
https://issues.dlang.org/show_bug.cgi?id=6856

Simon Naarmann <eiderdaus@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |eiderdaus@gmail.com

--