{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"//"}]}
                    // `!`).
                    // this implies that the type of the block will be
                    if this.diverges.is_always() {