occursCheck() — react Function Reference

Architecture documentation for the occursCheck() function in InferTypes.ts from the react codebase.

Function typescript MIRInfrastructure HIR calls 1 called by 1

Entity Profile

MIRInfrastructure→ HIR→ occursCheck() — react Function Reference

Dependency Diagram

graph TD
  aa93304b_656c_028f_c640_ad8396517027["occursCheck()"]
  e91596b5_bd35_ace7_a141_7dbab722b96d["Unifier"]
  aa93304b_656c_028f_c640_ad8396517027 -->|defined in| e91596b5_bd35_ace7_a141_7dbab722b96d
  6938eece_f870_22b1_d136_01eb0a26f7b9["bindVariableTo()"]
  6938eece_f870_22b1_d136_01eb0a26f7b9 -->|calls| aa93304b_656c_028f_c640_ad8396517027
  f0603215_bdb0_88a0_8649_8c18b423f04f["get()"]
  aa93304b_656c_028f_c640_ad8396517027 -->|calls| f0603215_bdb0_88a0_8649_8c18b423f04f
  style aa93304b_656c_028f_c640_ad8396517027 fill:#6366f1,stroke:#818cf8,color:#fff

Relationship Graph

Source Code

compiler/packages/babel-plugin-react-compiler/src/TypeInference/InferTypes.ts lines 794–810

  occursCheck(v: TypeVar, type: Type): boolean {
    if (typeEquals(v, type)) return true;

    if (type.kind === 'Type' && this.substitutions.has(type.id)) {
      return this.occursCheck(v, this.substitutions.get(type.id)!);
    }

    if (type.kind === 'Phi') {
      return type.operands.some(o => this.occursCheck(v, o));
    }

    if (type.kind === 'Function') {
      return this.occursCheck(v, type.return);
    }

    return false;
  }