just use `(tc | TC::InteriorUnsafe) - TC::ReachesNoShare`