与Java相比,Scala对泛型和通配符有什么机制？

这是我的一些有问题的Java代码的简化示例.

class SquareDrawer implements ShapeDrawer<Row<Square>> {}
class Client {
   Key<SquareDrawer> SQUARE_DRAWER_KEY = 
      Key.get(SquareDrawer.class,randomAnnotation());
   void bindShapeDrawer(
      Key<? extends ShapeDrawer<Row<? extends Shape>>> shapeDrawer) {}

   Client() {
      // Note Unchecked cast required below
      bindShapeDrawer( 
         (Key<? extends ShapeDrawer<Row<? extends Shape>>>) SQUARE_DRAWER_KEY);
   }
}

我一直在学习Scala,并且一直认为它比Java更能支持泛型.以上代码是否可以用Scala编写以避免未经检查的强制转换？

在Scala中是否还需要Guice的TypeLiteral？