syntax_data: {"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     ///
context_before:     /// would detect this unsoundness.
context_after:     /// Every target that returns less than `Align::MAX` here is still has a soundness bug.