The test case in #8753, even after fixing lint, does not actually apply the fixed_stack_segment attribute to the default method.