{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"//"}]}
                        // It's possible that the value behind the pointer is actually not exactly
                        let ty = actual_val.get_type();
                        // the expected type, so to go around that, we add a cast before