Compile fails or exception for this one

[Firas Zuriekat]

import java.util.*;
import java.io.*;

public class TestDriver{

public static <T> void go(Set<T> a){}

public static void main(String [] args){
TreeSet<? extends Serializable> t=new TreeSet<Mouse>();
go(t);
}
}
class Animal<T>{}
class Mouse extends Animal implements Serializable{}


What's the result?
A) Compiles
B) Compilation Failure
C) Exception at Run Time

Why is the answer A? go() only takes a Set<T> and nothing else!

[wise owen]

The class TreeSet<E> implements the Set<E> interface.

[Firas Zuriekat]

OK, and also because Set<T> is a reference variable to TreeSet<? extends Serializable>, this means types "T" and "? extends Serializable" are the same.