ADL

[Andrei Alexandrescu via Digitalmars-d]

On 9/3/16 7:38 PM, Tobias Müller wrote:
> Andrei Alexandrescu <SeeWebsiteForEmail at erdani.org> wrote:
>> On 9/3/16 7:08 PM, Tobias M wrote:
>>> On Saturday, 3 September 2016 at 16:33:07 UTC, Andrei Alexandrescu wrote:
>>>> I see. This is a matter orthogonal to DbI - introspection should be
>>>> able to figure out whether a member can be found, or a nonmember if
>>>> the design asks for it. I wouldn't like "tricking" DbI into thinking a
>>>> member is there when there isn't. -- Andrei
>>>
>>> The problem I see with DbI is rather that the user of a function thinks
>>> that an optional constraint is satisfied, while in reality it isn't, due
>>> to a non-obvious lookup/visibility problem.
>>
>> At some point there's a need to RTFM. -- Andrei
>
> Is there one for DbI? (Sincere question)

Not yet. We have the allocators body of work, but that's too niche to 
serve as a general example. I think std.experimental.checkedint will be 
the canonical example on how to do DbI. I'll propose a blog post to 
Mike. -- Andrei