Thread overview | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
|
October 09, 2020 [Issue 21298] Missing error when overriding interface method without in contract with class method with contract | ||||
---|---|---|---|---|
| ||||
https://issues.dlang.org/show_bug.cgi?id=21298 John Colvin <john.loughran.colvin@gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |industry CC| |john.loughran.colvin@gmail. | |com -- |
October 09, 2020 [Issue 21298] Missing error when overriding interface method without in contract with class method with contract | ||||
---|---|---|---|---|
| ||||
https://issues.dlang.org/show_bug.cgi?id=21298 Walter Bright <bugzilla@digitalmars.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |bugzilla@digitalmars.com -- |
October 09, 2020 [Issue 21298] Missing error when overriding interface method without in contract with class method with contract | ||||
---|---|---|---|---|
| ||||
https://issues.dlang.org/show_bug.cgi?id=21298 --- Comment #1 from Mario Kroeplin <kroeplin.d@googlemail.com> --- Worse: no semantic analysis is done for the in condition of the override: class C : I { override void foo(int i) in (something, stupid) { } } -- |
December 01, 2020 [Issue 21298] Missing error when overriding interface method without in contract with class method with contract | ||||
---|---|---|---|---|
| ||||
https://issues.dlang.org/show_bug.cgi?id=21298 --- Comment #2 from Walter Bright <bugzilla@digitalmars.com> --- Changing I to a class still does not cause the error. A function body has to be provided to I.foo() to trigger the error. -- |
December 01, 2020 [Issue 21298] Missing error when overriding interface method without in contract with class method with contract | ||||
---|---|---|---|---|
| ||||
https://issues.dlang.org/show_bug.cgi?id=21298 Dlang Bot <dlang-bot@dlang.rocks> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |pull --- Comment #3 from Dlang Bot <dlang-bot@dlang.rocks> --- @WalterBright created dlang/dmd pull request #12013 "fix Issue 21298 - Missing error when overriding interface method with…" fixing this issue: - fix Issue 21298 - Missing error when overriding interface method without in contract with class method with contract https://github.com/dlang/dmd/pull/12013 -- |
December 01, 2020 [Issue 21298] Missing error when overriding interface method without in contract with class method with contract | ||||
---|---|---|---|---|
| ||||
https://issues.dlang.org/show_bug.cgi?id=21298 --- Comment #4 from Walter Bright <bugzilla@digitalmars.com> --- I'm not convinced this should be an error. An interface doesn't implement a function. The class providing the function isn't overriding the interface, it is implementing it. -- |
March 09, 2021 [Issue 21298] Missing error when overriding interface method without in contract with class method with contract | ||||
---|---|---|---|---|
| ||||
https://issues.dlang.org/show_bug.cgi?id=21298 --- Comment #5 from anonymous4 <dfj1esp02@sneakemail.com> --- The error is that the contract of the subtype is stricter than the contract of the supertype. -- |
March 09, 2021 [Issue 21298] Missing error when overriding interface method without in contract with class method with contract | ||||
---|---|---|---|---|
| ||||
https://issues.dlang.org/show_bug.cgi?id=21298 anonymous4 <dfj1esp02@sneakemail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- See Also| |https://issues.dlang.org/sh | |ow_bug.cgi?id=21689 -- |
December 17, 2022 [Issue 21298] Missing error when overriding interface method without in contract with class method with contract | ||||
---|---|---|---|---|
| ||||
https://issues.dlang.org/show_bug.cgi?id=21298 Iain Buclaw <ibuclaw@gdcproject.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Priority|P1 |P3 -- |
Copyright © 1999-2021 by the D Language Foundation