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
24
25
26
27
28
29
30

use crate::records::substitution::Substitution;
use crate::type_aliases::type_id::TypeId;
use crate::type_aliases::type_pack_id::TypePackId;

/// Resolves the C++ overload that `Substitution::replace(std::optional<Ty>)`
/// dispatches to via `replace(*ty)`: `replace(TypeId)` or `replace(TypePackId)`.
pub trait ReplaceInSubstitution: Sized {
    fn replace_in(self, subst: &mut Substitution) -> Self;
}

impl ReplaceInSubstitution for TypeId {
    fn replace_in(self, subst: &mut Substitution) -> Self {
        subst.replace_type_id(self)
    }
}

impl ReplaceInSubstitution for TypePackId {
    fn replace_in(self, subst: &mut Substitution) -> Self {
        subst.replace_type_pack_id(self)
    }
}

impl Substitution {
    pub fn replace_optional_ty<Ty: ReplaceInSubstitution>(&mut self, ty: Option<Ty>) -> Option<Ty> {
        match ty {
            Some(inner) => Some(inner.replace_in(self)),
            None => None,
        }
    }
}