syntax_data: {"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// - Return a [PointerCheck] that contains the condition and an [AssertKind].
context_before: /// - Append [LocalDecl]s to `local_decls`.
context_after: ///   The AssertKind must be a panic with `#[rustc_nounwind]`. The condition