On 12/26/14 12:37 PM, Walter Bright wrote:
On 12/23/2014 10:17 PM, Andrei Alexandrescu wrote:In fact a better thought: as soon as D is defined, repeated subtyping should be detected as an error. Then there's no question about "is" in the first place :o).That's a good idea, but I think it is unworkable. What is the set of types that B is implicitly convertible too? It's unbounded.
I think it's bounded. Example to the contrary? -- Andrei
