It really could be either. See the paragraph below about mozilla/rust#7771