diff options
| author | Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de> | 2018-02-23 09:21:31 +0100 |
|---|---|---|
| committer | Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de> | 2018-03-08 08:35:38 +0100 |
| commit | 3dc7e93db632ccbd4616808a61c07aa048d6b814 (patch) | |
| tree | a037c70a79fbcd9bd92420bc4406992db9198a46 | |
| parent | 47913ee8f488e2661a06337e060fb90895680c8f (diff) | |
| download | rust-3dc7e93db632ccbd4616808a61c07aa048d6b814.tar.gz rust-3dc7e93db632ccbd4616808a61c07aa048d6b814.zip | |
Generator assertions are unconditionally triggered
| -rw-r--r-- | src/librustc_mir/transform/const_prop.rs | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/librustc_mir/transform/const_prop.rs b/src/librustc_mir/transform/const_prop.rs index 1b64178477e..565e5de85c1 100644 --- a/src/librustc_mir/transform/const_prop.rs +++ b/src/librustc_mir/transform/const_prop.rs @@ -404,10 +404,12 @@ impl<'b, 'a, 'tcx> Visitor<'tcx> for ConstPropagator<'b, 'a, 'tcx> { ); use rustc::mir::AssertMessage::*; match msg { - GeneratorResumedAfterReturn => - lint.span_label(span, "generator resumed after completion"), - GeneratorResumedAfterPanic => - lint.span_label(span, "generator resumed after panicking"), + // Need proper const propagator for these + GeneratorResumedAfterReturn | + GeneratorResumedAfterPanic => { + lint.cancel(); + return; + }, Math(ref err) => lint.span_label(span, err.description()), BoundsCheck { ref len, ref index } => { let len = self.eval_operand(len).expect("len must be const"); |
