62d96adc6b
The header is largely for internal use, however, it must be exported because the header! macro uses it. As deref! is also a particularly general name, this renames it to __hyper__deref! to prevent name clashes. BREAKING CHANGE: If you use deref! from the header module, you'll need to switch to using __hyper__deref!.