| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2019-04-28 | Fix lint findings in librustc | flip1995 | -2/+2 | |
| 2019-04-10 | Suggest removing `?` to resolve type errors. | David Wood | -0/+2 | |
| This commit adds a suggestion to remove the `?` from expressions if removing the `?` would resolve a type error. | ||||
| 2019-03-15 | rustc: make util::ppaux private. | Eduard-Mihai Burtescu | -2/+3 | |
| 2019-02-14 | Rollup merge of #58267 - estebank:match-arms, r=matthewjasper | Mazdak Farrokhzad | -3/+14 | |
| Tweak "incompatible match arms" error - Point at the body expression of the match arm with the type error. - Point at the prior match arms explicitly stating the evaluated type. - Point at the entire match expr in a secondary span, instead of primary. - For type errors in the first match arm, the cause is outside of the match, treat as implicit block error to give a more appropriate error. Fix #46776, fix #57206. CC #24157, #38234. | ||||
| 2019-02-08 | review comments: (marginally) reduce memory consumtion | Esteban Küber | -4/+9 | |
| 2019-02-07 | Reweork incompatible match arms error | Esteban Küber | -3/+9 | |
| - Point at the body expression of the match arm with the type error. - Point at the prior match arms explicitely stating the evaluated type. - Point at the entire match expr in a secondary span, instead of primary. - For type errors in the first match arm, the cause is outside of the match, treat as implicit block error to give a more appropriate error. | ||||
| 2019-02-05 | move librustc to 2018 | Mark Mansi | -11/+11 | |
| 2019-01-13 | Suggest removal of semicolon when appropriate | Esteban Küber | -1/+5 | |
| 2019-01-13 | Tweak output of type mismatch between "then" and `else` `if` arms | Esteban Küber | -1/+1 | |
| 2019-01-12 | Point at the match discriminant when arm pattern has a type mismatch | Esteban Küber | -0/+3 | |
| 2018-12-27 | Handle sub-typing in chalk-engine | scalexm | -0/+3 | |
| 2018-12-27 | Implement "lifetime juggling" methods from chalk integration trait | scalexm | -2/+26 | |
| Fixes #55097. | ||||
| 2018-12-25 | Remove licenses | Mark Rousskov | -10/+0 | |
| 2018-12-03 | pass the parameter environment to `traits::find_associated_item` | Ariel Ben-Yehuda | -2/+2 | |
| dropping the param-env on the floor is obviously the wrong thing to do. The ICE was probably exposed by #54490 adding the problem-exposing use of `traits::find_associated_item`. Fixes #55380. | ||||
| 2018-11-24 | Move `BoundTy` debruijn index to the `TyKind` enum variant | scalexm | -1/+1 | |
| 2018-11-13 | Reorder code in `rustc::traits::structural_impls` | scalexm | -340/+340 | |
| 2018-11-13 | Bypass ppaux for `Outlives` predicates | scalexm | -4/+34 | |
| 2018-11-13 | Pretty print quantified goals and clauses | scalexm | -5/+144 | |
| 2018-11-03 | Added support for trait aliases as bounds. | Alexander Regueiro | -6/+36 | |
| 2018-10-25 | preserve const eval error information through trait error system | Ralf Jung | -1/+1 | |
| 2018-10-25 | Report const eval error inside the query | Oliver Schneider | -3/+1 | |
| 2018-10-17 | Categorize chalk clauses | scalexm | -2/+7 | |
| 2018-10-17 | Use `Environment` instead of `ty::ParamEnv` in chalk context | scalexm | -1/+37 | |
| 2018-10-08 | Pass around interned refs to goals and not goals | scalexm | -17/+17 | |
| 2018-09-29 | don't elide lifetimes in paths in librustc/ | Zack M. Davis | -21/+21 | |
| This seemed like a good way to kick the tires on the elided-lifetimes-in-paths lint (#52069)—seems to work! This was also pretty tedious—it sure would be nice if `cargo fix` worked on this codebase (#53896)! | ||||
| 2018-09-26 | Auto merge of #54199 - nikomatsakis:predicate_may_hold-failure, r=eddyb | bors | -1/+1 | |
| overlook overflows in rustdoc trait solving Context: The new rustdoc "auto trait" feature walks across impls and tries to run trait solving on them with a lot of unconstrained variables. This is prone to overflows. These overflows used to cause an ICE because of a caching bug (fixed in this PR). But even once that is fixed, it means that rustdoc causes an overflow rather than generating docs. This PR therefore adds a new helper that propagates the overflow error out. This requires rustdoc to then decide what to do when it encounters such an overflow: technically, an overflow represents neither "yes" nor "no", but rather a failure to make a decision. I've decided to opt on the side of treating this as "yes, implemented", since rustdoc already takes an optimistic view. This may prove to include too many items, but I *suspect* not. We could probably reduce the rate of overflows by unifying more of the parameters from the impl -- right now we only seem to consider the self type. Moreover, in the future, as we transition to Chalk, overflow errors are expected to just "go away" (in some cases, though, queries might return an ambiguous result). Fixes #52873 cc @QuietMisdreavus -- this is the stuff we were talking about earlier cc @GuillaumeGomez -- this supersedes #53687 | ||||
| 2018-09-18 | A few cleanups and minor improvements to rustc/traits | ljedrz | -21/+21 | |
| 2018-08-29 | Remove `AccumulateVec` and its uses. | Nicholas Nethercote | -3/+3 | |
| It's basically just a less capable version of `SmallVec`. | ||||
| 2018-08-29 | Replace bug! call with Overflow | Guillaume Gomez | -1/+1 | |
| 2018-08-22 | Rename ty::Slice to ty::List | varkor | -2/+2 | |
| 2018-08-19 | Add notes on unsized argument errors. | Masaki Hara | -0/+1 | |
| 2018-08-15 | fix error for unsized packed struct field | Ralf Jung | -1/+1 | |
| 2018-06-28 | Move the Lrc outside the error type and name the fields | Oliver Schneider | -1/+3 | |
| 2018-06-04 | Refactor the chalkify lowering process | scalexm | -30/+73 | |
| 2018-05-24 | implement the chalk traits, albeit with many placeholders | Niko Matsakis | -144/+214 | |
| 2018-05-17 | Rename trans to codegen everywhere. | Irina Popa | -1/+1 | |
| 2018-05-15 | Feature gate trivial bounds | Matthew Jasper | -0/+1 | |
| 2018-05-08 | Store the GeneratorInterior in the new GeneratorSubsts | John Kåre Alsaker | -5/+5 | |
| 2018-04-26 | Remove the stored obligation in OverflowError to simplify things | Aravind Gollakota | -1/+1 | |
| We will shortly refactor things so that it is no longer needed | ||||
| 2018-04-26 | Refactor overflow handling in traits::select to propagate overflow instead ↵ | Aravind Gollakota | -0/+1 | |
| of aborting eagerly We store the obligation that caused the overflow as part of the OverflowError, and report it at the public API endpoints (rather than in the implementation internals). | ||||
| 2018-04-23 | add `Goal::CannotProve` and extract `ProgramClause` struct | Niko Matsakis | -0/+2 | |
| 2018-04-15 | Implement Chalk lowering rule Normalize-From-Impl | Fabian Zaiser | -0/+2 | |
| 2018-04-12 | traits: Implement interning for Goal and Clause | Tatsuyuki Ishi | -0/+34 | |
| 2018-03-30 | Tweak `Clause` definition and HRTBs | scalexm | -16/+26 | |
| 2018-03-14 | Address niko's nits | scalexm | -119/+71 | |
| 2018-03-14 | Add MVP for chalkification | scalexm | -0/+183 | |
| 2018-03-13 | refactor `ParamEnv::empty(Reveal)` into two distinct methods | Niko Matsakis | -2/+0 | |
| - `ParamEnv::empty()` -- does not reveal all, good for typeck - `ParamEnv::reveal_all()` -- does, good for trans - `param_env.with_reveal_all()` -- converts an existing parameter environment | ||||
| 2018-03-13 | improve TypeFoldable/Lift macros and make a bunch of stuff use them | Niko Matsakis | -236/+45 | |
| Improvements: - Use Clone not Copy for the "simple cases" - Separate TypeFoldable and Lift for the "simple cases" - Support generics type parameters - Support named fields in enum variants - etc | ||||
| 2018-03-04 | Remove ty::Predicate::Equate and ty::EquatePredicate (dead code) | Tatsuyuki Ishi | -3/+0 | |
| 2018-01-29 | Require yield types to be sized | John Kåre Alsaker | -0/+3 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |