findLastSplit

const h = "a**b**c";
const r = h.findLastSplit("**");
assert(r);
assert(r.pre is h[0 .. 4]);
assert(r.separator is h[4 .. 6]);
assert(r.post is h[6 .. 7]);

auto f()() @safe pure nothrow { char[1] x = "_"; return x[].findLastSplit(" "); }
static if (isDIP1000) static assert(!__traits(compiles, { auto _ = f(); }));

const h = "a**b**c";
const r = h.findLastSplit("_");
static assert(r.sizeof == 2 * 2 * size_t.sizeof);
assert(!r);
assert(r.pre is h);
assert(r.separator is h[$ .. $]);
assert(r.post is h[$ .. $]);

const r = "a*b*c".findLastSplit('*');
static assert(r.sizeof == 3 * size_t.sizeof);
assert(r);
assert(r.pre == "a*b");
assert(r.separator == "*");
assert(r.post == "c");

auto f()() @safe pure nothrow { char[1] x = "_"; return x[].findLastSplit(' '); }
static if (isDIP1000) static assert(!__traits(compiles, { auto _ = f(); }));

char[] f() @safe pure nothrow
{
    char[3] haystack = "a*b";
    auto r = haystack[].findLastSplit('*');
    static assert(is(typeof(r.pre()) == char[]));
    return r.pre();         // TODO this should fail
}