On Sunday, August 21, 2016 at 5:50:52 PM UTC-7, Axel Wagner wrote:
>
> Yes. When you save A in a variable (or parameter) of type C, the compiler
> emits code to create an interface value and puts a pointer to A in it
> (together with a dispatch table for the interface functions, AIUI). But
> th
I had deleted the question, planning on expanding before reposting,
On Sunday, August 21, 2016 at 12:00:51 PM UTC-7, Axel Wagner wrote:
>
> I think if you want this to happen (you're far from the first, there is
> even a github-issue, AFAIK, but I'm too lazy to find it right now) you also
>
In the FAQ entry for *Why doesn't type T satisfy the Equal interface?*, an
assertion is made that full-on subtypes are required in order to determine
if the interface can be satisfied.
While a subtypes capability would be sufficient, is it essential? The
requirement for subtypes would appear
