Function type_of_opaque 

pub fn type_of_opaque<'tcx>(tcx: TyCtxt<'tcx>, key: Key<'tcx>) -> String