Nix develop <path-to-profile> doesn't start the already built shell?

Help
2

I don’t fully understand it, but vaguely:

  1. nix develop command hard-codes its entry point as nixpkgs#bashInteractive. See nix/src/nix/develop.cc at 7caac53ae47100e10d836fbd194ed45e83c467fe · NixOS/nix · GitHub

  2. Therefore, each time you run nix develop, it re-evaluates nixpkgs#bashInteractive

I may have run into a similar issue: mkShell overrides diffutils overrides?

Perhaps @dramforever or @emily can chime in to comment on what I said?