summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/specialize
AgeCommit message (Expand)AuthorLines
2022-10-13Make overlapping_impls non-genericCameron Steffen-27/+21
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-10/+5
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-4/+4
2022-10-01Refactor rustc lint APIMaybe Waffle-33/+25
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-1/+1
2022-09-01Porting 'compiler/rustc_trait_selection' to translatable diagnostics - Part 1Gabriel Bustamante-29/+8
2022-08-04Add `traits::fully_solve_obligation` that acts like `traits::fully_normalize`Michael Goulet-9/+4
2022-08-04Remove FulfillmentContext param from fully_normalizeMichael Goulet-1/+0
2022-08-03Rollup merge of #99795 - compiler-errors:delay-specialization-normalize-error...Matthias Krüger-4/+6
2022-08-03Delay a bug when failed to normalize trait ref during specializationMichael Goulet-4/+6
2022-07-26Use TraitEngine in more places that don't specifically need FulfillmentCtxt::...Michael Goulet-4/+6
2022-07-21move `considering_regions` to the infcxlcnr-12/+1
2022-07-11Rollup merge of #99095 - rhysd:issue-99092, r=compiler-errorsMatthias Krüger-2/+2
2022-07-10Remove duplicate notes from error on inter-crate ambiguous impl of traits (fi...rhysd-2/+2
2022-07-10avoid some `&str` to `String` conversionsTakayuki Maeda-1/+1
2022-07-06Rollup merge of #98519 - TaKO8Ki:add-head-span-field-to-item-and-impl-item, r...Guillaume Gomez-18/+5
2022-07-06use `named_span` in case of tuple variantTakayuki Maeda-1/+1
2022-07-06replace `guess_head_span` with `def_span`Takayuki Maeda-18/+5
2022-07-06Rollup merge of #98884 - davidtwco:translation-on-lints-derive, r=oli-obkDylan DPC-2/+1
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+1
2022-07-05lint: `LintDiagnosticBuilder` into `rustc_errors`David Wood-2/+1
2022-06-22Perform coherence checking per impl.Camille GILLOT-1/+1
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-1/+1
2022-05-18fix `simplify_type`lcnr-6/+3
2022-05-13Add bound_impl_trait_refJack Huey-3/+3
2022-05-10Introduce EarlyBinderJack Huey-3/+3
2022-05-02fix most compiler/ doctestsElliot Roberts-2/+2
2022-03-24Implement impl_subject_and_oblig instead of repeating the implsSantiago Pastorino-9/+11
2022-03-16rustc_error: make ErrorReported impossible to constructmark-13/+28
2022-03-03Rollup merge of #94057 - lcnr:simplify_type-uwu, r=nikomatsakisMatthias Krüger-4/+9
2022-02-27Auto merge of #94144 - est31:let_else_trait_selection, r=cjgillotbors-12/+9
2022-02-23rustc_errors: let `DiagnosticBuilder::emit` return a "guarantee of emission".Eduard-Mihai Burtescu-1/+1
2022-02-21update docs for `simplify_type`lcnr-4/+9
2022-02-19rustc_trait_selection: adopt let else in more placesest31-12/+9
2022-02-16Move ty::print methods to Drop-based scope guardsMark Rousskov-1/+1
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-1/+1
2022-02-14fast_reject: remove `StripReferences`lcnr-19/+4
2022-01-31Do not store overlap_mode, just pass it down on insertSantiago Pastorino-3/+5
2022-01-31Move overlap_mode into trait level attribute + feature flagSantiago Pastorino-2/+11
2022-01-26Improve selection errors for `~const` trait boundsDeadbeef-1/+10
2022-01-19remove `is_noop`lcnr-1/+1
2022-01-17directly use ConstValue for single literals in blocksb-naber-2/+1
2021-12-16Rollup merge of #91904 - SylvanB:remove_in_band_lifetimes_rustc_trait_selecti...Matthias Krüger-9/+9
2021-12-15Remove `in_band_lifetimes` from `rustc_trait_selection`Sylvan Bowdler-9/+9
2021-12-14extend `simplify_type`lcnr-4/+19
2021-12-12Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"Deadbeef-3/+3
2021-12-03Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"Santiago Pastorino-3/+3
2021-11-29Avoid storing the ImplPolarity and Constness next to a TraitRef and use Trait...Oli Scherer-3/+3
2021-11-10don't inline `report_overlap_conflict`lcnr-0/+5
2021-11-10no overlap errors after failing the orphan checklcnr-2/+6
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 00:09:26 +0000