오병진

fix(ts/analyzer): Update normalize intersection condition about return never

1

**Description:** ```rs let is_str = types.iter().any(|ty| ty.is_str()); let is_num = types.iter().any(|ty| ty.is_num()); let is_bool = types.iter().any(|ty| ty.is_bool()); let is_enum_variant = types.iter().any(|ty| ty.is_enum_variant()); if u32::from(is_str) + u32::from(is_num) + u32::from(is_bool) >= 2...

**Description:** Resolve IntersectionReduction **BREAKING CHANGE:** if rhs.isAny, check `to` is never if `to` is Never and rhs.isAny, fail! and LValue is Intersection 1. represent `intersection_normalize` 2. Fix if property is...

**Description:** resolve #376

feat(ts/analzer): intersection reduction

5

**Description:** Resolve IntersectionReduction **BREAKING CHANGE:** if rhs.isAny, check `to` is never if `to` is Never and rhs.isAny, fail! and LValue is Intersection 1. represent `intersection_normalize` 2. Fix if property is...

Check preemptive circulation reference to prevent overflow

1

```ts type NonOptionalKeys = { [P in keyof T]: undefined extends T[P] ? never : P }[keyof T]; type Child = { [P in NonOptionalKeys]: T[P] } export interface ListWidget...

The following are the following: ```ts interface A { a: string; } interface B { b: string; } interface C { c: string; } interface D { d: string; }...

The detail CONTRIBUTING.md

3

## Feature Request Your document is excellent. It will be sufficient for experienced individuals. However, it is anticipated that there will be significant difficulties for newbies in understanding the structure....

```rs #[validator] impl Analyzer { fn validate(&mut self, d: &RTsInterfaceDecl) -> VResult { let ty = self.with_child(ScopeKind::Flow, Default::default(), |child: &mut Analyzer| -> VResult { match &*d.id.sym { "any" | "void"...

```ts //@Filename: decls.ts // Ambient external module with export assignment declare module 'equ' { var x; export = x; } declare module 'equ2' { var x: number; } // Ambient...