Thread overview | |||||
---|---|---|---|---|---|
|
July 13, 2020 [Issue 20628] Inherited In contracts should only check the most inherited function | ||||
---|---|---|---|---|
| ||||
https://issues.dlang.org/show_bug.cgi?id=20628 --- Comment #1 from FeepingCreature <default_357-line@yahoo.de> --- Sorry, that should be "widen the condition", not "tighten the condition", in the first paragraph. The argument is unaffected. -- |
December 17, 2022 [Issue 20628] Inherited In contracts should only check the most inherited function | ||||
---|---|---|---|---|
| ||||
https://issues.dlang.org/show_bug.cgi?id=20628 Iain Buclaw <ibuclaw@gdcproject.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Priority|P1 |P4 -- |
December 13 [Issue 20628] Inherited In contracts should only check the most inherited function | ||||
---|---|---|---|---|
| ||||
https://issues.dlang.org/show_bug.cgi?id=20628 --- Comment #2 from dlangBugzillaToGithub <robert.schadek@posteo.de> --- THIS ISSUE HAS BEEN MOVED TO GITHUB https://github.com/dlang/dmd/issues/19671 DO NOT COMMENT HERE ANYMORE, NOBODY WILL SEE IT, THIS ISSUE HAS BEEN MOVED TO GITHUB -- |
Copyright © 1999-2021 by the D Language Foundation