about summary refs log tree commit diff
path: root/compiler/rustc_traits/src/lib.rs
AgeCommit message (Collapse)AuthorLines
2023-02-09Update implied_outlives_bounds to properly register implied bounds behind ↵Jack Huey-0/+1
normalization
2022-12-08Move some suggestions from error_reporting to error_reporting::suggestMichael Goulet-1/+1
2022-12-08Move codegen_select_candidate to a rustc_traitsMichael Goulet-0/+2
2022-10-27(almost) Always use ObligationCtxt when dealing with canonical queriesMichael Goulet-0/+1
2022-09-26remove cfg(bootstrap)Pietro Albini-1/+0
2022-09-15Only enable the let_else feature on bootstrapest31-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-18Add diagnostic translation lints to crates that don't emit them5225225-0/+2
2022-06-03Fully stabilize NLLJack Huey-1/+0
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-1/+0
2022-02-19Adopt let else in more placesest31-0/+1
2021-12-30Removed `in_band_lifetimes` from `rustc_traits`Anuvrat-1/+0
2021-12-02Reduce boilerplate around infallible foldersAlan Egerton-1/+0
2021-11-26Unwrap the results of type foldersLeSeulArtichaut-0/+1
Co-authored-by: Alan Egerton <eggyal@gmail.com>
2021-09-27Improve cause information for NLL higher-ranked errorsAaron 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-23handle ascription type op in NLL HRTB diagnosticsRé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-15De-dupe NLL HRTB diagnostics' use of `type_op_prove_predicate`Rémy Rakic-0/+2
2021-05-23Stabilize ops::ControlFlow (just the type)Scott McMurray-1/+0
2020-10-30TypeVisitor: use `ControlFlow` in rustc_{mir,privacy,traits,typeck}LeSeulArtichaut-0/+1
2020-09-17Remove redundant #![feature(...)] 's from compiler/est31-1/+0
2020-08-30mv compiler to compiler/mark-0/+33