[Issue 3075] Implement parameter contravariance

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

[Issue 3075] Implement parameter contravariance

2021-01-09 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=3075 --- Comment #31 from Bolpat --- In the context of Argument-dependent Attributes (ADA) or Attributes for Higher-Order Functions (AfHOF) (pending DIPs), contravariant overloading is necessary. Imagine a proper sink-toString interface. The whole reason

[Issue 3075] Implement parameter contravariance

2021-01-09 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=3075 Bolpat changed: What|Removed |Added CC||qs.il.paperi...@gmail.com --- Comment #30 from

[Issue 3075] Implement parameter contravariance

2019-09-27 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=3075 RazvanN changed: What|Removed |Added CC||razvan.nitu1...@gmail.com --- Comment #29 from

[Issue 3075] Implement parameter contravariance

2017-05-09 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=3075 Walter Bright changed: What|Removed |Added Status|RESOLVED|REOPENED

[Issue 3075] Implement parameter contravariance

2017-05-09 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=3075 Walter Bright changed: What|Removed |Added See Also|

[Issue 3075] Implement parameter contravariance

2017-05-09 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=3075 Walter Bright changed: What|Removed |Added See Also|

[Issue 3075] Implement parameter contravariance

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

[Issue 3075] Implement parameter contravariance

2013-12-19 Thread d-bugmail
https://d.puremagic.com/issues/show_bug.cgi?id=3075 Denis Shelomovskij verylonglogin@gmail.com changed: What|Removed |Added CC|