Skip to content

Commit

Permalink
bug fix
Browse files Browse the repository at this point in the history
Reviewed By: VLanvin

Differential Revision: D57249553

fbshipit-source-id: 813889db5d591a9b72688648d2e0cdd26880fa67
  • Loading branch information
ilya-klyuchnikov authored and facebook-github-bot committed May 13, 2024
1 parent ec3c430 commit 266a1dd
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -542,7 +542,7 @@ final class Check(pipelineContext: PipelineContext) {
val (argTys, env1) = elab.elabExprs(args, env)
var ftResTy = elabApply.elabApply(ft, args, argTys, env1)
if (CustomReturn.isCustomReturn(funId))
ftResTy = CustomReturn.customizeResultType(funId, args, resTy)
ftResTy = CustomReturn.customizeResultType(funId, args, ftResTy)
if (!subtype.subType(ftResTy, resTy))
diagnosticsInfo.add(ExpectedSubtype(expr.pos, expr, expected = resTy, got = ftResTy))
env1
Expand Down

0 comments on commit 266a1dd

Please sign in to comment.