@shd101wyy/yo 0.1.30 → 0.1.31

package/out/types/src/codegen/index.d.ts

@@ -31,7 +31,7 @@ export declare class CodeGenerator {
         release?: boolean;
         optimize?: "0" | "1" | "2" | "3";
         allocator?: "mimalloc" | "libc";
-        sanitize?: "address" | "leak";
+        sanitize?: "address" | "leak" | "thread";
         debugSymbols?: boolean;
         strip?: boolean;
         static?: boolean;

package/out/types/src/compiler-utils.d.ts

@@ -8,7 +8,7 @@ export interface CompilerInfo {
 }
 export declare function getCompilerInfo(compiler: string): CompilerInfo;
 export interface SanitizerOptions {
-    sanitize: "address" | "leak";
+    sanitize: "address" | "leak" | "thread";
     compilerInfo: CompilerInfo;
 }
 export interface SanitizerFlags {

package/out/types/src/evaluator/utils/closure.d.ts

@@ -11,11 +11,12 @@ export declare function consumeCapturedVariables({ capturedVariables, env, closu
     closureToken: Token;
 }): Environment;
 export declare function buildPathCollectionFromCapturedVariables(capturedVariables: Map<string, CapturedVariableInfo>): string[][];
-export declare function validateCaptureTraitRequirements({ wrapperType, captureType, env, errorToken, }: {
+export declare function validateCaptureTraitRequirements({ wrapperType, captureType, env, errorToken, capturedVariablesWithValues, }: {
     wrapperType: SomeType;
     captureType: StructType;
     env: Environment;
     errorToken: Token;
+    capturedVariablesWithValues?: Map<string, FunctionCapturedVariableInfo>;
 }): void;
 export declare function createCaptureTypeAndValue({ expectedCaptureType, capturedVariablesWithValues, env, closureToken, context, }: {
     expectedCaptureType: StructType | undefined;

package/out/types/src/evaluator/utils.d.ts

@@ -1,4 +1,7 @@
 import { type Environment, type Variable } from "../env";
 import { type Expr } from "../expr";
+import type { Type } from "../types/definitions";
+export declare function getRootExprOfFieldAccess(expr: Expr): Expr;
+export declare function getAtomicObjectRootType(rootExpr: Expr, env: Environment): Type | undefined;
 export declare function isValidVariableName(expr: Expr): boolean;
 export declare function findRcValueOwnerRelationship(rhs: Expr, env: Environment, _modulePath: string): Variable | undefined;

package/out/types/src/evaluator/values/impl.d.ts

@@ -3,6 +3,19 @@ import { type Expr, type FnCallExpr } from "../../expr";
 import type { FunctionType, SomeType, TraitField, TraitType, Type } from "../../types/definitions";
 import { type TraitValue, type UnknownValue, type Value } from "../../value";
 import type { EvaluatorContext } from "../context";
+interface NegativeGenericImpl {
+    forallParameters: ForallParameter[];
+    whereConstraints: {
+        someType: SomeType;
+        traitType: TraitType;
+        traitExpr?: Expr;
+    }[];
+    receiverTypePattern: Type;
+    traitType: TraitType;
+    sourceModulePath?: string;
+}
+export declare function hasNegativeImpl(typeId: string, traitTypeId: string): boolean;
+export declare function findMatchingNegativeGenericImpl(concreteType: Type, traitType: TraitType, env: Environment): NegativeGenericImpl | undefined;
 export type ForallParameter = {
     kind: "type";
     name: string;
@@ -90,3 +103,4 @@ export declare function evaluateImplBlock({ expr, env, context, }: {
     env: Environment;
     context: EvaluatorContext;
 }): FnCallExpr;
+export {};

package/out/types/src/tests/thread-safety-codegen.test.d.ts

@@ -0,0 +1 @@
+export {};