]> git.lizzy.rs Git - rust.git/log
rust.git
6 years agoAuto merge of #48523 - varkor:generics-ty-generalisations, r=nikomatsakis
bors [Tue, 15 May 2018 23:03:04 +0000 (23:03 +0000)]
Auto merge of #48523 - varkor:generics-ty-generalisations, r=nikomatsakis

The Great Generics Generalisation: Ty Edition

Part of the generic parameter refactoring effort, split off from https://github.com/rust-lang/rust/pull/48149. Contains the `ty`-relative refactoring.

r? @eddyb

6 years agoAuto merge of #50767 - oli-obk:rls_clippy, r=kennytm
bors [Tue, 15 May 2018 20:18:13 +0000 (20:18 +0000)]
Auto merge of #50767 - oli-obk:rls_clippy, r=kennytm

Don't inject clippy into the rls anymore

r? @kennytm

sorry about breaking nightlies.

The issue is that the `[patch.crates-io]` doesn't work if the versions differ. So every time we update clippy, we can only update it to the verison that rls is depending on.

I'm disabling the injection of clippy into rls for now. I'm not sure how to do this properly. We could

* add a version check, so rls only builds clippy if its dependency clippy is the same as the submodule clippy
* do something crazy like auto-patching the Cargo.toml of the rls tool repo to just use a path dependency on clippy
* build crates-io clippy instead of submodule clippy and gate clippy injection on that
    * that's somewhat automatic, and is essentially what is necessary right now, but done manually
* make clippy 0.1.* instead of 0.0.* and update patch versions for nightly updates and minor version updates for `clippy_lints` api changes.
    * not sure how semver-great this is

6 years agoOne must always remember to clean up after themselves
varkor [Tue, 15 May 2018 13:52:53 +0000 (14:52 +0100)]
One must always remember to clean up after themselves

6 years agoCollapse Substs::identity_for_item in collect
varkor [Tue, 15 May 2018 12:53:20 +0000 (13:53 +0100)]
Collapse Substs::identity_for_item in collect

6 years agoClean up dropck_outlives PhantomData handling
varkor [Tue, 15 May 2018 12:48:04 +0000 (13:48 +0100)]
Clean up dropck_outlives PhantomData handling

6 years agoAdd mk_param_from_def
varkor [Tue, 15 May 2018 12:35:53 +0000 (13:35 +0100)]
Add mk_param_from_def

6 years agoUse Kind instead of UnpackedKind in Substs methods
varkor [Tue, 15 May 2018 12:15:49 +0000 (13:15 +0100)]
Use Kind instead of UnpackedKind in Substs methods

6 years agoClean up shared subst code
varkor [Mon, 14 May 2018 18:57:59 +0000 (19:57 +0100)]
Clean up shared subst code

6 years agoRefactor Substs methods on generic parameters
varkor [Mon, 14 May 2018 17:27:13 +0000 (18:27 +0100)]
Refactor Substs methods on generic parameters

6 years agoClean up generic param handling
varkor [Mon, 14 May 2018 11:49:32 +0000 (12:49 +0100)]
Clean up generic param handling

6 years agoUpdate bad-annotation error message
varkor [Fri, 11 May 2018 15:46:38 +0000 (16:46 +0100)]
Update bad-annotation error message

6 years agoRefactoring generic counting loops
varkor [Fri, 11 May 2018 15:12:56 +0000 (16:12 +0100)]
Refactoring generic counting loops

6 years agoReview refactoring
varkor [Fri, 11 May 2018 00:56:05 +0000 (01:56 +0100)]
Review refactoring

6 years agoRename param_counts to own_counts
varkor [Thu, 10 May 2018 23:30:34 +0000 (00:30 +0100)]
Rename param_counts to own_counts

6 years agoRemove GenericParamDef::to_type
varkor [Thu, 10 May 2018 23:29:38 +0000 (00:29 +0100)]
Remove GenericParamDef::to_type

6 years agoLift pure_wrt_drop to GenericParamDef
varkor [Thu, 10 May 2018 22:46:57 +0000 (23:46 +0100)]
Lift pure_wrt_drop to GenericParamDef

6 years agoRefactor generic params loops
varkor [Thu, 10 May 2018 22:02:41 +0000 (23:02 +0100)]
Refactor generic params loops

6 years agoFix rebase fallout
varkor [Fri, 27 Apr 2018 22:44:25 +0000 (23:44 +0100)]
Fix rebase fallout

6 years agoRename RegionParamDef to LifetimeParamDef
varkor [Wed, 18 Apr 2018 23:41:29 +0000 (00:41 +0100)]
Rename RegionParamDef to LifetimeParamDef

