summary refs log tree commit diff
path: root/src/test
AgeCommit message (Collapse)AuthorLines
2019-08-12fix cycle when looking up size and align of a staticRalf Jung-0/+11
2019-08-12Avoid ICE when referencing desugared local binding in borrow errorEsteban Küber-0/+45
2019-08-05bless ui testsPietro Albini-1/+1
2019-08-04Rollup merge of #63254 - ↵Pietro Albini-0/+1498
taiki-e:arbitrary_self_types-lifetime-elision-2-beta, r=Centril
2019-08-04arbitrary_self_types lifetime elision: --bless --compare-mode=nllTaiki Endo-0/+342
2019-08-04Fix typoTaiki Endo-1/+1
2019-08-04Add tests for `self: (&)AssocType`Taiki Endo-0/+124
2019-08-04Add test for multiple ref-selfTaiki Endo-7/+73
2019-08-04Minor clean upTaiki Endo-36/+27
2019-08-04Add main functions and check-pass annotationsTaiki Endo-22/+16
2019-08-04Update src/test/ui/self/elision/README.mdTaiki Endo-1/+1
Co-Authored-By: Mazdak Farrokhzad <twingoow@gmail.com>
2019-08-04add a bevy of new test casesNiko Matsakis-0/+831
2019-08-04Remove query for `.pin_type()`Taiki Endo-2/+15
2019-08-04Allow lifetime elision in `Pin<&(mut) Self>`Taiki Endo-0/+137
2019-08-03review commentsEsteban Küber-0/+0
2019-08-03Fix another caseEsteban Küber-0/+60
2019-08-03Make the parser TokenStream more resilient after mismatched delimiter recoveryEsteban Küber-0/+35
2019-07-22Rollup merge of #62792 - goodmanjonathan:beta, r=estebankPietro Albini-0/+19
2019-07-22add test caseEsteban Küber-0/+13
2019-07-22Handle errors during error recovery gracefullyEsteban Küber-0/+20
2019-07-22Raise the default recursion limit to 128Simonas Kazlauskas-28/+388
2019-07-22Blessed tests.Alexander Regueiro-0/+27
2019-07-22Added tests for issues.Alexander Regueiro-3/+23
2019-07-22rustc_target: avoid negative register counts in the SysV x86_64 ABI.Eduard-Mihai Burtescu-0/+105
2019-07-18Don't drop DiagnosticBuilder if parsing failsJonathan Goodman-0/+19
Beta backport of #62668. If the explicitly given type of a `self` parameter fails to parse correctly, we need to propagate the error rather than dropping it and causing an ICE.
2019-07-08Force #[unwind(aborts)] in test/codegen/c-variadic.rsJosh Stone-0/+6
2019-07-08Revert "Allow a dirty MirBuilt for make_extern and make_method_extern"Josh Stone-2/+2
This reverts commit b4a6f597934f16f89e27058a32a514c9572f148f.
2019-07-08Permit unwinding through FFI by defaultMark Rousskov-0/+2
See #58794 for context.
2019-07-03Auto merge of #61775 - ↵bors-48/+686
nikomatsakis:issue-56238-multiple-lifetimes-async-fn-region-solver, r=MatthewJasper generalize impl trait to permit multiple lifetime bounds Generalizes the region solver to support "pick constraints". These have the form: ``` pick R0 from [R1..Rn] ``` where `R1..Rn` are called the "option regions". The idea is that `R0` must be equal to *some* region in the set `R1..Rn`. These constraints are then used to handle cases like this: ```rust fn foo<'a, 'b>(...) -> impl Trait<'a, 'b> { .. } ``` The problem here is that every region R in the hidden type must be equal to *either* `'a` *or* `'b` (or `'static`) -- in the past, the only kinds of constraints we had were outlives constraints, and since `'a` and `'b` are unrelated, there was no outlives constraint we could issue that would enforce that (`R: 'a` and `R: 'b` are both too strict, for example). But now we can issue a pick constraint: `pick R from ['a, 'b]`. In general, solving pick constraints is tricky. We integrate them into the solver as follows. In general, during the propagation phase, we are monotonically growing a set of inference regions. To handle a case like `pick R from [O...]`, where `O...` represents the option regions, we do the following: - Look for all the *lower bounds* of the region R -- that is, every region LB such that `R: LB` must hold. - Look for all the *upper bounds* of the region R -- that is, every region UB such that `UB: R` must hold. - Let the *viable options* be each option region O such that `UB: O` and `O: LB` for each UB, LB bound. - Find the *minimal viable option* M, where `O: M` holds for every option region O. If there is such a *minimal viable option*, then we make `R: M`. (This may in turn influence other bits of inference.) If there is no minimal viable option, either because all options were eliminated or because none of the remaining options are minimal, we do nothing. Ultimately, if the pick constraint is not satisfied, an error is reported. For this logic, we currently require that the option regions O are always lifetime parameters. To determine the bounds, we walk the various outlives edges that were otherwise introduced. r? @matthewjasper cc @cramertj Fixes #56238 TODO: - [ ] Error messages include region variable info sometimes, how to fix? - [ ] Tests for bare `existential type` and other impl Trait usage
2019-07-02Auto merge of #61268 - michaelwoerister:stabilize-pgo, r=alexcrichtonbors-11/+11
Stabilize support for Profile-guided Optimization This PR makes profile-guided optimization available via the `-C profile-generate` / `-C profile-use` pair of commandline flags and adds end-user documentation for the feature to the [rustc book](https://doc.rust-lang.org/rustc/). The PR thus ticks the last two remaining checkboxes of the [stabilization tracking issue](https://github.com/rust-lang/rust/issues/59913). From the tracking issue: > Profile-guided optimization (PGO) is a common optimization technique for ahead-of-time compilers. It works by collecting data about a program's typical execution (e.g. probability of branches taken, typical runtime values of variables, etc) and then uses this information during program optimization for things like inlining decisions, machine code layout, or indirect call promotion. If you are curious about how this can be used, there is a rendered version of the documentation this PR adds available [here]( https://github.com/michaelwoerister/rust/blob/stabilize-pgo/src/doc/rustc/src/profile-guided-optimization.md). r? @alexcrichton cc @rust-lang/compiler
2019-07-02fix ICE with delay-span-bugNiko Matsakis-0/+33
2019-07-02address nitsNiko Matsakis-6/+6
2019-07-02Update src/test/ui/async-await/multiple-lifetimes/ret-impl-trait-no-fg.rsNiko Matsakis-1/+1
Co-Authored-By: matthewjasper <mjjasper1@gmail.com>
2019-07-02Update src/test/ui/async-await/multiple-lifetimes/elided.rsNiko Matsakis-1/+1
Co-Authored-By: matthewjasper <mjjasper1@gmail.com>
2019-07-02Update src/test/ui/async-await/multiple-lifetimes/fn-ptr.rsNiko Matsakis-1/+1
Co-Authored-By: matthewjasper <mjjasper1@gmail.com>
2019-07-02Update src/test/ui/async-await/multiple-lifetimes/ret-impl-trait-one.rsNiko Matsakis-1/+1
Co-Authored-By: matthewjasper <mjjasper1@gmail.com>
2019-07-02introduce more tests covering `async fn` surfaceNiko Matsakis-4/+239
2019-07-02more nits + typosNiko Matsakis-2/+2
2019-07-02feature-gate member constraints outside of async-awaitNiko Matsakis-7/+42
Minimizes risk.
2019-07-02bless test outputNiko Matsakis-6/+3
2019-07-02address nits by mattewjasperNiko Matsakis-33/+0
2019-07-02account for the pick-constraint edges when reporting errorsNiko Matsakis-0/+36
Also, thread through better span info to improve the error message to something tolerable.
2019-07-02test with explicit existential typeNiko Matsakis-0/+2
2019-07-02add a preliminary existential test; not really enoughNiko Matsakis-0/+29
2019-07-02add a FIXME related to the non-free-region caseNiko Matsakis-0/+27
I don't think it would actually be harmful to just ignore such cases but I'm inclined not to take chances.
2019-07-02update the async-fn-multiple-lifetimes testNiko Matsakis-23/+4
2019-07-02fix tests and remove outdated stderr filesNiko Matsakis-54/+0
2019-07-02improve tests with migration mode, mir modeNiko Matsakis-94/+101
2019-07-02remove old error and add an explanationNiko Matsakis-49/+13
2019-07-02enforce and report pick-constraint errorsNiko Matsakis-13/+154
The error message here is not great.
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-01 14:58:52 +0000