Test #9415 (typecheck/should_fail/T9415)