Fixing #3193 (honoring implicit arguments in local definitions).