luaur-analysis 0.1.3

Luau type checker and type inference (Rust).
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

//! Node: `cxx:Method:Luau.Analysis:Analysis/src/ToString.cpp:201:stringifier_state_unsee`
//! Source: `Analysis/src/ToString.cpp:201-207` (hand-ported)
//!
//! C++ `void unsee(const void* tv)` — really erases (Luau::Set supports
//! erase). An earlier translation wired this to the DenseHashSet no-op
//! `unsee`, which made every repeated sibling type print `*CYCLE*`.

use crate::records::stringifier_state::StringifierState;
use core::ffi::c_void;

impl StringifierState {
    pub fn unsee(&mut self, tv: *const c_void) {
        let ttv = tv as *mut c_void;

        if self.seen.contains(&ttv) {
            self.seen.erase(&ttv);
        }
    }
}