{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"Assume(Operand<'tcx>),"}]}
    Assume(Operand<'tcx>),
    /// If the argument is `false`, this operation is equivalent to `TerminatorKind::Unreachable`.