D's borrow checker simply keys off of the existing syntax:

    const a = 1; // a is immutable
    auto b = 1;   // b is mutable
    const(int)* p; // pointer to const
    int* q;  // pointer to mutable

There's no new syntax, the borrow checker just adds a layer of checks.