{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"///"}]}
///
/// Emits an `assume` call that `imm`'s value is within the known range of `scalar`.
/// If `known` is `Some`, only emits the assume if it's more specific than