On Tuesday, 23 February 2016 at 14:35:35 UTC, Adam D. Ruppe wrote:
There's no ambiguity there and no bug; it is working as defined. alias this is only ever invoked if the outer type doesn't fit. It does fit here, A is A, so no need to check alias this at all.
It's arguably the right design. Conservativeness can prevent a lot of stupidity. I don't have a an example at hand though...