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
20
21
22
23

use crate::type_aliases::name_type_infer::Name;
use luaur_common::records::dense_hash_table::{DenseEq, DenseHasher};

#[allow(non_camel_case_types)]
#[derive(Debug, Clone, Copy, Default, PartialEq, Eq, Hash)]
pub struct HashBoolNamePair {
    pub(crate) _unused: Option<core::convert::Infallible>,
}

// Wires the C++ `HashBoolNamePair` functor (TypeInfer.cpp:202, used as the
// `Hash` template parameter of `DenseHashSet<std::pair<bool, Name>, HashBoolNamePair>`)
// into the container's `DenseHasher`/`DenseEq` traits so the set is usable.
impl DenseHasher<(bool, Name)> for HashBoolNamePair {
    fn hash(&self, key: &(bool, Name)) -> usize {
        self.operator_call(key)
    }
}

impl DenseEq<(bool, Name)> for HashBoolNamePair {
    fn eq(&self, a: &(bool, Name), b: &(bool, Name)) -> bool {
        a == b
    }
}