exhaust deprecated@deprecatedRenamed to exhaustAll. Will be removed in v8. const exhaust: exhaustAll;