| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-02-09 | Update implied_outlives_bounds to properly register implied bounds behind ↵ | Jack Huey | -0/+1 | |
| normalization | ||||
| 2022-12-08 | Move some suggestions from error_reporting to error_reporting::suggest | Michael Goulet | -1/+1 | |
| 2022-12-08 | Move codegen_select_candidate to a rustc_traits | Michael Goulet | -0/+2 | |
| 2022-10-27 | (almost) Always use ObligationCtxt when dealing with canonical queries | Michael Goulet | -0/+1 | |
| 2022-09-26 | remove cfg(bootstrap) | Pietro Albini | -1/+0 | |
| 2022-09-15 | Only enable the let_else feature on bootstrap | est31 | -1/+1 | |
| On later stages, the feature is already stable. Result of running: rg -l "feature.let_else" compiler/ src/librustdoc/ library/ | xargs sed -s -i "s#\\[feature.let_else#\\[cfg_attr\\(bootstrap, feature\\(let_else\\)#" | ||||
| 2022-08-18 | Add diagnostic translation lints to crates that don't emit them | 5225225 | -0/+2 | |
| 2022-06-03 | Fully stabilize NLL | Jack Huey | -1/+0 | |
| 2022-05-20 | Remove `crate` visibility usage in compiler | Jacob Pratt | -1/+0 | |
| 2022-02-19 | Adopt let else in more places | est31 | -0/+1 | |
| 2021-12-30 | Removed `in_band_lifetimes` from `rustc_traits` | Anuvrat | -1/+0 | |
| 2021-12-02 | Reduce boilerplate around infallible folders | Alan Egerton | -1/+0 | |
| 2021-11-26 | Unwrap the results of type folders | LeSeulArtichaut | -0/+1 | |
| Co-authored-by: Alan Egerton <eggyal@gmail.com> | ||||
| 2021-09-27 | Improve cause information for NLL higher-ranked errors | Aaron Hill | -1/+1 | |
| This PR has several interconnected pieces: 1. In some of the NLL region error code, we now pass around an `ObligationCause`, instead of just a plain `Span`. This gets forwarded into `fulfill_cx.register_predicate_obligation` during error reporting. 2. The general InferCtxt error reporting code is extended to handle `ObligationCauseCode::BindingObligation` 3. A new enum variant `ConstraintCategory::Predicate` is added. We try to avoid using this as the 'best blame constraint' - instead, we use it to enhance the `ObligationCause` of the `BlameConstraint` that we do end up choosing. As a result, several NLL error messages now contain the same "the lifetime requirement is introduced here" message as non-NLL errors. Having an `ObligationCause` available will likely prove useful for future improvements to NLL error messages. | ||||
| 2021-08-23 | handle ascription type op in NLL HRTB diagnostics | Rémy Rakic | -1/+1 | |
| Refactors the `type_op_ascribe_user_type` query into a version which accepts a span, and uses it in the nicer NLL HRTB bound region errors. | ||||
| 2021-08-15 | De-dupe NLL HRTB diagnostics' use of `type_op_prove_predicate` | Rémy Rakic | -0/+2 | |
| 2021-05-23 | Stabilize ops::ControlFlow (just the type) | Scott McMurray | -1/+0 | |
| 2020-10-30 | TypeVisitor: use `ControlFlow` in rustc_{mir,privacy,traits,typeck} | LeSeulArtichaut | -0/+1 | |
| 2020-09-17 | Remove redundant #![feature(...)] 's from compiler/ | est31 | -1/+0 | |
| 2020-08-30 | mv compiler to compiler/ | mark | -0/+33 | |
