Do not discard the result of constrainResult

julienrf · julienrf · commit 72bfe2beeefb · 2023-06-13T10:56:48.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/typer/ProtoTypes.scala b/compiler/src/dotty/tools/dotc/typer/ProtoTypes.scala
@@ -114,7 +114,6 @@ object ProtoTypes {
     def constrainResult(meth: Symbol, mt: Type, pt: Type)(using Context): Boolean =
       if (Inlines.isInlineable(meth)) {
         constrainResult(mt, wildApprox(pt))
-        true
       }
       else constrainResult(mt, pt)
   }

Original file line number	Diff line number	Diff line change
`@@ -114,7 +114,6 @@ object ProtoTypes {`
`114`	`114`	`def constrainResult(meth: Symbol, mt: Type, pt: Type)(using Context): Boolean =`
`115`	`115`	`if (Inlines.isInlineable(meth)) {`
`116`	`116`	`constrainResult(mt, wildApprox(pt))`
`117`		`- true`
`118`	`117`	`}`
`119`	`118`	`else constrainResult(mt, pt)`
`120`	`119`	`}`