Make &Slice a thin pointer

This commit is contained in:
John Kåre Alsaker 2018-05-02 08:02:57 +02:00
parent a52b01bc67
commit 6c2d875261
5 changed files with 134 additions and 48 deletions

View file

@ -48,7 +48,7 @@ fn main() {
// _2 = move _3;
// StorageDead(_3);
// StorageLive(_4);
// UserAssertTy(Canonical { variables: Slice([]), value: std::option::Option<std::boxed::Box<u32>> }, _4);
// UserAssertTy(Canonical { variables: [], value: std::option::Option<std::boxed::Box<u32>> }, _4);
// _4 = std::option::Option<std::boxed::Box<u32>>::None;
// StorageLive(_5);
// StorageLive(_6);