syntax_data: {"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:         /// Constructs an `Assume` from a given const-`Assume`.
context_before:     impl Assume {
context_after:         pub fn from_const<'tcx>(tcx: TyCtxt<'tcx>, ct: Const<'tcx>) -> Option<Self> {