None

data object None : TeardownFault

Teardown is delegated straight through — the pre-#2501 behaviour, and the default.