On Tuesday, 17 July 2018 at 14:41:06 UTC, ag0aep6g wrote: > On 07/17/2018 03:03 PM, aliak00 wrote: >> [...] > > In a UDA `@implicit`, `implicit` is just a normal symbol. So > the normal lookup rules apply. In particular, you can shadow an > imported `implicit` with a local one: > > [...] Ah, gotcha! Thank you!