diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2018-08-31 18:59:35 -0400 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2018-09-10 08:22:31 -0400 |
| commit | dd3cc9669acba363abdf4f1bf5744aea383ecc46 (patch) | |
| tree | 748c8e198f9d13dd4691546b1ac3d8eb73dc98fb /src/librustc_mir/dataflow/impls | |
| parent | 22f9bcce042d8ab77c534f22173c31f9a9ee224e (diff) | |
| download | rust-dd3cc9669acba363abdf4f1bf5744aea383ecc46.tar.gz rust-dd3cc9669acba363abdf4f1bf5744aea383ecc46.zip | |
add the `AscribeUserType` statement kind
Make it have the semantics of subtype.
Diffstat (limited to 'src/librustc_mir/dataflow/impls')
| -rw-r--r-- | src/librustc_mir/dataflow/impls/borrows.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/librustc_mir/dataflow/impls/borrows.rs b/src/librustc_mir/dataflow/impls/borrows.rs index f42612b4b7a..cc92cdecc60 100644 --- a/src/librustc_mir/dataflow/impls/borrows.rs +++ b/src/librustc_mir/dataflow/impls/borrows.rs @@ -338,7 +338,7 @@ impl<'a, 'gcx, 'tcx> BitDenotation for Borrows<'a, 'gcx, 'tcx> { mir::StatementKind::SetDiscriminant { .. } | mir::StatementKind::StorageLive(..) | mir::StatementKind::Validate(..) | - mir::StatementKind::UserAssertTy(..) | + mir::StatementKind::AscribeUserType(..) | mir::StatementKind::Nop => {} } |