В каком смысле откатиться, например, в таком можно?
std::string foo(abs_path const& a, abs_path const& b) {
   return static_cast<std::string const&>(a) + static_cast<std::string const&>(b);
}

// Type your code here, or load an example.
import std.typecons: Proxy;

struct T1 {
   private int m_v;
   this(int _v) { m_v = _v; }
   mixin Proxy!(m_v);
}

struct T2 {
   private int m_v;
   this(int _v) { m_v = _v; }
   mixin Proxy!(m_v);
}

void t(int v) {

}

void main() {
   T1 t1 = T1(1);
   T2 t2 = T2(2);
   int v = t1/t2;
   t(cast(int)t1);
   t(t1);
}

// Type your code here, or load an example.
import std.typecons: Proxy;

struct AbsolutePath {
   private string m_path;
   mixin Proxy!m_path;

   this (string path) {
       m_path = path;
   }

   @disable void opBinary(string op)(AbsolutePath ) if (op == "/");

   AbsolutePath opBinary(string op)(string relative) if (op == "/") {
       return AbsolutePath(m_path ~ "/" ~ relative);
   }
}

void main() {
   AbsolutePath path = AbsolutePath("/dev");
   auto dev_sys = path / "sys";
   assert(!__traits(compiles, path / AbsolutePath("/sys")));
   
   
}