pub type InterpResult<'tcx, T = ()> = Result<T, InterpErrorInfo<'tcx>>;