{"ast_node_type":"variable","tokens":[{"end":42,"kind":"keyword","start":0,"text":"let"}]}
        let instance_args = instance.args;
    ) -> InterpResult<'tcx, bool> {
        let intrinsic_name = self.tcx.item_name(instance.def_id());