{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"///"}]}
    /// Presuming that coherence and type-check have succeeded, if this method is invoked
    ///
    /// in a monomorphic context (i.e., like during codegen), then it is guaranteed to return