disable tls with Box::leak test on solaris/illumos.

[devnexen]

on these platforms, thread_local is disabled as there is no support for cleanup callback, the test is leaking here.

[saethlin]

Instead of ignoring the test on the target, can you add -Zmiri-ignore-leaks using the revisions system such as done in this test:

miri/tests/pass/tree_borrows/tree-borrows.rs

Lines 1 to 3 in 60a7200

	//@revisions: default uniq
	//@compile-flags: -Zmiri-tree-borrows
	//@[uniq]compile-flags: -Zmiri-unique-is-unique

[saethlin]

I think you need multiple revisions as in the example. Does the test now fail on Linux if you add a leak to it?

[RalfJung]

I don't see why this test should be ignored on Solarish. It shows that we are not properly recognizing main thread TLS variables as being allowed-to-leak -- that should be fixed, not ignored. There is no cleanup callback called here on any platform, since Cell<Option<&'static i32>> has no destructor -- that's the entire point.

[RalfJung]

Also, other tests like tls_macro_drop and tls_static work fine. "on these platforms, thread_local is disabled" does not seem to be correct. The cleanup callback is called when it is needed. So I don't follow your PR description either.