This isn't correct, and bear with me, because this is complicated.
When multiple receptacles are placed on the same branch circuit (for these loads, that's atypical), you are limited in the receptacles that may be connected. The code doesn't even list a 25A branch circuit, but following the guidelines for 40A circuits with 50A receptacles, an inspector would likely clear the installation of a NEMA 14-30. NEMA 10 series receptacles may only be used as a direct replacement, and new circuits may not use them under any circumstances anymore.
However, if a single receptacle is placed on a branch circuit (typical installations), the only rules that apply are that the receptacle and wiring must be rated at or above the branch circuit's rating, *AND* the branch circuit must be rated for the load that will be attached. And *that* is where you run into the code problem with the Tesla, because the use of the 14-50 adapter creates a minimum circuit size requirement of 50A (despite the fact you can "dial down" the current).
So, in summary - it is code-compliant for him to install a NEMA 14-50 receptacle to AWG 10 conductors attached to a 25A circuit breaker, because conductors and receptacle are rated above branch circuit overcurrent protection. Attaching the Tesla Model S to said receptacle is what breaks the NEC, because you're attaching a 50A nameplate load to a smaller circuit.
Now, should you insist on going down this path, well, dial it down! And be aware of insurance and liability implications should something happen.