Skip to content
This repository has been archived by the owner on Aug 22, 2024. It is now read-only.

Adapt to nightly 2021-02-12 #754

Closed
wants to merge 7 commits into from
Closed

Adapt to nightly 2021-02-12 #754

wants to merge 7 commits into from

Conversation

hermanventer
Copy link
Contributor

Description

This is branch that illustrates a problem with write_mir_pretty in recent nightly builds. See rust-lang/rust#81200.

To reproduce the issue, clone MIRAI from github. Modify rust-toolchain to match the version you are using to test the fix. Then run cargo test.

Without a fix, you should see a bunch of failures such as:

thread 'rustc' panicked at 'DefId::expect_local: DefId(5:3241 ~ alloc[4acc]::collections::vec_deque::{impl#4}::new) isn't local', /rustc/0fc6756b42e0556cc2e18079f5fc6b4d58f4e81a/compiler/rustc_span/src/def_id.rs:175:43
n

@facebook-github-bot facebook-github-bot added the CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed. label Feb 9, 2021
@hermanventer hermanventer marked this pull request as draft February 9, 2021 21:11
@hermanventer hermanventer changed the title Adapt to nightly 2021-02-09 Adapt to nightly 2021-02-12 Feb 12, 2021
@@ -161,8 +163,8 @@ impl<'analysis, 'compilation, 'tcx, E> BodyVisitor<'analysis, 'compilation, 'tcx
function_constant_args: &[(Rc<Path>, Rc<AbstractValue>)],
parameter_types: &[Ty<'tcx>],
) -> Summary {
if cfg!(DEBUG) {
let mut stdout = std::io::stdout();
if !cfg!(DEBUG) {
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

If you remove the prefixed negation, all tests should pass. If you keep the negation and fix the write_mir_pretty issue, all tests should pass.

@hermanventer hermanventer deleted the new_nightly branch February 15, 2021 19:04
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants