about summary refs log tree commit diff
path: root/src
AgeCommit message (Expand)AuthorLines
2019-11-15Use a bespoke type for the result of `mir_const_qualif`Dylan MacKenzie-8/+19
2019-11-15A `Downcast` is now reached when const-checking a `for` loopDylan MacKenzie-0/+2
2019-11-15Remove -Z flag for suppressing validation mismatch ICEDylan MacKenzie-2/+0
2019-11-15Add explanation of test for validation mismatchDylan MacKenzie-7/+15
2019-11-15Silence miri unleashed warnings in testDylan MacKenzie-53/+5
2019-11-15Remove unnecessary `fmt::Debug` boundDylan MacKenzie-3/+2
2019-11-15Remove remaining validator mismatch codeDylan MacKenzie-16/+1
2019-11-15Move `delay_span_bug` into `emit_error` for if/loopDylan MacKenzie-19/+22
2019-11-15Remove `qualify_consts` completelyDylan MacKenzie-1488/+3
2019-11-15Use new const-checker for `mir_const_qualif`Dylan MacKenzie-2/+37
2019-11-15Enable standalone const-checking with `Validator`Dylan MacKenzie-1/+126
2019-11-15Allow `Validator` to get qualifs for the return placeDylan MacKenzie-1/+45
2019-11-15Remove `requires_sync`Dylan MacKenzie-10/+0
2019-11-15Remove `QUALIF_ERROR_BIT` checkingDylan MacKenzie-25/+4
2019-11-15Rollup merge of #66441 - RalfJung:seh, r=oli-obkMazdak Farrokhzad-0/+5
2019-11-15Rollup merge of #66427 - Mark-Simulacrum:errors-json, r=CentrilMazdak Farrokhzad-134/+98
2019-11-15Rollup merge of #66415 - tmandry:force-test-in-process, r=alexcrichtonMazdak Farrokhzad-4/+10
2019-11-15Rollup merge of #66407 - JohnTitor:add-ice-tests, r=CentrilMazdak Farrokhzad-60/+76
2019-11-15Rollup merge of #66350 - hermitcore:hermit, r=rkruppeMazdak Farrokhzad-0/+3
2019-11-15Apply suggestions from code reviewNadrieril-13/+11
2019-11-15Add regression testNadrieril-0/+6
2019-11-15Apply suggestions from code reviewNadrieril-20/+12
2019-11-15Factor out IntRange::is_subrangeNadrieril-4/+6
2019-11-15Apply suggestions from code reviewNadrieril Feneanar-5/+5
2019-11-15Add test for failing `try_eval_bits`Nadrieril-1/+16
2019-11-15Remove fishy conditionNadrieril-24/+2
2019-11-15Malformed range patterns can't happen thanks to E0030Nadrieril-8/+6
2019-11-15Remove unnecessary data from ConstantValue/ConstantRangeNadrieril-38/+14
2019-11-15Store Const directly in ConstantRangeNadrieril-11/+11
2019-11-15Make should_treat_range_exhaustively a methodNadrieril-5/+4
2019-11-15Inline now-trivial IntRange::from_ctorNadrieril-56/+28
2019-11-15Factor out getting the boundaries of an `IntRange`Nadrieril-9/+13
2019-11-15Eagerly convert ranges to IntRangeNadrieril-58/+63
2019-11-15Add `IntRange::to_pat` and use it instead of custom `display()`Nadrieril-21/+10
2019-11-16Fix nll testYuki Okushi-0/+8
2019-11-15formattingNadrieril-12/+13
2019-11-15Introduce IntRange constructorNadrieril-8/+28
2019-11-15`Constructor::display` was only needed for displaying `IntRange`Nadrieril-22/+18
2019-11-15Avoid converting through Constructor when subtracting rangesNadrieril-38/+29
2019-11-15Special-case subtracting from a range if that range is not an IntRangeNadrieril-21/+36
2019-11-15Prefer IntRange::into_ctor to range_to_ctorNadrieril-47/+34
2019-11-15Move range exhaustiveness check to IntRange::intersectionNadrieril-36/+14
2019-11-15Special-case range inclusion when the range is integral but non-exhaustiveNadrieril-0/+27
2019-11-15Cleanup `constructor_covered_by_range`Nadrieril-51/+29
2019-11-15IntRange::from_pat is redundant with pat_constructorsNadrieril-29/+13
2019-11-15`pat_constructor` does not need `pcx` anymoreNadrieril-6/+5
2019-11-15Factor out range construction in `all_constructors`Nadrieril-16/+5
2019-11-15Clarify conditions for exhaustive integer range matchingNadrieril-17/+20
2019-11-15Note link between apply/specialize/arity functionsNadrieril-0/+6
2019-11-15more commentRalf Jung-0/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-28 20:27:42 +0000