[bjourne]

Sure, if the compiler can prove that the objects are thread-local. But that's not the general case.