2017-05-26 10:35 GMT+02:00 Andrey Andreev <n...@devilix.net>: > Hi, > > On Thu, May 25, 2017 at 11:02 PM, Dan Ackroyd <dan...@basereality.com> > wrote: > > > > The RFC specifically didn't mention LSP....because that is separate > > from co/contravariance. It's unfortunate for other people to be > > throwing the two around at you with a lack of precision. > > > > Perhaps this was the issue ... I was under the impression that LSP was > used as (part of) the motivation for the RFC. > > The rest is pretty clear, though thanks for the lengthy explanation. :)
Sorry for the delay and confusion. As Nikita already mentioned, it's a consequence of LSP, not directly what LSP is about. Regards, Niklas
