Use TryFrom instead

silence a lint that catches the bug statically

Auto merge of #1039 - RalfJung:dyn-tests, r=RalfJung

More tests for dyn trait (in particular, unsized receivers)

So far we only tested them indirectly through `dyn FnOnce`; this also adds some self-contained tests from the rustc test suite.

also test Box<self> receiver

move blosure tests to closures file; test Box<dyn> a bit more

centralize and expand dyn-trait (method receiver) tests

rename call_drop_ tests to drop_

tweak and slightly extend box-box-trait test

Auto merge of #1037 - JOE1994:master, r=RalfJung

error code E0080 is no longer printed with MIRI error message

Thanks to help from @bjorn3, @RalfJung, and @oli-obk on issue #1035 , I fixed the miri code so that error code **E0080** is no longer printed out for MIRI evaluation errors. I tested my code in my Linux machine as below.

Remaining concern is whether the variable name `new_tcx` which I used is misleading or not.

Fixes https://github.com/rust-lang/miri/issues/1035

follow-up to review

Auto merge of #1031 - RalfJung:ptr-offset, r=RalfJung

Refactor ptr_offset_inbounds

I finally found a way to write this using basically just `check_ptr_access` while handling all cases (integers and pointers, offset 0 or not) correctly. This changes behavior for NULL ptrs, but I think the change is for the better.

Depends on https://github.com/rust-lang/rust/pull/66081.

ptr_offset: handle negative offsets

rustup

fix error message details

fix test erorr msg

refactor ptr_offset_inbounds: it can be reduced to check_ptr_access, after all!

test that 0 cannot be offset-inbounds by 0

error code E0080 is no longer printed with MIRI error message

Avoid using `as` cast

Auto merge of #1032 - RalfJung:offset-from, r=RalfJung

test offset_from

This currently fails and needs a rustc fix: https://github.com/rust-lang/rust/pull/66083

rustup

test offset_from

Auto merge of #1036 - RalfJung:stacked-borrows-test, r=RalfJung

add an interesting run-pass stacked borrows example

add an interesting run-pass stacked borrows example

Handle host's `usize` correctly

Auto merge of #1030 - RalfJung:mir-opt-comment, r=RalfJung

update comment re: not using higher mir-opt-level

update comment re: not using higher mir-opt-level

Fix casts for `count` check

Auto merge of #1029 - RalfJung:panic-if-uninhabited, r=RalfJung

calling panic_if_uninhabited is not actually UB

calling panic_if_uninhabited is not actually UB

Auto merge of #961 - rust-lang:exact_div_reuse, r=RalfJung

Use the upstream `exact_div` implementation

introduced in https://github.com/rust-lang/rust/pull/63810

adjust tests

style

rustup

Use the upstream `exact_div` implementation

Auto merge of #1028 - RalfJung:place-apis, r=RalfJung

use Place API instead of Allocation API

store scalars where appropriate

Windows cmdline: avoid accessing allocations directly

Auto merge of #1027 - RalfJung:typo, r=RalfJung

fix typo

fix typo

Auto merge of #1026 - RalfJung:rustup, r=RalfJung

rustup for span in intrinsic emulation

rustup for span in intrinsic emulation

Check for usize to i64 overflows

Auto merge of #1025 - mati865:deps, r=RalfJung

Bump dependencies

Bump dependencies

Simplify `read` logic

Drop files explicitly when closing them

Auto merge of #1024 - RalfJung:rustup, r=RalfJung

rustup for projection interning

rustup for projection interning

Auto merge of #1023 - RalfJung:align_to, r=RalfJung

test align_to example

Fixes https://github.com/rust-lang/miri/issues/873

test align_to example

Auto merge of #1021 - RalfJung:rustc-dev, r=RalfJung

Adjust for rustc-dev

Clean file handling functions

add back '-c cargo'

rustc-dev landed; adjust rust version

temporarily ignore cached rustup-toolchain-install-master

adjust README for rustc-dev

bump rustc and adjust for rustc-dev component

(also sync AppVeyor with Travis: use stable cargo)

Auto merge of #1020 - RalfJung:compiletest, r=RalfJung

compiletest-nightly should work again

compiletest-nightly should work again

Auto merge of #1019 - RalfJung:rustup, r=RalfJung

rustup: more flexible write_bytes

avoids allocations and removes itertools dependency

update comments and some tweaks

rustup: more flexible write_bytes avoids allocations and removes itertools dependency

Auto merge of #993 - christianpoveda:os_string_helper, r=RalfJung

Add OsString from/to bytes helper functions

Related issue: https://github.com/rust-lang/miri/issues/989

r? @RalfJung

Auto merge of #1018 - RalfJung:rustup, r=RalfJung

rustup; fix debugging

rustup; fix debugging

Fix documentation

Auto merge of #1017 - RalfJung:test, r=RalfJung

cargo update cargo-miri-test

cargo update cargo-miri-test

Auto merge of #1016 - RalfJung:rustup, r=RalfJung

Rustup

use compiletest_rs for stable compiler as nightly is broken

rustup + cargo update

Make size error distinguishable from other errors

Use new write_bytes method

Auto merge of #1015 - RalfJung:appv, r=RalfJung

AppVeyor: abort early if a job fails

AppVeyor: abort early if a job fails

Auto merge of #1014 - RalfJung:rustup, r=RalfJung

rustup: fix for write_bytes and new union rules

fix field index

rustup: fix for write_bytes and new union rules

Fix merge conflicts

Auto merge of #1012 - RalfJung:rustup, r=RalfJung

bump Rust (no changes needed)

Just bumping it to the latest nightly.

bump Rust (no changes needed)

Auto merge of #1011 - RalfJung:full-stop, r=RalfJung

add some missing trailing full stops that slipped through review

add some missing trailing full stops that slipped through review

Auto merge of #991 - christianpoveda:errno-place, r=RalfJung

Change the last OS error location to a place

r? @RalfJung

Auto merge of #1010 - RalfJung:xargo, r=RalfJung

when xargo is manually specified, don't try to upgrade it

when xargo is manually specified, don't try to upgrade it

Add docs for the new helper functions

Small corrections to docs

Transform the last error place to an immediate instead

Rename set_last_error_from_io_result

Make transformation to OS error explicit

Rename consume_result

Change last_error to a place

Move last error functions to helpers

Auto merge of #1009 - RalfJung:expect_none, r=RalfJung

use expect_none and unwrap_none where it makes sense

use expect_none and unwrap_none where it makes sense

Do additional bounds checks

Change comparison order for clarity

Auto merge of #1008 - RalfJung:sysroot, r=RalfJung

print sysroot without any escaping