Test #13585 in typecheck/should_compile/T13585