6 years agoPull common parameters into GenericParamDef
varkor [Wed, 18 Apr 2018 23:40:22 +0000 (00:40 +0100)]
Pull common parameters into GenericParamDef

This leads to a lot of simplifications, as most code doesn't actually need to know about the specific lifetime/type data; rather, it's concerned with properties like name, index and def_id.

6 years agoInline get_type
varkor [Wed, 18 Apr 2018 16:54:05 +0000 (17:54 +0100)]
Inline get_type

6 years agoFix typo in late-bound region testing message
varkor [Wed, 18 Apr 2018 17:32:45 +0000 (18:32 +0100)]
Fix typo in late-bound region testing message

6 years agoRefactor to address comments
varkor [Wed, 18 Apr 2018 16:15:53 +0000 (17:15 +0100)]
Refactor to address comments

6 years agoReplace type_param_to_index with param_def_id_to_index
varkor [Wed, 18 Apr 2018 11:45:13 +0000 (12:45 +0100)]
Replace type_param_to_index with param_def_id_to_index

6 years agoUse GenericParamCount instead of FxHashMap
varkor [Wed, 18 Apr 2018 10:33:52 +0000 (11:33 +0100)]
Use GenericParamCount instead of FxHashMap

6 years agoPlace Self at the start of ty::Generics' param lists
varkor [Sun, 15 Apr 2018 00:36:31 +0000 (01:36 +0100)]
Place Self at the start of ty::Generics' param lists

6 years agoCorrect variable renaming fallout
varkor [Sat, 14 Apr 2018 23:22:29 +0000 (00:22 +0100)]
Correct variable renaming fallout

6 years agoEliminate ty::Generics::types()
varkor [Sat, 14 Apr 2018 18:20:51 +0000 (19:20 +0100)]
Eliminate ty::Generics::types()

And with one final incanation, the specific kind iterators were banished from ty::Generics, never to be seen again!

6 years agoEliminate ty::Generics::lifetimes()
varkor [Fri, 13 Apr 2018 23:07:25 +0000 (00:07 +0100)]
Eliminate ty::Generics::lifetimes()

Begone lazy lifetime code!

6 years agoGeneralise more cases of explicit iteration of specific kinds
varkor [Fri, 13 Apr 2018 22:12:14 +0000 (23:12 +0100)]
Generalise more cases of explicit iteration of specific kinds

6 years agoGeneralise cases of explicit iteration of specific kinds
varkor [Thu, 12 Apr 2018 23:57:38 +0000 (00:57 +0100)]
Generalise cases of explicit iteration of specific kinds

6 years agoFix tidy errors caused by renaming
varkor [Thu, 12 Apr 2018 19:36:18 +0000 (20:36 +0100)]
Fix tidy errors caused by renaming

6 years agoRename TypeParameterDef -> TypeParamDef and RegionParameterDef -> RegionParamDef
varkor [Thu, 12 Apr 2018 19:29:44 +0000 (20:29 +0100)]
Rename TypeParameterDef -> TypeParamDef and RegionParameterDef -> RegionParamDef

6 years agoRename GenericParam to GenericParamDef
varkor [Thu, 12 Apr 2018 16:53:29 +0000 (17:53 +0100)]
Rename GenericParam to GenericParamDef

6 years agoRename `has_type_parameters` to `requires_monomorphization`
varkor [Thu, 12 Apr 2018 16:51:08 +0000 (17:51 +0100)]
Rename `has_type_parameters` to `requires_monomorphization`

6 years agoFix generics type parameter handling in miri
varkor [Mon, 12 Mar 2018 12:47:03 +0000 (12:47 +0000)]
Fix generics type parameter handling in miri

6 years agoInline Generics::own_count
varkor [Thu, 8 Mar 2018 12:10:13 +0000 (12:10 +0000)]
Inline Generics::own_count

6 years agoPrefer iterator to vec
varkor [Sun, 25 Feb 2018 00:31:26 +0000 (00:31 +0000)]
Prefer iterator to vec

6 years agoRename ty::GenericParameterDef to GenericParam
varkor [Sun, 25 Feb 2018 00:01:05 +0000 (00:01 +0000)]
Rename ty::GenericParameterDef to GenericParam

6 years agoRename ty::Generics::parameters to params
varkor [Sat, 24 Feb 2018 02:40:40 +0000 (02:40 +0000)]
Rename ty::Generics::parameters to params

