Test #13435 in typecheck/should_run/T13435