type-annotated tuple assignment

[scabug]

Aladdin: [http://scala-webapps.epfl.ch/bugtracking/contribs/display.do?id=745 contrib 745]

== Code ==

val (a,b):(int,int) = { println("hello"); (2,3) }

== What happened ==

scala> val (a,b):(int,int) = { println("hello"); (2,3) }
exception when transforming  private[this] val x$$0: (Int, Int) = ({
  scala.this.Predef.println("hello");
  new (Int, Int)(2, 3)
}: @unchecked (Int, Int)) match {
  case ((Int,Int)(Int, Int)((a @ _), (b @ _)): (Int, Int)) => new (Int, Int)(a, b)
}
exception when transforming java.lang.Object with ScalaObject {
  def this(): object $$iw.this.$$iw = {
    $$iw.super.this();
    ()
  };
   private[this] val x$$0: (Int, Int) = ({
    scala.this.Predef.println("hello");
    new (Int, Int)(2, 3)
  }: @unchecked (Int, Int)) match {
    case ((Int,Int)(Int, Int)((a @ _), (b @ _)): (Int, Int)) => new (Int, Int)(a, b)
  };
  private[this] val a: Int = $$iw.this.x$$0._1();
    def a(): Int = $$iw.this.a;
  private[this] val b: Int = $$iw.this.x$$0._2();
    def b(): Int = $$iw.this.b
}
exception when transforming final class $$iw extends java.lang.Object with ScalaObject {
  def this(): object $$iw.this.$$iw = {
    $$iw.super.this();
    ()
  };
   private[this] val x$$0: (Int, Int) = ({
    scala.this.Predef.println("hello");
    new (Int, Int)(2, 3)
  }: @unchecked (Int, Int)) match {
    case ((Int,Int)(Int, Int)((a @ _), (b @ _)): (Int, Int)) => new (Int, Int)(a, b)
  };
  private[this] val a: Int = $$iw.this.x$$0._1();
    def a(): Int = $$iw.this.a;
  private[this] val b: Int = $$iw.this.x$$0._2();
    def b(): Int = $$iw.this.b
}
exception when transforming java.lang.Object with ScalaObject {
  def this(): object $$iw = {
    $$iw.super.this();
    ()
  };
  final class $$iw extends java.lang.Object with ScalaObject {
    def this(): object $$iw.this.$$iw = {
      $$iw.super.this();
      ()
    };
     private[this] val x$$0: (Int, Int) = ({
      scala.this.Predef.println("hello");
      new (Int, Int)(2, 3)
    }: @unchecked (Int, Int)) match {
      case ((Int,Int)(Int, Int)((a @ _), (b @ _)): (Int, Int)) => new (Int, Int)(a, b)
    };
    private[this] val a: Int = $$iw.this.x$$0._1();
      def a(): Int = $$iw.this.a;
    private[this] val b: Int = $$iw.this.x$$0._2();
      def b(): Int = $$iw.this.b
  }
}
exception when transforming final class $$iw extends java.lang.Object with ScalaObject {
  def this(): object $$iw = {
    $$iw.super.this();
    ()
  };
  final class $$iw extends java.lang.Object with ScalaObject {
    def this(): object $$iw.this.$$iw = {
      $$iw.super.this();
      ()
    };
     private[this] val x$$0: (Int, Int) = ({
      scala.this.Predef.println("hello");
      new (Int, Int)(2, 3)
    }: @unchecked (Int, Int)) match {
      case ((Int,Int)(Int, Int)((a @ _), (b @ _)): (Int, Int)) => new (Int, Int)(a, b)
    };
    private[this] val a: Int = $$iw.this.x$$0._1();
      def a(): Int = $$iw.this.a;
    private[this] val b: Int = $$iw.this.x$$0._2();
      def b(): Int = $$iw.this.b
  }
}
exception when transforming java.lang.Object with ScalaObject {
  def this(): object line1$$object = {
    line1$$object.super.this();
    ()
  };
  final class $$iw extends java.lang.Object with ScalaObject {
    def this(): object $$iw = {
      $$iw.super.this();
      ()
    };
    final class $$iw extends java.lang.Object with ScalaObject {
      def this(): object $$iw.this.$$iw = {
        $$iw.super.this();
        ()
      };
       private[this] val x$$0: (Int, Int) = ({
        scala.this.Predef.println("hello");
        new (Int, Int)(2, 3)
      }: @unchecked (Int, Int)) match {
        case ((Int,Int)(Int, Int)((a @ _), (b @ _)): (Int, Int)) => new (Int, Int)(a, b)
      };
      private[this] val a: Int = $$iw.this.x$$0._1();
        def a(): Int = $$iw.this.a;
      private[this] val b: Int = $$iw.this.x$$0._2();
        def b(): Int = $$iw.this.b
    }
  }
}
exception when transforming final class line1$$object extends java.lang.Object with ScalaObject {
  def this(): object line1$$object = {
    line1$$object.super.this();
    ()
  };
  final class $$iw extends java.lang.Object with ScalaObject {
    def this(): object $$iw = {
      $$iw.super.this();
      ()
    };
    final class $$iw extends java.lang.Object with ScalaObject {
      def this(): object $$iw.this.$$iw = {
        $$iw.super.this();
        ()
      };
       private[this] val x$$0: (Int, Int) = ({
        scala.this.Predef.println("hello");
        new (Int, Int)(2, 3)
      }: @unchecked (Int, Int)) match {
        case ((Int,Int)(Int, Int)((a @ _), (b @ _)): (Int, Int)) => new (Int, Int)(a, b)
      };
      private[this] val a: Int = $$iw.this.x$$0._1();
        def a(): Int = $$iw.this.a;
      private[this] val b: Int = $$iw.this.x$$0._2();
        def b(): Int = $$iw.this.b
    }
  }
}
exception when transforming package  {
  final class line1$$object extends java.lang.Object with ScalaObject {
    def this(): object line1$$object = {
      line1$$object.super.this();
      ()
    };
    final class $$iw extends java.lang.Object with ScalaObject {
      def this(): object $$iw = {
        $$iw.super.this();
        ()
      };
      final class $$iw extends java.lang.Object with ScalaObject {
        def this(): object $$iw.this.$$iw = {
          $$iw.super.this();
          ()
        };
         private[this] val x$$0: (Int, Int) = ({
          scala.this.Predef.println("hello");
          new (Int, Int)(2, 3)
        }: @unchecked (Int, Int)) match {
          case ((Int,Int)(Int, Int)((a @ _), (b @ _)): (Int, Int)) => new (Int, Int)(a, b)
        };
        private[this] val a: Int = $$iw.this.x$$0._1();
          def a(): Int = $$iw.this.a;
        private[this] val b: Int = $$iw.this.x$$0._2();
          def b(): Int = $$iw.this.b
      }
    }
  }
}
Exception in thread "main" java.lang.NullPointerException
        at scala.tools.nsc.matching.PatternNodes$$CaseEnv.newBoundVar(PatternNodes.scala:547)
        at scala.tools.nsc.matching.PatternMatchers$$PatternMatcher.patternNode(PatternMatchers.scala:426)
        at scala.tools.nsc.matching.PatternMatchers$$PatternMatcher.enter1(PatternMatchers.scala:633)
        at scala.tools.nsc.matching.PatternMatchers$$PatternMatcher.enter(PatternMatchers.scala:303)
        at scala.tools.nsc.matching.PatternMatchers$$PatternMatcher$$$$anonfun$$3.apply(PatternMatchers.scala:216)
        at scala.tools.nsc.matching.PatternMatchers$$PatternMatcher$$$$anonfun$$3.apply(PatternMatchers.scala:216)
        at scala.List.foreach(List.scala:712)
        at scala.tools.nsc.matching.PatternMatchers$$PatternMatcher.constructIncremental(PatternMatchers.scala:216)
        at scala.tools.nsc.matching.PatternMatchers$$PatternMatcher.construct(PatternMatchers.scala:162)
        at scala.tools.nsc.matching.TransMatcher$$class.handlePattern(TransMatcher.scala:298)
        at scala.tools.nsc.transform.ExplicitOuter.handlePattern(ExplicitOuter.scala:19)
        at scala.tools.nsc.transform.ExplicitOuter$$ExplicitOuterTransformer.transform(ExplicitOuter.scala:435)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$23.apply(Trees.scala:1217)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$23.apply(Trees.scala:1217)
        at scala.tools.nsc.ast.Trees$$Transformer.atOwner(Trees.scala:1333)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:33)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:27)
        at scala.tools.nsc.ast.Trees$$Transformer.transform(Trees.scala:1216)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.transform(TypingTransformers.scala:46)
        at scala.tools.nsc.transform.ExplicitOuter$$OuterPathTransformer.transform(ExplicitOuter.scala:207)
        at scala.tools.nsc.transform.ExplicitOuter$$ExplicitOuterTransformer.transform(ExplicitOuter.scala:456)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$33.apply(Trees.scala:1327)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$33.apply(Trees.scala:1325)
        at scala.List$$.loop$$0(List.scala:244)
        at scala.List$$.mapConserve(List.scala:261)
        at scala.tools.nsc.ast.Trees$$Transformer.transformStats(Trees.scala:1325)
        at scala.tools.nsc.ast.Trees$$Transformer.transform(Trees.scala:1237)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.scala$$tools$$nsc$$transform$$TypingTransformers$$TypingTransformer$$$$super$$transform(TypingTransformers.scala:44)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer$$$$anonfun$$0.apply(TypingTransformers.scala:44)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer$$$$anonfun$$0.apply(TypingTransformers.scala:44)
        at scala.tools.nsc.ast.Trees$$Transformer.atOwner(Trees.scala:1333)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:33)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:27)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.transform(TypingTransformers.scala:44)
        at scala.tools.nsc.transform.ExplicitOuter$$OuterPathTransformer.transform(ExplicitOuter.scala:207)
        at scala.tools.nsc.transform.ExplicitOuter$$ExplicitOuterTransformer.transform(ExplicitOuter.scala:343)
        at scala.tools.nsc.ast.Trees$$Transformer.transformTemplate(Trees.scala:1311)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$21.apply(Trees.scala:1209)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$21.apply(Trees.scala:1209)
        at scala.tools.nsc.ast.Trees$$Transformer.atOwner(Trees.scala:1333)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:33)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:27)
        at scala.tools.nsc.ast.Trees$$Transformer.transform(Trees.scala:1208)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.transform(TypingTransformers.scala:46)
        at scala.tools.nsc.transform.ExplicitOuter$$OuterPathTransformer.transform(ExplicitOuter.scala:207)
        at scala.tools.nsc.transform.ExplicitOuter$$ExplicitOuterTransformer.transform(ExplicitOuter.scala:456)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$33.apply(Trees.scala:1327)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$33.apply(Trees.scala:1325)
        at scala.List$$.loop$$0(List.scala:244)
        at scala.List$$.mapConserve(List.scala:261)
        at scala.tools.nsc.ast.Trees$$Transformer.transformStats(Trees.scala:1325)
        at scala.tools.nsc.ast.Trees$$Transformer.transform(Trees.scala:1237)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.scala$$tools$$nsc$$transform$$TypingTransformers$$TypingTransformer$$$$super$$transform(TypingTransformers.scala:44)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer$$$$anonfun$$0.apply(TypingTransformers.scala:44)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer$$$$anonfun$$0.apply(TypingTransformers.scala:44)
        at scala.tools.nsc.ast.Trees$$Transformer.atOwner(Trees.scala:1333)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:33)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:27)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.transform(TypingTransformers.scala:44)
        at scala.tools.nsc.transform.ExplicitOuter$$OuterPathTransformer.transform(ExplicitOuter.scala:207)
        at scala.tools.nsc.transform.ExplicitOuter$$ExplicitOuterTransformer.transform(ExplicitOuter.scala:343)
        at scala.tools.nsc.ast.Trees$$Transformer.transformTemplate(Trees.scala:1311)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$21.apply(Trees.scala:1209)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$21.apply(Trees.scala:1209)
        at scala.tools.nsc.ast.Trees$$Transformer.atOwner(Trees.scala:1333)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:33)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:27)
        at scala.tools.nsc.ast.Trees$$Transformer.transform(Trees.scala:1208)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.transform(TypingTransformers.scala:46)
        at scala.tools.nsc.transform.ExplicitOuter$$OuterPathTransformer.transform(ExplicitOuter.scala:207)
        at scala.tools.nsc.transform.ExplicitOuter$$ExplicitOuterTransformer.transform(ExplicitOuter.scala:456)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$33.apply(Trees.scala:1327)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$33.apply(Trees.scala:1325)
        at scala.List$$.loop$$0(List.scala:244)
        at scala.List$$.mapConserve(List.scala:261)
        at scala.tools.nsc.ast.Trees$$Transformer.transformStats(Trees.scala:1325)
        at scala.tools.nsc.ast.Trees$$Transformer.transform(Trees.scala:1237)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.scala$$tools$$nsc$$transform$$TypingTransformers$$TypingTransformer$$$$super$$transform(TypingTransformers.scala:44)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer$$$$anonfun$$0.apply(TypingTransformers.scala:44)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer$$$$anonfun$$0.apply(TypingTransformers.scala:44)
        at scala.tools.nsc.ast.Trees$$Transformer.atOwner(Trees.scala:1333)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:33)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:27)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.transform(TypingTransformers.scala:44)
        at scala.tools.nsc.transform.ExplicitOuter$$OuterPathTransformer.transform(ExplicitOuter.scala:207)
        at scala.tools.nsc.transform.ExplicitOuter$$ExplicitOuterTransformer.transform(ExplicitOuter.scala:343)
        at scala.tools.nsc.ast.Trees$$Transformer.transformTemplate(Trees.scala:1311)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$21.apply(Trees.scala:1209)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$21.apply(Trees.scala:1209)
        at scala.tools.nsc.ast.Trees$$Transformer.atOwner(Trees.scala:1333)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:33)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:27)
        at scala.tools.nsc.ast.Trees$$Transformer.transform(Trees.scala:1208)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.transform(TypingTransformers.scala:46)
        at scala.tools.nsc.transform.ExplicitOuter$$OuterPathTransformer.transform(ExplicitOuter.scala:207)
        at scala.tools.nsc.transform.ExplicitOuter$$ExplicitOuterTransformer.transform(ExplicitOuter.scala:456)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$33.apply(Trees.scala:1327)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$33.apply(Trees.scala:1325)
        at scala.List$$.loop$$0(List.scala:244)
        at scala.List$$.mapConserve(List.scala:261)
        at scala.tools.nsc.ast.Trees$$Transformer.transformStats(Trees.scala:1325)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$20.apply(Trees.scala:1205)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$20.apply(Trees.scala:1205)
        at scala.tools.nsc.ast.Trees$$Transformer.atOwner(Trees.scala:1333)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:33)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:27)
        at scala.tools.nsc.ast.Trees$$Transformer.transform(Trees.scala:1204)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.transform(TypingTransformers.scala:46)
        at scala.tools.nsc.transform.ExplicitOuter$$OuterPathTransformer.transform(ExplicitOuter.scala:207)
        at scala.tools.nsc.transform.ExplicitOuter$$ExplicitOuterTransformer.transform(ExplicitOuter.scala:456)
        at scala.tools.nsc.ast.Trees$$Transformer.transformUnit(Trees.scala:1328)        at scala.tools.nsc.transform.ExplicitOuter$$ExplicitOuterTransformer.scala$$tools$$nsc$$transform$$ExplicitOuter$$ExplicitOuterTransformer$$$$super$$transformUnit(ExplicitOuter.scala:466)
        at scala.tools.nsc.transform.ExplicitOuter$$ExplicitOuterTransformer$$$$anonfun$$7.apply(ExplicitOuter.scala:466)
        at scala.tools.nsc.transform.ExplicitOuter$$ExplicitOuterTransformer$$$$anonfun$$7.apply(ExplicitOuter.scala:466)
        at scala.tools.nsc.symtab.SymbolTable.atPhase(SymbolTable.scala:85)
        at scala.tools.nsc.transform.ExplicitOuter$$ExplicitOuterTransformer.transformUnit(ExplicitOuter.scala:466)
        at scala.tools.nsc.transform.Transform$$Phase.apply(Transform.scala:30)
        at scala.tools.nsc.Global$$GlobalPhase.applyPhase(Global.scala:258)
        at scala.tools.nsc.Global$$GlobalPhase$$$$anonfun$$2.apply(Global.scala:247)        at scala.tools.nsc.Global$$GlobalPhase$$$$anonfun$$2.apply(Global.scala:247)        at scala.Iterator$$class.foreach(Iterator.scala:375)
        at scala.collection.mutable.ListBuffer$$$$anon$$0.foreach(ListBuffer.scala:255)
        at scala.tools.nsc.Global$$GlobalPhase.run(Global.scala:247)
        at scala.tools.nsc.Global$$Run.compileSources(Global.scala:542)
        at scala.tools.nsc.Interpreter$$Request.compile(Interpreter.scala:703)
        at scala.tools.nsc.Interpreter.interpret(Interpreter.scala:451)
        at scala.tools.nsc.InterpreterLoop.interpretStartingWith(InterpreterLoop.scala:246)
        at scala.tools.nsc.InterpreterLoop.command(InterpreterLoop.scala:233)
        at scala.tools.nsc.InterpreterLoop.repl(InterpreterLoop.scala:148)
        at scala.tools.nsc.InterpreterLoop.main(InterpreterLoop.scala:293)
        at scala.tools.nsc.MainGenericRunner$$.main(MainGenericRunner.scala:140)
        at scala.tools.nsc.MainGenericRunner.main(MainGenericRunner.scala)

== What expected ==

no crash :)

[scabug]

Imported From: https://issues.scala-lang.org/browse/SI-37?orig=1
Reporter: Commit Message Bot (anonymous)

[scabug]

@burakemir said:
fixed in tags/R_2_6_0-RC2 r12759, in trunk r12760

[scabug]

@odersky said:
Milestone 2.6.0 deleted