Move database activity guard into the type system #7
Description
Rather than stick with Database as a simple type, it should carry along an uninhabited type indicating whether it has an active activity or not.
{{ message }}
Rather than stick with Database as a simple type, it should carry along an uninhabited type indicating whether it has an active activity or not.