6 years agoReduce parent_params to parent_count
varkor [Sat, 24 Feb 2018 18:29:40 +0000 (18:29 +0000)]
Reduce parent_params to parent_count

6 years agoConsolidate ty::Generics
varkor [Thu, 8 Mar 2018 10:39:31 +0000 (10:39 +0000)]
Consolidate ty::Generics

6 years agoAuto merge of #50769 - GuillaumeGomez:rollup, r=GuillaumeGomez
bors [Tue, 15 May 2018 13:14:08 +0000 (13:14 +0000)]
Auto merge of #50769 - GuillaumeGomez:rollup, r=GuillaumeGomez

Rollup of 11 pull requests

Successful merges:

 - #49767 (Rewrite docs for `std::ptr`)
 - #50399 (save-analysis: handle aliasing imports a bit more nicely)
 - #50594 (Update the man page with additional --print options)
 - #50613 (Migrate the toolstate update bot to rust-highfive)
 - #50632 (Add minification process)
 - #50685 (ci: Add Dockerfile for dist-sparc64-linux)
 - #50691 (rustdoc: Add support for pub(restricted))
 - #50712 (Improve eager type resolution error message)
 - #50720 (Add “Examples” section header in f32/f64 doc comments.)
 - #50733 (Hyperlink DOI against preferred resolver)
 - #50745 (Uncapitalize "You")

Failed merges:

6 years agoRollup merge of #50745 - kraai:patch-1, r=kennytm
Guillaume Gomez [Tue, 15 May 2018 12:27:06 +0000 (14:27 +0200)]
Rollup merge of #50745 - kraai:patch-1, r=kennytm

Uncapitalize "You"

6 years agoRollup merge of #50733 - katrinleinweber:patch-secure-DOI, r=kennytm
Guillaume Gomez [Tue, 15 May 2018 12:27:05 +0000 (14:27 +0200)]
Rollup merge of #50733 - katrinleinweber:patch-secure-DOI, r=kennytm

Hyperlink DOI against preferred resolver

