wip

DedSec256 · DedSec256 · commit e27d3d9bc2f8 · 2025-09-24T01:59:45.000+03:00
diff --git a/src/Compiler/Checking/ConstraintSolver.fs b/src/Compiler/Checking/ConstraintSolver.fs
@@ -1448,7 +1448,7 @@ and SolveTypeEqualsTypeWithContravarianceEqns (csenv:ConstraintSolverEnv) ndeep
 and SolveFunTypeEqn csenv ndeep m2 trace cxsln domainTy1 domainTy2 rangeTy1 rangeTy2 =
     trackErrors {
         let g = csenv.g
-        let domainTy1 = reqTyForArgumentNullnessInference g domainTy2 domainTy1
+        let domainTy2 = reqTyForArgumentNullnessInference g domainTy1 domainTy2
         do! SolveTypeEqualsTypeKeepAbbrevsWithCxsln csenv ndeep m2 trace cxsln domainTy1 domainTy2
         return! SolveTypeEqualsTypeKeepAbbrevsWithCxsln csenv ndeep m2 trace cxsln rangeTy1 rangeTy2
     }

Original file line number	Diff line number	Diff line change
`@@ -1448,7 +1448,7 @@ and SolveTypeEqualsTypeWithContravarianceEqns (csenv:ConstraintSolverEnv) ndeep`
`1448`	`1448`	`and SolveFunTypeEqn csenv ndeep m2 trace cxsln domainTy1 domainTy2 rangeTy1 rangeTy2 =`
`1449`	`1449`	`trackErrors {`
`1450`	`1450`	`let g = csenv.g`
`1451`		`- let domainTy1 = reqTyForArgumentNullnessInference g domainTy2 domainTy1`
	`1451`	`+ let domainTy2 = reqTyForArgumentNullnessInference g domainTy1 domainTy2`
`1452`	`1452`	`do! SolveTypeEqualsTypeKeepAbbrevsWithCxsln csenv ndeep m2 trace cxsln domainTy1 domainTy2`
`1453`	`1453`	`return! SolveTypeEqualsTypeKeepAbbrevsWithCxsln csenv ndeep m2 trace cxsln rangeTy1 rangeTy2`
`1454`	`1454`	`}`