{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"///"}]}
    /// `x < y` operation, subsequent operations on `x` and `y` could elide various bound checks.
    /// computation to infer information about other variables. So if the boolean came from a
    /// If the argument is `false`, this operation is equivalent to `TerminatorKind::Unreachable`.