diff options
| author | John Kåre Alsaker <john.kare.alsaker@gmail.com> | 2017-10-07 16:36:28 +0200 |
|---|---|---|
| committer | John Kåre Alsaker <john.kare.alsaker@gmail.com> | 2018-01-23 05:10:38 +0100 |
| commit | ccf0d8399e1ef3ed6bf7005650ce42aa646b5cc7 (patch) | |
| tree | 78166bd01ee1a24b9251e6cdf16dd631d3cf65e1 /src/librustc_mir/interpret | |
| parent | 47a8eb7c4e24b61a8a9ab4eaff60ef65291aaa56 (diff) | |
| download | rust-ccf0d8399e1ef3ed6bf7005650ce42aa646b5cc7.tar.gz rust-ccf0d8399e1ef3ed6bf7005650ce42aa646b5cc7.zip | |
Adds support for immovable generators. Move checking of invalid borrows across suspension points to borrowck. Fixes #44197, #45259 and #45093.
Diffstat (limited to 'src/librustc_mir/interpret')
| -rw-r--r-- | src/librustc_mir/interpret/const_eval.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/librustc_mir/interpret/const_eval.rs b/src/librustc_mir/interpret/const_eval.rs index 2b95449f767..2913f72460e 100644 --- a/src/librustc_mir/interpret/const_eval.rs +++ b/src/librustc_mir/interpret/const_eval.rs @@ -514,6 +514,7 @@ fn check_ctfe_against_miri<'a, 'tcx>( TyDynamic(..) => bug!("miri produced a trait object"), TyClosure(..) => bug!("miri produced a closure"), TyGenerator(..) => bug!("miri produced a generator"), + TyGeneratorWitness(..) => bug!("miri produced a generator witness"), TyNever => bug!("miri produced a value of the never type"), TyProjection(_) => bug!("miri produced a projection"), TyAnon(..) => bug!("miri produced an impl Trait type"), |