Compiler type inference problem?

unit is not a subclass of everything, so this error makes perfect sense.
to fix it:

               def example(space: Space) {
                       space.snapshot(new java.lang.Double(20d))
                       space.snapshot(new java.lang.Integer(30))
                       return

               }

-------- Original-Nachricht --------
> Datum: Fri, 3 Feb 2012 11:39:12 +0100
> Von: Edmondo Porcu <edmondo [dot] porcu [at] gmail [dot] com>
> An: scala-user <scala-user [at] googlegroups [dot] com>
> Betreff: [scala-user] Compiler type inference problem?

> Dear all,
>
> look at the following case and why it doesn't compile:
>
> trait Generic[T]
> trait Space {
>   def snapshot[T](item:java.lang.Object):Generic[T]
> }
> class TypeInferenceProblem {
>
>   def example(space:Space){
>     space.snapshot(new java.lang.Double(20d))
>     space.snapshot(new java.lang.Integer(30))
>   }
>
> }
>
> error: polymorphic expression cannot be instantiated to expected type;
> found   : [T]com.gottex.scala.types.Generic[T]
> required: Unit
> space.snapshot(new java.lang.Integer(30))
>
>
> Whatever the return type of space.snapshot is, since the method will
> return
> unit, why does the compiler care?
>
> Best
>
> Edmondo

4F2BBD3D [dot] 6010004 [at] epfl [dot] ch" type="cite"> Looks like #4336 that was fixed recently.

hubert

On 02/03/2012 11:39 AM, Edmondo Porcu wrote:

CAM-vFRzffjk0z655zGtUZSTZ4HPbB9QFgjfCViHvYjw-aAKM5A [at] mail [dot] gmail [dot] com" type="cite"> Dear all, 
look at the following case and why it doesn't compile:
trait Generic[T] trait Space {   def snapshot[T](item:java.lang.Object):Generic[T] }  class TypeInferenceProblem {      def example(space:Space){     space.snapshot(new java.lang.Double(20d))     space.snapshot(new java.lang.Integer(30))   }
}
error: polymorphic expression cannot be instantiated to expected type; found   : [T]com.gottex.scala.types.Generic[T] required: Unit space.snapshot(new java.lang.Integer(30))

Whatever the return type of space.snapshot is, since the method will return unit, why does the compiler care?
Best
Edmondo