{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"//"}]}
        // If no `Return` terminator exists, this MIR is divergent. Just return the conservative
        //
        // qualifs for the return type.