gistfile1.txt

import scala.{specialized => spec}

class Foo[@spec(Int) A](val a:A) {
  def sink(x:A) = ()

  def bar[@spec(Int) B](b:B):Int = {
    sink(a)
    99
  }
}

object Main {
  def z1(a:Int, b:Int) = new Foo(a).bar(b)
  def z2(a:Int, b:String) = new Foo(a).bar(b)
  def z3(a:String, b:Int) = new Foo(a).bar(b)
  def z4(a:String, b:String) = new Foo(a).bar(b)
}