- env.getValue(POSSIBLE_RELATED_VALUE).getValue().createSpecialization(valueType),
- typeConstraintEvidenceParameters[0].toVal(env, w),
- expressions[0].toVal(env, w),
+ compilationContext.environment.getValue(POSSIBLE_RELATED_VALUE).getValue().createSpecialization(valueType),
+ typeConstraintEvidenceParameters[0].toVal(compilationContext, w),
+ expressions[0].toVal(compilationContext, w),