syntax_data: {"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// After analysis, mostly during codegen and MIR optimizations, we're able to
context_before:     PostBorrowckAnalysis { defined_opaque_types: I::LocalDefIds },
context_after:     /// reveal all opaque types. As the concrete type should *never* be observable