I was not saying it does not work. I mentioned it because it seems now out of context within the new concept that tries to get rid of the word implicit (and also possibly improve the way we can control the generated error messages).
Additionally, what should we do about DummyImplicit? I feel that to use DummyImplicit to create unique definition signature (after erasure) is a bad workaround and a feature abuse. Can’t we handle it in some other way like introducing a soft keyword unique def?