Skip to content

Rollup of 2 pull requests #61355

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.

Sign up for GitHub

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

Jump to bottom
Closed
wants to merge 6 commits into from
Closed

Rollup of 2 pull requests #61355

wants to merge 6 commits into from

Conversation

Centril
Copy link
Contributor

@Centril Centril commented May 30, 2019

Successful merges:

Failed merges:

r? @ghost

memoryruins and others added 6 commits May 30, 2019 04:13
@memoryruins
Set ellipsis_inclusive_range_patterns lint to warn
bf0da6c
@oli-obk
Symbol name predicate list printed + excessively
14178ef
@oli-obk
Make the type_name intrinsic's output deterministic
5b98489
@memoryruins
Update ui and run-pass for ellipsis_inclusive_range_patterns lint
e18885e
@Centril
Rollup merge of rust-lang#60166 - oli-obk:type_name, r=eddyb
c79244b 
Make the `type_name` intrinsic deterministic

cc @eddyb for the printing infrastructure
cc @Centril for the deterministic (coherent?) output

r? @sfackler
@Centril
Rollup merge of rust-lang#61342 - memoryruins:ellipsis_inclusive_rang…
d1d35ce 
…e_patterns, r=Centril

Set ellipsis_inclusive_range_patterns lint to warn

Continuing rust-lang#54910, the `ellipsis_inclusive_range_patterns` lint is set to warn.

r? @Centril
@Centril Centril closed this May 30, 2019
@Centril Centril deleted the rollup-mi7u9qj branch May 30, 2019 15:05
@rust-highfive
Copy link
Contributor

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.

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)

@Centril Centril added the rollup A PR which is a rollup label Oct 24, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
rollup A PR which is a rollup
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@Centril @rust-highfive @memoryruins @oli-obk