{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// Emits an `assume` that the integer value `imm` of type `ty` is contained in `range`.
    /// This *always* emits the assumption, so you probably want to check the