For example, using pin 50 on the Uno (which would work on the Mega).

This seems tricky to implement. We could try to parse the code, which is messy and complicated. We could also try to make all the relevant functions into macros, with pre-processor code to check for and range-check compile-time constant arguments.