add test for final formal parameter