pub fn assert_reasoning_valid_deprecated<TID>(
sub_ty: TID,
super_ty: TID,
result: &SubtypingResult,
builtin_types: *mut BuiltinTypes,
)pub fn assert_reasoning_valid_deprecated<TID>(
sub_ty: TID,
super_ty: TID,
result: &SubtypingResult,
builtin_types: *mut BuiltinTypes,
)