- From: <bugzilla@jessica.w3.org>
- Date: Tue, 03 May 2016 14:45:02 +0000
- To: public-qt-comments@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=29586 --- Comment #9 from John Snelson <john.snelson@marklogic.com> --- (In reply to Tim Mills from comment #7) > I'm missing something here, because this seems contradicatory. Could you > also please elaborate on what breaks? Map types are not contravariant in the type of their keys, but function types are contravariant in the types of their arguments. Therefore map SequenceTypes cannot be considered to be subtypes of specific (ie: not function(*)) function SequenceTypes. -- You are receiving this mail because: You are the QA Contact for the bug.
Received on Tuesday, 3 May 2016 14:45:07 UTC