Refactors the supporting types for Method to extract the uses of unsafe into a smaller leaf sub-module (called extension) that encapsulates these two uses of unsafe into a safe abstraction. Documents the invariants of the safe abstraction that ensure that the uses of unsafe are sound.
Refactors the supporting types for Method to extract the uses of
unsafeinto a smaller leaf sub-module (calledextension) that encapsulates these two uses ofunsafeinto a safe abstraction. Documents the invariants of the safe abstraction that ensure that the uses ofunsafeare sound.