Hello :-)  The DOI foundation recommends [this new, secure resolver](https://www.doi.org/doi_handbook/3_Resolution.html#3.8). Accordingly, this PR updates a DOI link.

6 years agoRollup merge of #50720 - frewsxcv:frewsxcv-examples, r=QuietMisdreavus
Guillaume Gomez [Tue, 15 May 2018 12:27:04 +0000 (14:27 +0200)]
Rollup merge of #50720 - frewsxcv:frewsxcv-examples, r=QuietMisdreavus

Add “Examples” section header in f32/f64 doc comments.

This is recommend by [RFC 0505] and as far as I know, the only primitive
types without this heading.

[RFC 0505]: https://github.com/rust-lang/rfcs/blob/c892139be692586e0846fbf934be6fceec17f329/text/0505-api-comment-conventions.md#using-markdown

6 years agoRollup merge of #50712 - leodasvacas:improve-eager-resolution-error-message, r=estebank
Guillaume Gomez [Tue, 15 May 2018 12:27:02 +0000 (14:27 +0200)]
Rollup merge of #50712 - leodasvacas:improve-eager-resolution-error-message, r=estebank

Improve eager type resolution error message

This PR improves the span of eager resolution type errors referring to indexing and field access to use the base span rather than the whole expression.

Also a "note: type must be known at this point" is added where in the past we emitted the "type must be known at this context" error, so that early failures can be differentiated and will hopefully be less surprising.

Fixes #50692 (or at least does the best we can for the moment)

r? @estebank

6 years agoRollup merge of #50691 - ollie27:rustdoc_pub_restricted, r=QuietMisdreavus
Guillaume Gomez [Tue, 15 May 2018 12:27:01 +0000 (14:27 +0200)]
Rollup merge of #50691 - ollie27:rustdoc_pub_restricted, r=QuietMisdreavus

rustdoc: Add support for pub(restricted)

This is useful when using `--document-private-items`.

r? @QuietMisdreavus

6 years agoRollup merge of #50685 - glaubitz:sparc64-linux, r=alexcrichton
Guillaume Gomez [Tue, 15 May 2018 12:27:00 +0000 (14:27 +0200)]
Rollup merge of #50685 - glaubitz:sparc64-linux, r=alexcrichton

ci: Add Dockerfile for dist-sparc64-linux

This addresses https://github.com/rust-lang/rust/issues/47903.

6 years agoRollup merge of #50632 - GuillaumeGomez:minification, r=ollie27
Guillaume Gomez [Tue, 15 May 2018 12:26:59 +0000 (14:26 +0200)]
Rollup merge of #50632 - GuillaumeGomez:minification, r=ollie27

Add minification process

r? @QuietMisdreavus

6 years agoRollup merge of #50613 - kennytm:update-toolstate-with-highfive, r=alexcrichton
Guillaume Gomez [Tue, 15 May 2018 12:26:57 +0000 (14:26 +0200)]
Rollup merge of #50613 - kennytm:update-toolstate-with-highfive, r=alexcrichton

Migrate the toolstate update bot to rust-highfive

Rationale: Only members of the rust-lang organization can mention its teams. That means #50434 has no effect if we are still using @kennytm-githubbot.

6 years agoRollup merge of #50594 - sanxiyn:man-print, r=steveklabnik
Guillaume Gomez [Tue, 15 May 2018 12:26:56 +0000 (14:26 +0200)]
Rollup merge of #50594 - sanxiyn:man-print, r=steveklabnik

Update the man page with additional --print options

`\:` is a `groff` for `<wbr>` to get better line breaking.

6 years agoRollup merge of #50399 - nrc:alias, r=eddyb
Guillaume Gomez [Tue, 15 May 2018 12:26:55 +0000 (14:26 +0200)]
Rollup merge of #50399 - nrc:alias, r=eddyb

save-analysis: handle aliasing imports a bit more nicely

r? @eddyb

6 years agoRollup merge of #49767 - ecstatic-morse:ptr-docs, r=steveklabnik
Guillaume Gomez [Tue, 15 May 2018 12:26:54 +0000 (14:26 +0200)]
Rollup merge of #49767 - ecstatic-morse:ptr-docs, r=steveklabnik

Rewrite docs for `std::ptr`

This PR attempts to resolve #29371.

This is a fairly major rewrite of the `std::ptr` docs, and deserves a fair bit of scrutiny. It adds links to the GNU libc docs for various instrinsics, adds internal links to types and functions referenced in the docs, adds new, more complex examples for many functions, and introduces a common template for discussing unsafety of functions in `std::ptr`.

All functions in `std::ptr` (with the exception of `ptr::eq`) are unsafe because they either read from or write to a raw pointer. The "Safety" section now informs that the function is unsafe because it dereferences a raw pointer and requires that any pointer to be read by the function points to "a valid vaue of type `T`".

Additionally, each function imposes some subset of the following conditions on its arguments.

* The pointer points to valid memory.
* The pointer points to initialized memory.
* The pointer is properly aligned.

These requirements are discussed in the "Undefined Behavior" section along with the  consequences of using functions that perform bitwise copies without requiring `T: Copy`. I don't love my new descriptions of the consequences of making such copies. Perhaps the old ones were good enough?

Some issues which still need to be addressed before this is merged:
- [ ] The new docs assert that `drop_in_place` is equivalent to calling `read` and discarding the value. Is this correct?
- [ ] Do `write_bytes` and `swap_nonoverlapping` require properly aligned pointers?
- [ ] The new example for `drop_in_place` is a lackluster.
- [ ] Should these docs rigorously define what `valid` memory is? Or should is that the job of the reference? Should we link to the reference?
- [ ] Is it correct to require that pointers that will be read from refer to "valid values of type `T`"?
- [x] I can't imagine ever using `{read,write}_volatile` with non-`Copy` types.  Should I just link to {read,write} and say that the same issues with non-`Copy` types apply?
- [x] `write_volatile` doesn't link back to `read_volatile`.
- [ ] Update docs for the unstable [`swap_nonoverlapping`](https://github.com/rust-lang/rust/issues/42818)
- [ ] Update docs for the unstable [unsafe pointer methods RFC](https://github.com/rust-lang/rfcs/pull/1966)

Looking forward to your feedback.

r? @steveklabnik

6 years agoAuto merge of #50351 - varkor:vestigial-never-conversion, r=nikomatsakis
bors [Tue, 15 May 2018 10:34:45 +0000 (10:34 +0000)]
Auto merge of #50351 - varkor:vestigial-never-conversion, r=nikomatsakis

Remove vestigial diverging !-coercion

Such conversions are no longer permitted. Fixes #50350.

r? @nikomatsakis

6 years agoDon't inject clippy into the rls anymore
Oliver Schneider [Tue, 15 May 2018 09:34:24 +0000 (11:34 +0200)]
Don't inject clippy into the rls anymore

6 years agosave-analysis: handle aliasing imports a bit more nicely
Nick Cameron [Tue, 15 May 2018 08:34:17 +0000 (20:34 +1200)]
save-analysis: handle aliasing imports a bit more nicely

6 years agoAuto merge of #50748 - steveklabnik:remove-simd-note, r=alexcrichton
bors [Tue, 15 May 2018 08:19:06 +0000 (08:19 +0000)]
Auto merge of #50748 - steveklabnik:remove-simd-note, r=alexcrichton

Update stdsimd module

to include https://github.com/rust-lang-nursery/stdsimd/commit/a19ca1cd91cf97777af8268a6136bd2e4648e189

6 years agoAuto merge of #50259 - GuillaumeGomez:improve-results, r=ollie27
bors [Tue, 15 May 2018 05:39:35 +0000 (05:39 +0000)]
Auto merge of #50259 - GuillaumeGomez:improve-results, r=ollie27

Rustdoc improvements

Fixes #50658. (last commit)

A lot of small improvements.

r? @QuietMisdreavus

6 years agoAuto merge of #50011 - varkor:partialord-opt-ii, r=Manishearth
bors [Tue, 15 May 2018 03:14:46 +0000 (03:14 +0000)]
Auto merge of #50011 - varkor:partialord-opt-ii, r=Manishearth

Ensure derive(PartialOrd) is no longer accidentally exponential

Previously, two comparison operations would be generated for each field, each of which could delegate to another derived PartialOrd. Now we use ordering and optional chaining to ensure each pair of fields is only compared once, addressing https://github.com/rust-lang/rust/issues/49650#issuecomment-379467572.

Closes #49505.

r? @Manishearth (sorry for changing it again so soon!)

Close #50755

6 years agoAuto merge of #50705 - oli-obk:clippy, r=kennytm
bors [Tue, 15 May 2018 00:35:47 +0000 (00:35 +0000)]
Auto merge of #50705 - oli-obk:clippy, r=kennytm

Update clippy

r? @Manishearth

@bors p=1

6 years agoci: Add Dockerfile for dist-sparc64-linux
John Paul Adrian Glaubitz [Sat, 12 May 2018 12:34:41 +0000 (14:34 +0200)]
ci: Add Dockerfile for dist-sparc64-linux

6 years agoAuto merge of #50693 - dlrobertson:fix_50493, r=petrochenkov
bors [Mon, 14 May 2018 20:46:09 +0000 (20:46 +0000)]
Auto merge of #50693 - dlrobertson:fix_50493, r=petrochenkov

typeck: Save the index of private fields

Save the index of all fields regardless of their visibility. Problems
could occur later when attempting to index fields in error recovery if
they are not inserted.

Fixes: #50493
6 years agoAuto merge of #50735 - eddyb:issue-50731, r=nikomatsakis
bors [Mon, 14 May 2018 18:04:11 +0000 (18:04 +0000)]
Auto merge of #50735 - eddyb:issue-50731, r=nikomatsakis

rustc: don't trip an assertion for enums with present but uninhabited variants.

Fixes #50731.

r? @nikomatsakis

6 years agoUpdate stdsimd module to include https://github.com/rust-lang-nursery/stdsimd/commit...
steveklabnik [Mon, 14 May 2018 16:32:04 +0000 (12:32 -0400)]
Update stdsimd module to include https://github.com/rust-lang-nursery/stdsimd/commit/a19ca1cd91cf97777af8268a6136bd2e4648e189

6 years agoMigrate the toolstate update bot to rust-highfive
kennytm [Thu, 10 May 2018 17:08:58 +0000 (01:08 +0800)]
Migrate the toolstate update bot to rust-highfive

6 years agoUncapitalize "You"
Matt Kraai [Mon, 14 May 2018 14:15:48 +0000 (07:15 -0700)]
Uncapitalize "You"

6 years agoBump clippy
Oliver Schneider [Mon, 14 May 2018 14:11:24 +0000 (16:11 +0200)]
Bump clippy

6 years agoAuto merge of #50385 - durka:stabilize-macro-lifetime, r=petrochenkov
bors [Mon, 14 May 2018 12:24:45 +0000 (12:24 +0000)]
Auto merge of #50385 - durka:stabilize-macro-lifetime, r=petrochenkov

stabilize macro_lifetime_matcher

This stabilizes `:lifetime` which has completed FCP in #34303.

6 years agoAuto merge of #50648 - nox:volatile-store, r=eddyb
bors [Mon, 14 May 2018 10:00:41 +0000 (10:00 +0000)]
Auto merge of #50648 - nox:volatile-store, r=eddyb

Fix volatile_store and nontemporal_store

Fixes #50371.

6 years agorustc: don't trip an assertion for enums with present but uninhabited variants.
Eduard-Mihai Burtescu [Mon, 14 May 2018 09:23:12 +0000 (12:23 +0300)]
rustc: don't trip an assertion for enums with present but uninhabited variants.

6 years agoAuto merge of #50703 - semarie:openbsd-libcompiler_builtins, r=alexcrichton
bors [Mon, 14 May 2018 07:28:48 +0000 (07:28 +0000)]
Auto merge of #50703 - semarie:openbsd-libcompiler_builtins, r=alexcrichton

update libcompiler_builtins

let's OpenBSD to use libcompiler_rt.a from system library. it unbreaks
the build from source on OpenBSD.

see https://github.com/rust-lang-nursery/compiler-builtins/pull/241 for related PR

note this PR brings some other changes (on `floatdisf`/`floatundisf`) with compiler-builtins update.

r? @alexcrichton

6 years agoHyperlink DOI against preferred resolver
Katrin Leinweber [Mon, 14 May 2018 05:17:56 +0000 (07:17 +0200)]
Hyperlink DOI against preferred resolver

https://www.doi.org/doi_handbook/3_Resolution.html#3.8

6 years agoAuto merge of #50694 - leodasvacas:fix-impl-trait-self-substitution, r=petrochenkov
bors [Mon, 14 May 2018 04:56:56 +0000 (04:56 +0000)]
Auto merge of #50694 - leodasvacas:fix-impl-trait-self-substitution, r=petrochenkov

Fix self referential impl Trait substitutions

A high impact bug because a lot of common traits use a `Self` substitution by default. Should be backported to beta.

There was a check for this which wasn't catching all cases, it was made more robust.

Fixes #49376
Fixes #50626

r? @petrochenkov

6 years agoAuto merge of #50675 - csmoe:var_span, r=oli-obk
bors [Mon, 14 May 2018 02:24:13 +0000 (02:24 +0000)]
Auto merge of #50675 - csmoe:var_span, r=oli-obk

Reduce span highlighted code in unused_variables lint

Fixes #50472
- [X] reduce var span
- [ ] mark applicable

Before:
```
mut unused_mut_var
^^^^^^^^^^^^^^^^^^
```
After:
```
mut unused_mut_var
    ^^^^^^^^^^^^^^
```

6 years agotypeck: Save the index of private fields
Dan Robertson [Sat, 12 May 2018 19:04:44 +0000 (19:04 +0000)]
typeck: Save the index of private fields

Save the index of all fields regardless of their visibility. Problems
could occur later when attempting to index fields in error recovery if
they are not inserted.

6 years agoAdd “Examples” section header in f32/f64 doc comments.
Corey Farwell [Sun, 13 May 2018 19:54:40 +0000 (15:54 -0400)]
Add “Examples” section header in f32/f64 doc comments.

This is recommend by [RFC 0505] and as far as I know, the only primitive
types without this heading.

[RFC 0505]: https://github.com/rust-lang/rfcs/blob/c892139be692586e0846fbf934be6fceec17f329/text/0505-api-comment-conventions.md#using-markdown

6 years agorestore feature for stage0
Alex Burka [Thu, 10 May 2018 02:01:03 +0000 (02:01 +0000)]
restore feature for stage0

6 years agoremove stray ui stderr
Alex Burka [Wed, 2 May 2018 04:38:08 +0000 (04:38 +0000)]
remove stray ui stderr

6 years agostabilize :lifetime
Alex Burka [Wed, 2 May 2018 03:02:05 +0000 (03:02 +0000)]
stabilize :lifetime

6 years agoAuto merge of #49835 - da-x:literal-fragment-pr, r=petrochenkov
bors [Sun, 13 May 2018 17:07:38 +0000 (17:07 +0000)]
Auto merge of #49835 - da-x:literal-fragment-pr, r=petrochenkov

Macros: Add a 'literal' fragment specifier

See: https://github.com/rust-lang/rust/issues/35625

```rust

macro_rules! test_literal {
    ($l:literal) => {
        println!("literal: {}", $l);
    };
    ($e:expr) => {
        println!("expr: {}", $e);
    };
}

fn main() {
    let a = 1;
    test_literal!(a);
    test_literal!(2);
    test_literal!(-3);
}
```

Output:

```
expr: 1
literal: 2
literal: -3
```

ToDo:

* [x] Feature gate
* [x] Basic tests
* [x] Tests for range patterns
* [x] Tests for attributes
* [x] Documentation
* [x] Fix for `true`/`false`
* [x] Fix for negative number literals

6 years agoMacros: Add a 'literal' fragment specifier
Dan Aloni [Mon, 9 Apr 2018 23:08:47 +0000 (02:08 +0300)]
Macros: Add a 'literal' fragment specifier

Implements RFC 1576.

See: https://github.com/rust-lang/rfcs/blob/master/text/1576-macros-literal-matcher.md

Changes are mostly in libsyntax, docs, and tests. Feature gate is
enabled for 1.27.0.

Many thanks to Vadim Petrochenkov for following through code reviews
and suggestions.

Example:

````rust

macro_rules! test_literal {
    ($l:literal) => {
        println!("literal: {}", $l);
    };
    ($e:expr) => {
        println!("expr: {}", $e);
    };
}

fn main() {
    let a = 1;
    test_literal!(a);
    test_literal!(2);
    test_literal!(-3);
}
```

Output:

```
expr: 1
literal: 2
literal: -3
```

6 years agoImprove eager type resolution error message
leonardo.yvens [Sun, 13 May 2018 15:52:50 +0000 (12:52 -0300)]
Improve eager type resolution error message

This PR improves the span of eager resolution type errors referring to indexing and field access to use the base span rather than the whole expression.

Also a note "Type must be known at this point." is added to where we at some point in the past emitted the "type must be known at this context" error, so that early failures can be differentiated and will hopefully be less surprising.

Fixes #50692 (or at least does the best we can for the moment)

r? @estebank

6 years agoRevert "mark applicability"
csmoe [Sun, 13 May 2018 14:56:37 +0000 (22:56 +0800)]
Revert "mark applicability"

This reverts commit a8809711285d2375ee98177f9e78090047514fb2.

6 years agomark applicability
csmoe [Sun, 13 May 2018 13:10:15 +0000 (21:10 +0800)]
mark applicability

6 years agoAuto merge of #50704 - kennytm:rollup, r=kennytm
bors [Sun, 13 May 2018 11:32:21 +0000 (11:32 +0000)]
Auto merge of #50704 - kennytm:rollup, r=kennytm

Rollup of 8 pull requests

Successful merges:

 - #50624 (fs::write: Add example writing a &str)
 - #50634 (Do not silently truncate offsets for `read_at`/`write_at` on emscripten)
 - #50644 (AppVeyor: Read back trace from crash dump on failure.)
 - #50661 (Ignore non .rs files for tidy libcoretest)
 - #50663 (rustc: Allow an edition's feature on that edition)
 - #50667 (rustc: Only suggest deleting `extern crate` if it works)
 - #50670 (rustc: Include semicolon when removing `extern crate`)
 - #50678 (Update openbsd targets)

Failed merges:

6 years agoRollup merge of #50678 - semarie:openbsd-targets, r=sanxiyn
kennytm [Sun, 13 May 2018 09:27:07 +0000 (17:27 +0800)]
Rollup merge of #50678 - semarie:openbsd-targets, r=sanxiyn

Update openbsd targets

- add a new target `aarch64-unknown-openbsd`
- update `i686-unknown-openbsd` to use lld with clang, in order to correctly link binaries with `i128`

6 years agoRollup merge of #50670 - alexcrichton:remove-extern-crate-correct-span, r=Manishearth
kennytm [Sun, 13 May 2018 08:15:49 +0000 (16:15 +0800)]
Rollup merge of #50670 - alexcrichton:remove-extern-crate-correct-span, r=Manishearth

rustc: Include semicolon when removing `extern crate`

Currently the lint for removing `extern crate` suggests removing `extern crate`
most of the time, but the rest of the time it suggest replacing it with `use
crate_name`. Unfortunately though when spliced into the original code you're
replacing

    extern crate foo;

with

    use foo

which is syntactically invalid! This commit ensure that the trailing semicolon
is included in rustc's suggestion to ensure that the code continues to compile
afterwards.

6 years agoRollup merge of #50667 - alexcrichton:no-remove-extern-crate-unless-works, r=Manishearth
kennytm [Sun, 13 May 2018 08:15:47 +0000 (16:15 +0800)]
Rollup merge of #50667 - alexcrichton:no-remove-extern-crate-unless-works, r=Manishearth

rustc: Only suggest deleting `extern crate` if it works

This commit updates one of the edition lints to only suggest deleting `extern
crate` if it actually works. Otherwise this can yield some confusing behavior
with rustfix specifically where if you accidentally deny the `rust_2018_idioms`
lint in the 2015 edition it's suggesting features that don't work!

6 years agoRollup merge of #50663 - alexcrichton:no-removed-error, r=Manishearth
kennytm [Sun, 13 May 2018 08:15:46 +0000 (16:15 +0800)]
Rollup merge of #50663 - alexcrichton:no-removed-error, r=Manishearth

rustc: Allow an edition's feature on that edition

This commit fixes a hard error where the `#![feature(rust_2018_preview)]`
feature was forbidden to be mentioned when the `--edition 2018` flag was passed.
This instead silently accepts that feature gate despite it not being necessary.
It's intended that this will help ease the transition into the 2018 edition as
users will, for the time being, start off with the `rust_2018_preview` feature
and no longer immediately need to remove it.

Closes #50662

6 years agoRollup merge of #50661 - varkor:libcoretest-ignore-non-rs, r=alexcrichton
kennytm [Sun, 13 May 2018 08:15:45 +0000 (16:15 +0800)]
Rollup merge of #50661 - varkor:libcoretest-ignore-non-rs, r=alexcrichton

Ignore non .rs files for tidy libcoretest

Previously, any file would be read, which is both unnecessary, and causes issues if irrelevant non-Unicode files were read (e.g. `.DS_STORE`).

6 years agoRollup merge of #50644 - kennytm:read-appveyor-dump, r=alexcrichton
kennytm [Sun, 13 May 2018 08:15:44 +0000 (16:15 +0800)]
Rollup merge of #50644 - kennytm:read-appveyor-dump, r=alexcrichton

AppVeyor: Read back trace from crash dump on failure.

This is an attempt to debug spurious access violations on Windows (#33434, #50604). Thanks to #50276, there should be minidumps to read when rustc segfault.

(The implementation is based on <https://github.com/springmeyer/travis-coredump/blob/master/test.bat>.)

6 years agoAuto merge of #50643 - dlrobertson:fix_ice, r=oli-obk
bors [Sun, 13 May 2018 09:16:11 +0000 (09:16 +0000)]
Auto merge of #50643 - dlrobertson:fix_ice, r=oli-obk

typeck: Fix ICE with struct update syntax

If check_expr_struct_fields fails, do not continue to record update.
If we continue to record update, the struct may cause us to ICE later
on indexing a field that may or may not exist.

Fixes: #50618
6 years agoIntroduce OperandValue::nontemporal_store and use it in the intrinsics
Anthony Ramine [Fri, 11 May 2018 10:26:32 +0000 (12:26 +0200)]
Introduce OperandValue::nontemporal_store and use it in the intrinsics

We use a new MemFlags bitflags type to merge some store code paths.

6 years agoIntroduce OperandValue::volatile_store and use it in the intrinsics
Anthony Ramine [Fri, 11 May 2018 09:26:51 +0000 (11:26 +0200)]
Introduce OperandValue::volatile_store and use it in the intrinsics

Fixes #50371.

6 years agoreduce variable span
csmoe [Fri, 11 May 2018 14:24:04 +0000 (22:24 +0800)]
reduce variable span

6 years agoRollup merge of #50634 - tbu-:pr_preadwrite_emscripten, r=kennytm
kennytm [Sun, 13 May 2018 08:15:42 +0000 (16:15 +0800)]
Rollup merge of #50634 - tbu-:pr_preadwrite_emscripten, r=kennytm

Do not silently truncate offsets for `read_at`/`write_at` on emscripten

Generate an IO error if the offset is out of bounds for the system call.

6 years agoRollup merge of #50624 - adevore:fs-write-str-example, r=steveklabnik
kennytm [Sun, 13 May 2018 08:15:41 +0000 (16:15 +0800)]
Rollup merge of #50624 - adevore:fs-write-str-example, r=steveklabnik

fs::write: Add example writing a &str

This adds an example to the documentation for `fs::write` that demonstrates the use of the `AsRef<[u8]>` implementation for &str. Experienced users should already recognize the possibility from the type signature, but new users may not recognize the significance.

6 years agoAuto merge of #50622 - eddyb:make-room-for-ghosts, r=nikomatsakis
bors [Sun, 13 May 2018 06:04:54 +0000 (06:04 +0000)]
Auto merge of #50622 - eddyb:make-room-for-ghosts, r=nikomatsakis

rustc: leave space for fields of uninhabited types to allow partial initialization.

Fixes #49298 by only collapsing uninhabited enum variants, and only if they only have ZST fields.
Fixes #50442 incidentally (@nox's optimization didn't take into account uninhabited variants).

6 years agoupdate libcompiler_builtins
Sébastien Marie [Sun, 13 May 2018 05:14:36 +0000 (07:14 +0200)]
update libcompiler_builtins

let's OpenBSD to use libcompiler_rt.a from system library. it unbreaks
the build from source on OpenBSD.