Function rustc_typeck::middle::traits::report_overflow_errorUnstable
[-] [+]
[src]
pub fn report_overflow_error<'tcx, T>(infcx: &InferCtxt<'a, 'tcx>, obligation: &Obligation<'tcx, T>) -> ! where T: UserString<'tcx> + TypeFoldable<'tcx>
Reports that an overflow has occurred and halts compilation. We halt compilation unconditionally because it is important that overflows never be masked -- they basically represent computations whose result could not be truly determined and thus we can't say if the program type checks or not -- and they are unusual occurrences in any case.