We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent afaf981 commit 91ca4baCopy full SHA for 91ca4ba
compiler/src/dotty/tools/dotc/typer/ProtoTypes.scala
@@ -79,8 +79,10 @@ object ProtoTypes {
79
* achieved by replacing expected type parameters with wildcards.
80
*/
81
def constrainResult(meth: Symbol, mt: Type, pt: Type)(implicit ctx: Context): Boolean =
82
- if (Inliner.isTransparentInlineable(meth))
83
- constrainResult(mt, wildApprox(pt)) || true
+ if (Inliner.isTransparentInlineable(meth)) {
+ constrainResult(mt, wildApprox(pt))
84
+ true
85
+ }
86
else constrainResult(mt, pt)
87
}
88
0 commit comments