syntax_data: {"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// fail the assert and an [AssertKind] that defines the behavior on failure.
context_before: /// Details of a pointer check, the condition on which we decide whether to
context_after: pub(crate) struct PointerCheck<'tcx> {