On Wed, May 27, 2020 at 1:27 AM Matej Novotny <manovotn(a)redhat.com> wrote:
Once again, please post questions like these to weld-dev mailing
Fair. Thanks for answering.
To answer you, I think both of the predicates would be illegal bean
It doesn't matter if you actually "hide" the wildcard inside another
OK, so "contains" truly means "contains": as the type is navigated,
occurrence of a wildcard encountered is illegal, no matter how "deep".
And this is because why, exactly? I'm sure there's a reason; my slow brain
is just not seeing it this morning.