Module lint_and_remove_uninhabited 

Structs

LintAndRemoveUninhabited 🔒

Lint unreachable code due to uninhabited values from function calls, and remove return edges from those calls.

Functions

find_unreachable_code_from 🔒

Starting at a target unreachable block, find some user code to lint as unreachable