Function valtree_to_const_val 

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