diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2017-11-06 07:26:34 -0500 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2017-11-16 05:57:47 -0500 |
| commit | 4b743da596e94fbf56418e82ab92a4952d9bfb8b (patch) | |
| tree | 6c8ee50f13bf37ee773f2e6f78385b66cc124aaa /src/librustc/middle | |
| parent | d9e841e756eab869ea3dcbe468c1ad95f80ae24b (diff) | |
| download | rust-4b743da596e94fbf56418e82ab92a4952d9bfb8b.tar.gz rust-4b743da596e94fbf56418e82ab92a4952d9bfb8b.zip | |
integrate NLL with MIR type-checker
Diffstat (limited to 'src/librustc/middle')
| -rw-r--r-- | src/librustc/middle/free_region.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/librustc/middle/free_region.rs b/src/librustc/middle/free_region.rs index 3bcdc4f7e2c..da505f16724 100644 --- a/src/librustc/middle/free_region.rs +++ b/src/librustc/middle/free_region.rs @@ -192,7 +192,7 @@ impl<'tcx> FreeRegionMap<'tcx> { /// /// if `r_a` represents `'a`, this function would return `{'b, 'c}`. pub fn regions_that_outlive<'a, 'gcx>(&self, r_a: Region<'tcx>) -> Vec<&Region<'tcx>> { - assert!(is_free(r_a)); + assert!(is_free(r_a) || *r_a == ty::ReStatic); self.relation.greater_than(&r_a) } } |