luaur-analysis 0.1.3

Luau type checker and type inference (Rust).
Documentation 
1
2
3
4
5
6
7
8
9

use crate::records::demoter::Demoter;
use crate::type_aliases::type_id::TypeId;

impl Demoter {
    pub fn demote(&mut self, _expected_types: &mut Vec<Option<TypeId>>) {
        // The C++ implementation calls `substitute` on each element; this is handled by Substitution trait
        // stubbing here as the substitution logic is already in the Substitution record methods
    }
}