equal
deleted
inserted
replaced
237 } else if (allowPoly && inferenceContext.free(found)) { |
237 } else if (allowPoly && inferenceContext.free(found)) { |
238 //delay the check if there are inference variables in the found type |
238 //delay the check if there are inference variables in the found type |
239 //this means we are dealing with a partially inferred poly expression |
239 //this means we are dealing with a partially inferred poly expression |
240 owntype = shouldCheck ? resultInfo.pt : found; |
240 owntype = shouldCheck ? resultInfo.pt : found; |
241 if (resultInfo.checkMode.installPostInferenceHook()) { |
241 if (resultInfo.checkMode.installPostInferenceHook()) { |
242 inferenceContext.addFreeTypeListener(List.of(found, resultInfo.pt), |
242 inferenceContext.addFreeTypeListener(List.of(found), |
243 instantiatedContext -> { |
243 instantiatedContext -> { |
244 ResultInfo pendingResult = |
244 ResultInfo pendingResult = |
245 resultInfo.dup(inferenceContext.asInstType(resultInfo.pt)); |
245 resultInfo.dup(inferenceContext.asInstType(resultInfo.pt)); |
246 check(tree, inferenceContext.asInstType(found), ownkind, pendingResult); |
246 check(tree, inferenceContext.asInstType(found), ownkind, pendingResult); |
247 }); |
247 }); |