`nav/Destination` is a protocol to say "this is how you navigate to this particular type of record".  But you're still using its name, not the record itself.  See other implementations of this.