about summary refs log tree commit diff
path: root/src/test
AgeCommit message (Collapse)AuthorLines
2020-01-27Auto merge of #68447 - estebank:sugg-type-param, r=petrochenkovbors-13/+42
Suggest defining type parameter when appropriate ``` error[E0412]: cannot find type `T` in this scope --> file.rs:3:12 | 3 | impl Trait<T> for Struct {} | - ^ not found in this scope | | | help: you might be missing a type parameter: `<T>` ``` Fix #64298.
2020-01-27Auto merge of #68122 - Centril:stabilize-transparent-enums, r=petrochenkovbors-27/+31
Stabilize `#[repr(transparent)]` on `enum`s in Rust 1.42.0 # Stabilization report The following is the stabilization report for `#![feature(transparent_enums)]`. Tracking issue: https://github.com/rust-lang/rust/issues/60405 [Version target](https://forge.rust-lang.org/#current-release-versions): 1.42 (2020-01-30 => beta, 2020-03-12 => stable). ## User guide A `struct` with only a single non-ZST field (let's call it `foo`) can be marked as `#[repr(transparent)]`. Such a `struct` has the same layout and ABI as `foo`. Here, we also extend this ability to `enum`s with only one variant, subject to the same restrictions as for the equivalent `struct`. That is, you can now write: ```rust #[repr(transparent)] enum Foo { Bar(u8) } ``` which, in terms of layout and ABI, is equivalent to: ```rust #[repr(transparent)] struct Foo(u8); ``` ## Motivation This is not a major feature that will unlock new and important use-cases. The utility of `repr(transparent)` `enum`s is indeed limited. However, there is still some value in it: 1. It provides conceptual simplification of the language in terms of treating univariant `enum`s and `struct`s the same, as both are product types. Indeed, languages like Haskell only have `data` as the only way to construct user-defined ADTs in the language. 2. In rare occasions, it might be that the user started out with a univariant `enum` for whatever reason (e.g. they thought they might extend it later). Now they want to make this `enum` `transparent` without breaking users by turning it into a `struct`. By lifting the restriction here, now they can. ## Technical specification The reference specifies [`repr(transparent)` on a `struct`](https://doc.rust-lang.org/nightly/reference/type-layout.html#the-transparent-representation) as: > ### The transparent Representation > > The `transparent` representation can only be used on `struct`s that have: > - a single field with non-zero size, and > - any number of fields with size 0 and alignment 1 (e.g. `PhantomData<T>`). > > Structs with this representation have the same layout and ABI as the single non-zero sized field. > > This is different than the `C` representation because a struct with the `C` representation will always have the ABI of a `C` `struct` while, for example, a struct with the `transparent` representation with a primitive field will have the ABI of the primitive field. > > Because this representation delegates type layout to another type, it cannot be used with any other representation. Here, we amend this to include univariant `enum`s as well with the same static restrictions and the same effects on dynamic semantics. ## Tests All the relevant tests are adjusted in the PR diff but are recounted here: - `src/test/ui/repr/repr-transparent.rs` checks that `repr(transparent)` on an `enum` must be univariant, rather than having zero or more than one variant. Restrictions on the fields inside the only variants, like for those on `struct`s, are also checked here. - A number of codegen tests are provided as well: - `src/test/codegen/repr-transparent.rs` (the canonical test) - `src/test/codegen/repr-transparent-aggregates-1.rs` - `src/test/codegen/repr-transparent-aggregates-2.rs` - `src/test/codegen/repr-transparent-aggregates-3.rs` - `src/test/ui/lint/lint-ctypes-enum.rs` tests the interactions with the `improper_ctypes` lint. ## History - 2019-04-30, RFC https://github.com/rust-lang/rfcs/pull/2645 Author: @mjbshaw Reviewers: The Language Team This is the RFC that proposes allowing `#[repr(transparent)]` on `enum`s and `union`. - 2019-06-11, PR https://github.com/rust-lang/rust/pull/60463 Author: @mjbshaw Reviewers: @varkor and @rkruppe The PR implements the RFC aforementioned in full. - 2019, PR https://github.com/rust-lang/rust/pull/67323 Author: @Centril Reviewers: @davidtwco The PR reorganizes the static checks taking advantage of the fact that `struct`s and `union`s are internally represented as ADTs with a single variant. - This PR stabilizes `transparent_enums`. ## Related / possible future work The remaining work here is to figure out the semantics of `#[repr(transparent)]` on `union`s and stabilize those. This work continues to be tracked in https://github.com/rust-lang/rust/issues/60405.
2020-01-26Suggest defining type parameter when appropriateEsteban Küber-13/+42
``` error[E0412]: cannot find type `T` in this scope --> file.rs:3:12 | 3 | impl Trait<T> for Struct {} | - ^ not found in this scope | | | help: you might be missing a type parameter: `<T>` ``` Fix #64298.
2020-01-26rustc_span: move pretty syntax from macro_backtrace to ExpnKind::descr.Eduard-Mihai Burtescu-6/+6
2020-01-26Auto merge of #68545 - estebank:verbose-bound-display, r=petrochenkovbors-16/+16
Use better bound names in `-Zverbose` mode r? @petrochenkov as per https://github.com/rust-lang/rust/pull/67951/files#r365524015
2020-01-26Auto merge of #68522 - estebank:impl-trait-sugg-2, r=oli-obkbors-3/+202
Further improve `impl Trait`/`dyn Trait` suggestions After reading [_Returning Trait Objects_ by Bryce Fisher-Fleig](https://bryce.fisher-fleig.org/blog/returning-trait-objects/), [I noticed that](https://www.reddit.com/r/rust/comments/esueur/returning_trait_objects/ffczl4k/) #68195 had a few bugs due to not ignoring `ty::Error`. - Account for `ty::Error`. - Account for `if`/`else` and `match` blocks when pointing at return types and referencing their types. - Increase the multiline suggestion output from 6 lines to 20.
2020-01-26Auto merge of #68517 - oli-obk:spaces2, r=nagisabors-33/+32
Don't use spaces before type ascription like colons Split out of #67133 to make that PR simpler r? @eddyb
2020-01-25Auto merge of #68546 - JohnTitor:rollup-znuot4b, r=JohnTitorbors-0/+91
Rollup of 5 pull requests Successful merges: - #68485 (add a test for #60976) - #68498 (Add some type-alias-impl-trait regression tests) - #68514 (Use Self instead of self return type) - #68534 (Update submodules to rust-lang) - #68540 (clean up error codes E0229 and E0261) Failed merges: r? @ghost
2020-01-26Rollup merge of #68498 - Aaron1011:tait-regression-tests, r=CentrilYuki Okushi-0/+81
Add some type-alias-impl-trait regression tests Fixes #57611 Fixes #57807
2020-01-26Rollup merge of #68485 - kingslef:fix/test-60976, r=nikomatsakisYuki Okushi-0/+10
add a test for #60976 The test fails on 1.36.0 but passes on master. Huge thanks for @hellow554 actually digging out the minimized version of the repro. Fixes #60976.
2020-01-25Use better bound names in `-Zverbose` modeEsteban Küber-16/+16
2020-01-25Revert suggestion window size changeEsteban Küber-4/+2
2020-01-25Auto merge of #68530 - estebank:abolish-ice, r=petrochenkovbors-1/+1
Do not ICE on multipart suggestions touching multiple files When encountering a multipart suggestion with spans belonging to different contexts, skip that suggestion. Fix #68449. Similar to #68256.
2020-01-25Auto merge of #68525 - tlively:emcc-codegen-sigsegv-66308, r=alexcrichtonbors-0/+8
Update LLVM to fix crash on Emscripten targets Fixes #66308 (for real this time). r? @alexcrichton
2020-01-25Auto merge of #68516 - oli-obk:spaces, r=eddybbors-4/+4
Render const pointers in MIR more compactly Split out from #67133 to make that PR simpler cc @RalfJung r? @eddyb
2020-01-25Don't use spaces before type ascription like colonsOliver Scherer-33/+32
2020-01-25Auto merge of #68448 - maurer:dyn-cdylib, r=alexcrichtonbors-15/+55
rustc: Allow cdylibs to link against dylibs Previously, rustc mandated that cdylibs could only link against rlibs as dependencies (not dylibs). This commit disables that restriction and tests that it works in a simple case. I don't have a windows rustc dev environment, so I guessed at the MSVC test code, I'm hoping the CI can run that for me. Additionally, we might want to consider emitting (through cargo or rustc) some metadata to help C users of a cdylib figure out where all the dylibs they need are. I don't think that should be needed to land this change, as it will still be usable by homogeneous build systems without it. My new test was templated off the `tests/run-make-fulldeps/cdylib` test. It seemed more appropriate to have it as a separate test, since both foo.rs and bar.rs would need to be replicated to make that test cover both cases, but I can do that if it would be preferred. If I'm doing anything out of order/process, please let me know; this is only my second change to rustc and the prior one was trivial. r? alexcrichton
2020-01-25Auto merge of #68269 - csmoe:temp, r=estebankbors-1/+43
Suggest to shorten temporary borrow from raw pointer Closes https://github.com/rust-lang/rust/issues/65436 r? @estebank cc @tmandry
2020-01-24Add some type-alias-impl-trait regression testsAaron Hill-0/+81
Fixes #57611 Fixes #57807
2020-01-24Do not ICE on multipart suggestions touching multiple filesEsteban Küber-1/+1
When encountering a multipart suggestion with spans belonging to different contexts, skip that suggestion.
2020-01-25Rollup merge of #68511 - tmiasko:ignore-license, r=alexcrichtonYuki Okushi-34/+1
Remove unused ignore-license directives The tidy check was removed in rust-lang/rust#53617
2020-01-25Rollup merge of #68504 - tmiasko:check-pass, r=alexcrichtonYuki Okushi-31/+31
Use check-pass mode for lint tests and nll tests Helps with issue #62277.
2020-01-25Rollup merge of #68111 - varkor:const-generics-type_name, r=oli-obkYuki Okushi-0/+19
Print constants in `type_name` for const generics Fixes https://github.com/rust-lang/rust/issues/65372. r? @oli-obk as there may have been a deliberate decision not to in https://github.com/rust-lang/rust/commit/5b9848912a85e28d000602fc2e81bad9c2f2a981#diff-4ed1a72c0bfdf17be769ed520932cd02R80.
2020-01-24review commentsEsteban Küber-5/+5
2020-01-24Apply `resolve_vars_if_possible` to returned types for more accurate suggestionsEsteban Küber-6/+6
2020-01-24Increase suggestion code window from 6 lines to 20Esteban Küber-2/+4
2020-01-24Use more accurate return path spansEsteban Küber-31/+49
No longer suggest `Box::new(if foo { Type1 } else { Type2 })`, instead suggesting `if foo { Box::new(Type1) } else { Box::new(Type2) }`.
2020-01-24Add opt-level=0 to testThomas Lively-1/+1
2020-01-24Update LLVM to fix crash on Emscripten targetsThomas Lively-0/+8
Adds a small Rust regression test for #66308. r? @alexcrichton
2020-01-24Auto merge of #68494 - matthewjasper:internal-static-ptrs, r=nikomatsakisbors-0/+62
Make pointers to statics internal Closes #67611 r? @nikomatsakis
2020-01-24Print constants in `type_name` for const genericsvarkor-0/+19
2020-01-24Render const pointers in MIR more compactlyOliver Scherer-4/+4
2020-01-24Auto merge of #68414 - michaelwoerister:share-drop-glue, r=alexcrichtonbors-4/+24
Also share drop-glue when compiling with -Zshare-generics (i.e. at opt-level=0) This PR adds drop-glue to the set of monomorphizations that can be shared across crates via `-Zshare-generics`. This version of the PR might have detrimental effects on performance as it makes lots of stuff dependent on a single query results (`upstream_monomorphizations_for(def_id_of_drop_in_place)`). That should be fixable but let's do a perf run first. Potentially fixes issue https://github.com/rust-lang/rust/issues/64140. (cc @alexcrichton) The changes here are related to @matthewjasper's https://github.com/rust-lang/rust/pull/67332 but should be mostly orthogonal. r? @ghost
2020-01-24Rollup merge of #68479 - Tyg13:unused_parens_return, r=CentrilTyler Mandry-12/+31
Implement `unused_parens` for block return values Fixes #68386 r? @Centril
2020-01-24Rollup merge of #68469 - ollie27:skip_count, r=sfacklerTyler Mandry-0/+8
Avoid overflow in `std::iter::Skip::count` The call to `count` on the inner iterator can overflow even if `Skip` itself would return less that `usize::max_value()` items. Fixes #68139
2020-01-24Rollup merge of #68438 - Aaron1011:fix/tait-non-defining, r=estebankTyler Mandry-0/+27
Account for non-types in substs for opaque type error messages Fixes #68368 Previously, I assumed that the substs contained only types, which caused the computed index number to be wrong.
2020-01-24Rollup merge of #68424 - estebank:suggest-borrow-for-non-copy-vec, r=davidtwcoTyler Mandry-0/+42
Suggest borrowing `Vec<NonCopy>` in for loop Partially address #64167.
2020-01-23Account for `ty::Error` when suggesting `impl Trait` or `Box<dyn Trait>`Esteban Küber-2/+183
2020-01-24Remove unused ignore-license directivesTomasz Miąsko-34/+1
The tidy check was removed in rust-lang/rust#53617
2020-01-23Make pointers to statics internalMatthew Jasper-0/+62
2020-01-23rustc: Allow cdylibs to link against dylibsMatthew Maurer-15/+55
Previously, rustc mandated that cdylibs could only link against rlibs as dependencies (not dylibs). This commit disables that restriction and tests that it works in a simple case.
2020-01-23use `diagnostic_item` and modify wordingEsteban Küber-1/+1
2020-01-23add a test for #60976Tuomas Lappeteläinen-0/+10
The test fails on 1.36.0 but passes on master.
2020-01-23Make drop-glue take advantage of -Zshare-generics.Michael Woerister-4/+24
2020-01-23unused-parens: implement for block return valuesTyler Lanphear-12/+31
2020-01-23Auto merge of #68298 - Mark-Simulacrum:binary-depdep-fix, r=petrochenkovbors-2/+7
Avoid declaring a fake dependency edge When we're producing an rlib, we do not need anything more than an rmeta file for each of our dependencies (this is indeed utilized by Cargo for pipelining). Previously, we were still storing the paths of possible rlib/dylib crates, which meant that they could still plausibly be accessed. With -Zbinary-dep-depinfo, that meant that Cargo thought that rustc was using both the rlib and an (earlier emitted) rmeta, and so needed a recompile, as the rlib may have finished writing *after* compilation started (for more detail, see issue 68149). This commit changes metadata loading to not store the filepaths of dylib/rlib if we're going to end up creating an rlib only. Fixes #68149.
2020-01-22Rollup merge of #68425 - phi-gamma:try-method, r=varkorTyler Mandry-1/+56
Fix try-op diagnostic in E0277 for methods For methods the try-op diagnostic displays the empty string where it has more descriptive strings like “a function” otherwise: error[E0277]: the `?` operator can only be used in that returns `Result` or `Option` (or another type that implements `std::ops::Try`) ^^ | | ^^ cannot use the `?` operator in that returns `()` ^^ I’m seeing this on nightly (rustc 1.42.0-nightly (b5a3341f1 2020-01-20)) and [on the playpen](https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=0e7ce7792c2aceb8056941710d539124). The changeset add strings for impl methods and trait provided methods and test cases for the option type.
2020-01-22Rollup merge of #68410 - tmiasko:msan-lto, r=varkorTyler Mandry-21/+41
Export weak symbols used by MemorySanitizer Export weak symbols defined by MemorySanitizer instrumentation, which are used to implement `-Zsanitizer-memory-track-origins` and `-Zsanitizer-recover=memory`. Previously, when using fat LTO, they would internalized and eliminated. Fixes #68367.
2020-01-22Rollup merge of #68388 - varkor:toogeneric-wf, r=eddybTyler Mandry-5/+22
Make `TooGeneric` error in WF checking a proper error `TooGeneric` is encountered during WF checking when we cannot determine that a constant involving a generic parameter will always be evaluated successfully (rather than resulting in an error). In these cases, the burden of proof should be with the caller, so that we can avoid post-monomorphisation tim errors (which was the previous previous behaviour). This commit ensures that this situation produces a proper compiler error, rather than silently ignoring it or ICEing. Fixes https://github.com/rust-lang/rust/issues/66962. r? @eddyb
2020-01-23Use check-pass mode for lint testsTomasz Miąsko-16/+16
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-26 09:34:24 +0000