pub fn eval_to_valtree<'tcx>(_: TyCtxt<'tcx>, _: &eval_to_valtree<'tcx>) -> bool