Testsuite: add typecheck/should_fail/T8034 (#8034)