Candidates for should-not-typecheck