syntax_data: {"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:                 // The type is uninhabited yet there is a witness: we must be in the `MaybeInvalid`
context_before:             } else if cx.is_uninhabited(ty.inner()) {
context_after:                 // case.