Re: [scala] compound types conformance

> When implementing scala plugin for intellij we came across the issue with
> computing conformance relation between compound types. The spec says that
> 1) A compound type T1 with . . . with Tn {R } conforms to each of its
> component
> types Ti .
> 2) If T <:Ui for i = 1, . . . , n and for every binding d of a type or value
> x in R there
> exists a member binding of x in T which subsumes d, then T conforms to the
> compound type U1 with . . . with Un {R }.
>
> Clearly case 1 does not apply for computing conformance for 2 compounds.
> Case 2 does not seem to apply either, since member bindings for compound
> types do not include structural declarations defined in the type.