Implies operator

[Dukc]

On Monday, 13 September 2021 at 19:00:44 UTC, Dukc wrote:
>
> I have not seen any other posts by this account in other 
> threads. Could it be that the server just lagged half a 
> generation with processing his post?

Stupid me, can't be:

>     ```
>     pragma(inline) pure @safe @nogc nothrow
>     bool implies(in bool a, in bool b) {
>         return a <= b;
>     }
>     unittest {
>         static assert(false .implies (false));
>         static assert(false .implies (true));
>         static assert(! true .implies (false));
>         static assert(true .implies (true));
>     }
>     ```

`@nogc` was accepted in 2014 according to 
https://wiki.dlang.org/DIP60. And `pragma(inline)` in 2015. So 
that's it, this was a necrobump of at least 9 years.