Fixed type assertions for default parameters and destructuring parameters