syntax_data: {"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"}"}]}
source_snippet:             } else if cx.is_uninhabited(ty.inner()) {
context_before:                 err.note(format!("`{ty}` is marked as non-exhaustive, so a wildcard `_` is necessary to match exhaustively"));
context_after:                 // The type is uninhabited yet there is a witness: we must be in the `MaybeInvalid`