Could this actually be changed to a compile-fail test to ensure that it still fails in the situation that `fixed_stack_segment` is omitted on a default method?