New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Introduce `TyKind::UnnormalizedProjection` #54789

Merged
merged 2 commits into from Oct 4, 2018

Conversation

Projects
None yet
4 participants
@scalexm
Member

scalexm commented Oct 3, 2018

Introduce a new variant used for lazy normalization in chalk integration. Mostly bug! everywhere.

r? @nikomatsakis

@rust-highfive

This comment has been minimized.

Show comment
Hide comment
@rust-highfive

rust-highfive Oct 3, 2018

Collaborator

The job x86_64-gnu-llvm-5.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.
[00:37:36]    Compiling parking_lot_core v0.3.0
[00:37:36]    Compiling tempfile v3.0.3
[00:37:37]    Compiling parking_lot v0.6.4
[00:37:38]    Compiling rustdoc v0.0.0 (/checkout/src/librustdoc)
[00:37:44] error[E0004]: non-exhaustive patterns: `UnnormalizedProjection(_)` not covered
[00:37:44]     --> librustdoc/clean/mod.rs:2565:15
[00:37:44] 2565 |         match self.sty {
[00:37:44] 2565 |         match self.sty {
[00:37:44]      |               ^^^^^^^^ pattern `UnnormalizedProjection(_)` not covered
[00:37:44] error: aborting due to previous error
[00:37:44] 
[00:37:44] For more information about this error, try `rustc --explain E0004`.
[00:37:44] error: Could not compile `rustdoc`.
---
[00:37:44] 
[00:37:44] 
[00:37:44] failed to run: /checkout/obj/build/bootstrap/debug/bootstrap build
[00:37:44] Build completed unsuccessfully in 0:33:27
[00:37:44] Makefile:28: recipe for target 'all' failed
[00:37:44] make: *** [all] Error 1

The command "stamp sh -x -c "$RUN_SCRIPT"" exited with 2.
travis_time:start:08851380
$ date && (curl -fs --head https://google.com | grep ^Date: | sed 's/Date: //g' || true)

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)

Collaborator

rust-highfive commented Oct 3, 2018

The job x86_64-gnu-llvm-5.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.
[00:37:36]    Compiling parking_lot_core v0.3.0
[00:37:36]    Compiling tempfile v3.0.3
[00:37:37]    Compiling parking_lot v0.6.4
[00:37:38]    Compiling rustdoc v0.0.0 (/checkout/src/librustdoc)
[00:37:44] error[E0004]: non-exhaustive patterns: `UnnormalizedProjection(_)` not covered
[00:37:44]     --> librustdoc/clean/mod.rs:2565:15
[00:37:44] 2565 |         match self.sty {
[00:37:44] 2565 |         match self.sty {
[00:37:44]      |               ^^^^^^^^ pattern `UnnormalizedProjection(_)` not covered
[00:37:44] error: aborting due to previous error
[00:37:44] 
[00:37:44] For more information about this error, try `rustc --explain E0004`.
[00:37:44] error: Could not compile `rustdoc`.
---
[00:37:44] 
[00:37:44] 
[00:37:44] failed to run: /checkout/obj/build/bootstrap/debug/bootstrap build
[00:37:44] Build completed unsuccessfully in 0:33:27
[00:37:44] Makefile:28: recipe for target 'all' failed
[00:37:44] make: *** [all] Error 1

The command "stamp sh -x -c "$RUN_SCRIPT"" exited with 2.
travis_time:start:08851380
$ date && (curl -fs --head https://google.com | grep ^Date: | sed 's/Date: //g' || true)

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)

@nikomatsakis

This comment has been minimized.

Show comment
Hide comment
@nikomatsakis

nikomatsakis Oct 3, 2018

Contributor

@bors r+

Contributor

nikomatsakis commented Oct 3, 2018

@bors r+

@bors

This comment has been minimized.

Show comment
Hide comment
@bors

bors Oct 3, 2018

Contributor

📌 Commit edb3f97 has been approved by nikomatsakis

Contributor

bors commented Oct 3, 2018

📌 Commit edb3f97 has been approved by nikomatsakis

pietroalbini added a commit to pietroalbini/rust that referenced this pull request Oct 3, 2018

Rollup merge of rust-lang#54789 - scalexm:unnormalized, r=nikomatsakis
Introduce `TyKind::UnnormalizedProjection`

Introduce a new variant used for lazy normalization in chalk integration. Mostly `bug!` everywhere.

r? @nikomatsakis

bors added a commit that referenced this pull request Oct 3, 2018

Auto merge of #54796 - pietroalbini:rollup, r=pietroalbini
Rollup of 10 pull requests

Successful merges:

 - #53523 (Add doc for impl From for Std Error)
 - #54624 (handle outlives predicates in trait evaluation)
 - #54734 (Fix range literals borrowing suggestions)
 - #54761 (Make spec_extend use for_each())
 - #54769 (Fix typo in CONTRIBUTING.md)
 - #54773 (Update a FIXME in memory.rs)
 - #54777 (abolish ICE when pretty-printing async block)
 - #54780 (Remove duplicate predicates in `explicit_predicates_of`)
 - #54788 (A handful of cleanups for rustc/mir)
 - #54789 (Introduce `TyKind::UnnormalizedProjection`)

Failed merges:

r? @ghost

pietroalbini added a commit to pietroalbini/rust that referenced this pull request Oct 4, 2018

Rollup merge of rust-lang#54789 - scalexm:unnormalized, r=nikomatsakis
Introduce `TyKind::UnnormalizedProjection`

Introduce a new variant used for lazy normalization in chalk integration. Mostly `bug!` everywhere.

r? @nikomatsakis

bors added a commit that referenced this pull request Oct 4, 2018

Auto merge of #54809 - pietroalbini:rollup, r=pietroalbini
Rollup of 10 pull requests

Successful merges:

 - #53523 (Add doc for impl From for Std Error)
 - #54746 (simplify some unused lints code)
 - #54761 (Make spec_extend use for_each())
 - #54769 (Fix typo in CONTRIBUTING.md)
 - #54773 (Update a FIXME in memory.rs)
 - #54777 (abolish ICE when pretty-printing async block)
 - #54780 (Remove duplicate predicates in `explicit_predicates_of`)
 - #54788 (A handful of cleanups for rustc/mir)
 - #54789 (Introduce `TyKind::UnnormalizedProjection`)
 - #54795 (remove padding from multiline format string label)

Failed merges:

r? @ghost
@bors

This comment has been minimized.

Show comment
Hide comment
@bors

bors Oct 4, 2018

Contributor

☔️ The latest upstream changes (presumably #54809) made this pull request unmergeable. Please resolve the merge conflicts.

Contributor

bors commented Oct 4, 2018

☔️ The latest upstream changes (presumably #54809) made this pull request unmergeable. Please resolve the merge conflicts.

@bors bors merged commit edb3f97 into rust-lang:master Oct 4, 2018

1 check passed

continuous-integration/travis-ci/pr The Travis CI build passed
Details
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment