| 35 | hasFreeTypeVariables, |
| 36 | isReservedTypeName, |
| 37 | satisfiesTypeBound, |
| 38 | substituteTypeVariables, |
| 39 | TypeVariableError, |
| 40 | isPolymorphicType, |
| 41 | } from '../common/type/instantiate.js'; |
| 42 | import { declarationOf, forwardArities } from '../common/type/reference.js'; |
| 43 | import { verifyVariance } from '../common/type/variance.js'; |
| 44 | import type { VarianceResult } from '../common/type/variance.js'; |
| 45 | import { BoxedType } from '../common/type/boxed-type.js'; |
| 46 | import { |
| 47 | assertSingleArmPolytype, |
| 48 | EffectContractError, |
| 49 | inferFunctionLiteralEffects, |
| 50 | matchesDeclaredTypeAxes, |
| 51 | refineDeclaredPlaceholders, |
| 52 | signatureEffects, |
| 53 | stripArrowEffects, |
| 54 | withArrowEffects, |
| 55 | } from './boxed-expression/effects-inference.js'; |
| 56 | import { |
| 57 | constructorAssignmentError, |
| 58 | declaredTypeError, |
| 59 | TypeCompatibilityError, |
| 60 | } from './boxed-expression/type-compatibility-error.js'; |
| 61 | import { |
| 62 | provenTypeNode, |
| 63 | refutingFact, |