Skip to main content

assert_reasoning_valid

luaur_analysis::functions::assert_reasoning_valid_subtyping

Function assert_reasoning_valid 

Source 
pub fn assert_reasoning_valid<TID>(
    sub_ty: TID,
    super_ty: TID,
    result: &SubtypingResult,
    builtin_types: *mut BuiltinTypes,
    arena: *mut TypeArena,
)