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