{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// Emits an `assume` that the `val` of pointer type is non-null.
    /// You may want to check the optimization level before bothering calling this.