Remove `Empty` type
Clarification and motivation
Empty
type is going to be deprecated in favor of Never
in #374 (closed), and we give some time for depending project to update before we remove Empty
altogether.
Let's in the comments track all the tickets that should be resolved before this ticket can be started.
Acceptance criteria
-
Empty
module is removed. -
TODO
s are resolved.
Edited by Konstantin Ivanov