Remove unused definition

Author: odersky

compiler/src/dotty/tools/dotc/typer/Applications.scala

@@ -216,7 +216,6 @@ trait Applications extends Compatibility { self: Typer with Dynamic =>
       case methType: MethodType =>
         // apply the result type constraint, unless method type is dependent
         val resultApprox = resultTypeApprox(methType)
-        val savedConstraint = ctx.typerState.constraint
         if (!constrainResult(resultApprox, resultType))
           if (ctx.typerState.isCommittable)
             // defer the problem until after the application;