Fix HIR printing of existential type #60662 #60694

Pulkit07 · 2019-05-10T10:15:13Z

This fixes #60662

rust-highfive · 2019-05-10T10:15:24Z

(rust_highfive has picked a reviewer for you, use r? to override)

rust-highfive · 2019-05-10T11:32:22Z

The job x86_64-gnu-llvm-6.0 of your PR failed on Travis (raw log). Through arcane magic we have determined that the following fragments from the build log may contain information about the problem.

Click to expand the log.

travis_time:end:1bf08eba:start=1557483375632649680,finish=1557483463902656580,duration=88270006900
$ git checkout -qf FETCH_HEAD
travis_fold:end:git.checkout

Encrypted environment variables have been removed for security reasons.
See https://docs.travis-ci.com/user/pull-requests/#pull-requests-and-security-restrictions
$ export SCCACHE_BUCKET=rust-lang-ci-sccache2
$ export SCCACHE_REGION=us-west-1
$ export GCP_CACHE_BUCKET=rust-lang-ci-cache
$ export AWS_ACCESS_KEY_ID=AKIA46X5W6CZEJZ6XT55
---
[01:14:23] failures:
[01:14:23] 
[01:14:23] ---- [ui] ui/issues/issue-60662.rs stdout ----
[01:14:23] normalized stdout:
[01:14:23] #[prelude_import]
[01:14:23] use ::std::prelude::v1::*;
[01:14:23] #[macro_use]
[01:14:23] extern crate std;
[01:14:23] // compile-flags: -Z unpretty=hir
[01:14:23] 
[01:14:23] trait Animal { }
[01:14:23] 
[01:14:23] fn main() {
[01:14:23] fn main() {
[01:14:23]               pub existential type ServeFut : Animal;
[01:14:23] 
[01:14:23] 
[01:14:23] 
[01:14:23] The actual stdout differed from the expected stdout.
[01:14:23] The actual stdout differed from the expected stdout.
[01:14:23] Actual stdout saved to /checkout/obj/build/x86_64-unknown-linux-gnu/test/ui/issues/issue-60662/issue-60662.stdout
[01:14:23] normalized stderr:
[01:14:23] error[E0658]: existential types are unstable
[01:14:23]   --> $DIR/issue-60662.rs:8:5
[01:14:23]    |
[01:14:23] LL |     pub existential type ServeFut: Animal;
[01:14:23]    |
[01:14:23]    = note: for more information, see https://github.com/rust-lang/rust/issues/34511
[01:14:23]    = help: add #![feature(existential_type)] to the crate attributes to enable
[01:14:23] 
---
[01:14:23] 
[01:14:23] 
[01:14:23] The actual stderr differed from the expected stderr.
[01:14:23] Actual stderr saved to /checkout/obj/build/x86_64-unknown-linux-gnu/test/ui/issues/issue-60662/issue-60662.stderr
[01:14:23] To update references, rerun the tests and pass the `--bless` flag
[01:14:23] To only update this specific test, also pass `--test-args issues/issue-60662.rs`
[01:14:23] error: 2 errors occurred comparing output.
[01:14:23] status: exit code: 1
[01:14:23] status: exit code: 1
[01:14:23] command: "/checkout/obj/build/x86_64-unknown-linux-gnu/stage2/bin/rustc" "/checkout/src/test/ui/issues/issue-60662.rs" "-Zthreads=1" "--target=x86_64-unknown-linux-gnu" "--error-format" "json" "-Zui-testing" "-C" "prefer-dynamic" "--out-dir" "/checkout/obj/build/x86_64-unknown-linux-gnu/test/ui/issues/issue-60662" "-Crpath" "-O" "-Zunstable-options" "-Lnative=/checkout/obj/build/x86_64-unknown-linux-gnu/native/rust-test-helpers" "-Z" "unpretty=hir" "-L" "/checkout/obj/build/x86_64-unknown-linux-gnu/test/ui/issues/issue-60662/auxiliary" "-A" "unused"
[01:14:23] ------------------------------------------
[01:14:23] ------------------------------------------
[01:14:23] #[prelude_import]
[01:14:23] use ::std::prelude::v1::*;
[01:14:23] #[macro_use]
[01:14:23] extern crate std;
[01:14:23] // compile-flags: -Z unpretty=hir
[01:14:23] 
[01:14:23] trait Animal { }
[01:14:23] 
[01:14:23] fn main() {
[01:14:23] fn main() {
[01:14:23]               pub existential type ServeFut : Animal;
[01:14:23] 
[01:14:23] ------------------------------------------
[01:14:23] stderr:
[01:14:23] ------------------------------------------
[01:14:23] ------------------------------------------
[01:14:23] error[E0658]: existential types are unstable
[01:14:23]   --> /checkout/src/test/ui/issues/issue-60662.rs:8:5
[01:14:23]    |
[01:14:23] LL |     pub existential type ServeFut: Animal;
[01:14:23]    |
[01:14:23]    = note: for more information, see https://github.com/rust-lang/rust/issues/34511
[01:14:23]    = help: add #![feature(existential_type)] to the crate attributes to enable
[01:14:23] 
---
[01:14:23] thread 'main' panicked at 'Some tests failed', src/tools/compiletest/src/main.rs:512:22
[01:14:23] note: Run with `RUST_BACKTRACE=1` environment variable to display a backtrace.
[01:14:23] 
[01:14:23] 
[01:14:23] command did not execute successfully: "/checkout/obj/build/x86_64-unknown-linux-gnu/stage0-tools-bin/compiletest" "--compile-lib-path" "/checkout/obj/build/x86_64-unknown-linux-gnu/stage2/lib" "--run-lib-path" "/checkout/obj/build/x86_64-unknown-linux-gnu/stage2/lib/rustlib/x86_64-unknown-linux-gnu/lib" "--rustc-path" "/checkout/obj/build/x86_64-unknown-linux-gnu/stage2/bin/rustc" "--src-base" "/checkout/src/test/ui" "--build-base" "/checkout/obj/build/x86_64-unknown-linux-gnu/test/ui" "--stage-id" "stage2-x86_64-unknown-linux-gnu" "--mode" "ui" "--target" "x86_64-unknown-linux-gnu" "--host" "x86_64-unknown-linux-gnu" "--llvm-filecheck" "/usr/lib/llvm-6.0/bin/FileCheck" "--host-rustcflags" "-Crpath -O -Zunstable-options  -Lnative=/checkout/obj/build/x86_64-unknown-linux-gnu/native/rust-test-helpers" "--target-rustcflags" "-Crpath -O -Zunstable-options  -Lnative=/checkout/obj/build/x86_64-unknown-linux-gnu/native/rust-test-helpers" "--docck-python" "/usr/bin/python2.7" "--lldb-python" "/usr/bin/python2.7" "--gdb" "/usr/bin/gdb" "--quiet" "--llvm-version" "6.0.0\n" "--system-llvm" "--cc" "" "--cxx" "" "--cflags" "" "--llvm-components" "" "--llvm-cxxflags" "" "--adb-path" "adb" "--adb-test-dir" "/data/tmp/work" "--android-cross-path" "" "--color" "always"
[01:14:23] 
[01:14:23] 
[01:14:23] failed to run: /checkout/obj/build/bootstrap/debug/bootstrap test
[01:14:23] Build completed unsuccessfully in 0:05:00
[01:14:23] Build completed unsuccessfully in 0:05:00
[01:14:23] make: *** [check] Error 1
[01:14:23] Makefile:48: recipe for target 'check' failed
The command "stamp sh -x -c "$RUN_SCRIPT"" exited with 2.
travis_time:start:042a36dd
$ date && (curl -fs --head https://google.com | grep ^Date: | sed 's/Date: //g' || true)
Fri May 10 11:32:17 UTC 2019
---
travis_time:end:12bc382c:start=1557487938678571608,finish=1557487938686837185,duration=8265577
travis_fold:end:after_failure.4
travis_fold:start:after_failure.5
travis_time:start:16e3d86e
$ cat ./obj/build/x86_64-unknown-linux-gnu/native/asan/build/lib/asan/clang_rt.asan-dynamic-i386.vers || true
cat: ./obj/build/x86_64-unknown-linux-gnu/native/asan/build/lib/asan/clang_rt.asan-dynamic-i386.vers: No such file or directory
travis_fold:end:after_failure.5
travis_fold:start:after_failure.6
travis_time:start:1ce86d6a
$ dmesg | grep -i kill

I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact @TimNN. (Feature Requests)

src/test/ui/issues/issue-60662.rs

alexreg · 2019-05-10T16:07:20Z

@Pulkit07 This looks fine to me. Ping me when CI passes, and I'll approve the PR.

alexreg · 2019-05-10T16:08:44Z

(Maybe squash the two commits once CI passes too.)

rust-highfive · 2019-05-10T16:58:37Z

The job x86_64-gnu-llvm-6.0 of your PR failed on Travis (raw log). Through arcane magic we have determined that the following fragments from the build log may contain information about the problem.

Click to expand the log.

travis_time:end:0c6aeaa7:start=1557503056664125955,finish=1557503144594220849,duration=87930094894
$ git checkout -qf FETCH_HEAD
travis_fold:end:git.checkout

Encrypted environment variables have been removed for security reasons.
See https://docs.travis-ci.com/user/pull-requests/#pull-requests-and-security-restrictions
$ export SCCACHE_BUCKET=rust-lang-ci-sccache2
$ export SCCACHE_REGION=us-west-1
$ export GCP_CACHE_BUCKET=rust-lang-ci-cache
$ export AWS_ACCESS_KEY_ID=AKIA46X5W6CZEJZ6XT55
---
[01:12:38] ---- [ui] ui/issues/issue-60662.rs stdout ----
[01:12:38] 
[01:12:38] error: ui test compiled successfully!
[01:12:38] status: exit code: 0
[01:12:38] command: "/checkout/obj/build/x86_64-unknown-linux-gnu/stage2/bin/rustc" "/checkout/src/test/ui/issues/issue-60662.rs" "-Zthreads=1" "--target=x86_64-unknown-linux-gnu" "--error-format" "json" "-Zui-testing" "-C" "prefer-dynamic" "--out-dir" "/checkout/obj/build/x86_64-unknown-linux-gnu/test/ui/issues/issue-60662" "-Crpath" "-O" "-Zunstable-options" "-Lnative=/checkout/obj/build/x86_64-unknown-linux-gnu/native/rust-test-helpers" "-Z" "unpretty=hir" "-L" "/checkout/obj/build/x86_64-unknown-linux-gnu/test/ui/issues/issue-60662/auxiliary" "-A" "unused"
[01:12:38] ------------------------------------------
[01:12:38] ------------------------------------------
[01:12:38] // compile-flags: -Z unpretty=hir
[01:12:38] #![feature(existential_type)]
[01:12:38] #![feature(existential_type)]
[01:12:38] #[prelude_import]
[01:12:38] use ::std::prelude::v1::*;
[01:12:38] #[macro_use]
[01:12:38] extern crate std;
[01:12:38] trait Animal { }
[01:12:38] 
[01:12:38] fn main() {
[01:12:38] fn main() {
[01:12:38]               pub existential type ServeFut : Animal;
[01:12:38] 
[01:12:38] ------------------------------------------
[01:12:38] stderr:
[01:12:38] ------------------------------------------
---
[01:12:38] thread 'main' panicked at 'Some tests failed', src/tools/compiletest/src/main.rs:512:22
[01:12:38] note: Run with `RUST_BACKTRACE=1` environment variable to display a backtrace.
[01:12:38] 
[01:12:38] 
[01:12:38] command did not execute successfully: "/checkout/obj/build/x86_64-unknown-linux-gnu/stage0-tools-bin/compiletest" "--compile-lib-path" "/checkout/obj/build/x86_64-unknown-linux-gnu/stage2/lib" "--run-lib-path" "/checkout/obj/build/x86_64-unknown-linux-gnu/stage2/lib/rustlib/x86_64-unknown-linux-gnu/lib" "--rustc-path" "/checkout/obj/build/x86_64-unknown-linux-gnu/stage2/bin/rustc" "--src-base" "/checkout/src/test/ui" "--build-base" "/checkout/obj/build/x86_64-unknown-linux-gnu/test/ui" "--stage-id" "stage2-x86_64-unknown-linux-gnu" "--mode" "ui" "--target" "x86_64-unknown-linux-gnu" "--host" "x86_64-unknown-linux-gnu" "--llvm-filecheck" "/usr/lib/llvm-6.0/bin/FileCheck" "--host-rustcflags" "-Crpath -O -Zunstable-options  -Lnative=/checkout/obj/build/x86_64-unknown-linux-gnu/native/rust-test-helpers" "--target-rustcflags" "-Crpath -O -Zunstable-options  -Lnative=/checkout/obj/build/x86_64-unknown-linux-gnu/native/rust-test-helpers" "--docck-python" "/usr/bin/python2.7" "--lldb-python" "/usr/bin/python2.7" "--gdb" "/usr/bin/gdb" "--quiet" "--llvm-version" "6.0.0\n" "--system-llvm" "--cc" "" "--cxx" "" "--cflags" "" "--llvm-components" "" "--llvm-cxxflags" "" "--adb-path" "adb" "--adb-test-dir" "/data/tmp/work" "--android-cross-path" "" "--color" "always"
[01:12:38] 
[01:12:38] 
[01:12:38] failed to run: /checkout/obj/build/bootstrap/debug/bootstrap test
[01:12:38] Build completed unsuccessfully in 0:04:45
[01:12:38] Build completed unsuccessfully in 0:04:45
[01:12:38] Makefile:48: recipe for target 'check' failed
[01:12:38] make: *** [check] Error 1
The command "stamp sh -x -c "$RUN_SCRIPT"" exited with 2.
travis_time:start:020478e4
$ date && (curl -fs --head https://google.com | grep ^Date: | sed 's/Date: //g' || true)
Fri May 10 16:58:32 UTC 2019

I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact @TimNN. (Feature Requests)

cramertj · 2019-05-10T17:37:21Z

You'll need // compile-pass at the top of the test.

alexreg · 2019-05-10T18:01:04Z

Yep, what @cramertj said, plus squash. Then we should be good.

oli-obk · 2019-05-10T18:06:44Z

r? @alexreg

This fixes rust-lang#60662

alexreg · 2019-05-12T00:36:04Z

@bors r+

bors · 2019-05-12T00:36:05Z

📌 Commit 3b78a47 has been approved by alexreg

Centril · 2019-05-12T00:38:23Z

@bors rollup

alexreg · 2019-05-12T00:44:27Z

Thanks @Pulkit07!

Fix HIR printing of existential type rust-lang#60662 This fixes rust-lang#60662

@ghost

Rollup of 4 pull requests Successful merges: - #60694 (Fix HIR printing of existential type #60662) - #60750 (syntax: Remove some legacy nonterminal tokens) - #60751 (Assorted cleanup in parser & AST validation) - #60752 (Fix minor typos for ItemLocalId) Failed merges: r? @ghost

bors · 2019-05-12T23:15:26Z

⌛ Testing commit 3b78a47 with merge 4443957...

rust-highfive assigned alexcrichton May 10, 2019

rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label May 10, 2019

hellow554 suggested changes May 10, 2019

View reviewed changes

src/test/ui/issues/issue-60662.rs Show resolved Hide resolved

Centril approved these changes May 10, 2019

View reviewed changes

bors added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels May 10, 2019

rust-highfive assigned alexreg and unassigned alexcrichton May 10, 2019

Fix HIR printing of existential type rust-lang#60662

3b78a47

This fixes rust-lang#60662

Pulkit07 force-pushed the issue60662 branch from 0a5764c to 3b78a47 Compare May 11, 2019 22:53

bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. labels May 12, 2019

Centril added a commit to Centril/rust that referenced this pull request May 12, 2019

Rollup merge of rust-lang#60694 - Pulkit07:issue60662, r=alexreg

8327517

Fix HIR printing of existential type rust-lang#60662 This fixes rust-lang#60662

Centril mentioned this pull request May 12, 2019

Rollup of 4 pull requests #60767

Merged

bors merged commit 3b78a47 into rust-lang:master May 12, 2019

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Fix HIR printing of existential type #60662 #60694

Fix HIR printing of existential type #60662 #60694

Pulkit07 commented May 10, 2019

rust-highfive commented May 10, 2019

rust-highfive commented May 10, 2019

alexreg commented May 10, 2019

alexreg commented May 10, 2019

rust-highfive commented May 10, 2019

cramertj commented May 10, 2019

alexreg commented May 10, 2019

oli-obk commented May 10, 2019

alexreg commented May 12, 2019

bors commented May 12, 2019

Centril commented May 12, 2019

alexreg commented May 12, 2019

bors commented May 12, 2019

Fix HIR printing of existential type #60662 #60694

Fix HIR printing of existential type #60662 #60694

Conversation

Pulkit07 commented May 10, 2019

rust-highfive commented May 10, 2019

rust-highfive commented May 10, 2019

alexreg commented May 10, 2019

alexreg commented May 10, 2019

rust-highfive commented May 10, 2019

cramertj commented May 10, 2019

alexreg commented May 10, 2019

oli-obk commented May 10, 2019

alexreg commented May 12, 2019

bors commented May 12, 2019

Centril commented May 12, 2019

alexreg commented May 12, 2019

bors commented May 12, 2019