syntax_data: {"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:         // if we disregard visibility.
context_before:         // Emit an extra note if the first uncovered witness would be uninhabited
context_after:         let witness_1_is_privately_uninhabited = if let Some(witness_1) = witnesses.get(0)