Use explicit `dyn` trait object

Expose some internals for priroda

Merge pull request #536 from RalfJung/self-referential-generator

test self-referential generator

Merge branch 'master' into self-referential-generator

Merge pull request #519 from solson/allocations

Update to Memory -> Allocation method move

bump Rust version

Merge remote-tracking branch 'origin/master' into allocations

Merge pull request #541 from solson/rustup

fix for new Align type

bump Rust

Update to Memory -> Allocation method move

fix for new Align type

Merge pull request #538 from solson/rustup

remove stabilized feature flag

bump rust

Merge remote-tracking branch 'origin/master' into rustup

Merge pull request #540 from RalfJung/partially-invalidate-mut

test that we support partial invalidation of mutable references

Merge branch 'master' into partially-invalidate-mut

Merge pull request #539 from RalfJung/no-frozen-mut

on a deref, check that we are not using a mutable ref with a frozen tag

test that we support partial invalidation of mutable references

slightly more verbose error msg

if let

on a deref, check that we are not using a mutable ref with a frozen tag

remove stabilized feature flag

Merge pull request #537 from solson/rustup

bump Rust

make sure compile-fail tests would compile if we screw up

bump Rust

also add an async fn test

test self-referential generator

Merge pull request #535 from RalfJung/tests-edition-2018

Use edition 2018 for tests

make tests compatible with 2018 edition

use 2018 edition for tests

Merge pull request #533 from RalfJung/cargo-miri-2018

port cargo-miri-test to 2018 edition, mostly to test that that works with cargo miri

Merge branch 'master' into cargo-miri-2018

Merge pull request #526 from RalfJung/mut-visitor

Retagging: Recurse into compound values

stdout not implemented on windows

UnsafeCell no longer needs to be on the whitelist

adjust for InboundsCheck parameter of memory bounds check

bump Rust version

Merge branch 'miri-backtrace' into mut-visitor

port cargo-miri-test to 2018 edition, mostly to test that that works with cargo miri

add an interesting testcase

reorder cargo flags for consistency

Merge remote-tracking branch 'origin/master' into mut-visitor

Merge pull request #530 from RalfJung/appveyor

AppVeyor: consistently use --all-features

AppVeyor: consistently use --all-features

Merge pull request #529 from matthiaskrgr/bench

benchmarks: make them build again

travis: build benchmarks as well

Boxes can also use the fast path

add comment about not using builtin_deref

benchmarks: make them build again

remove spurious assignments

raw ptr deref no longer erases the tag

escape-on-cast, now ptr-deref does not change the tag at all, ever

also consider boxes like unique references

Merge pull request #527 from steveklabnik/patch-2

fix cargo invocation in the readme

fix cargo invocation in the readme

Factor out common top-level code from escape-to-raw and retag

add some tests for retagging inside tuples and options

retagging: descent into values, type-driven

Merge pull request #524 from RalfJung/escape-to-raw

Stacked Borrows beautififcation, update for EscapeToRaw

stacked borrows is broken without full MIR

Merge remote-tracking branch 'origin/master' into escape-to-raw

Merge pull request #525 from RalfJung/trust-the-type-system

remove type system tests

where there is 2, there should be 1

remove type system tests

bump Rust

add a sanity assertion

we no longer even try pushing to a frozen location

let's call this a redundant reborrow

generalize reborrow-to-raw exception to a general redundancy check

add an interesting demo for &mut being unique

adjust comment

Separate deref and access into different operations; add special exception for creating raw references

organize std tests a bit better

better test the special exception for reading through unique when things are shared

test for special things that are now possible

add another mean test case

make freezing inherently part of the high-level reactivate/initiate operations

Retag is the only operation that generates new tags

update for changed FrameInfo, do not print span for all frames

Merge pull request #522 from RalfJung/alloc-extra

update for memory_deallocated moving to AllocExtra

bump Rust

update for memory_deallocated moving to AllocExtra

Merge pull request #518 from RalfJung/readme

add a description of what miri can do for you

move slide and report links to history

miri history

add a description of what miri can do for you

Merge pull request #517 from RalfJung/readme

cargo miri test currently does not work

cargo miri test currently does not work

Merge pull request #516 from RalfJung/rc

Rc should be fixed

Update rustc for AllocationExtra trait

Based on https://github.com/solson/miri/pull/493 but there were more conflicts
than code so I opted not to cherry-pick.

Rc should be fixed

Merge pull request #515 from RalfJung/test

use custom test runner so that we can get proper test filtering

bump compiletest so that we can share the tempdir() call

remove unused import

use custom test runner so that we can get proper test filtering

Merge pull request #513 from RalfJung/new-interior-mut

New Stacked Borrows, now with better support for interior mutability

bump Rust version

sort the fields ourselves

treat shared and raw borrows alike

re-do large parts of stacked borrows, now with proper support for partiall frozen data