summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/specialize
AgeCommit message (Expand)AuthorLines
2023-05-05Report nicer lifetime errors for specializationMatthew Jasper-3/+31
2023-05-05Normalize consistently for specializationsMatthew Jasper-17/+22
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-1/+1
2023-03-27Some tracing/instrument cleanupsOli Scherer-6/+3
2023-03-23Don't split up TreatProjections and TreatParams anymoreMichael Goulet-19/+9
2023-03-19Delay overlap errors if errors are involvedMichael Goulet-1/+5
2023-03-15always make `define_opaque_types` explicitlcnr-1/+2
2023-03-13Better names?Michael Goulet-6/+6
2023-03-13Treat projections with infer as placeholder during fast reject in new solverMichael Goulet-6/+19
2023-03-09Use param's real type in try_eval_lit_or_paramMichael Goulet-3/+3
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2023-02-17Auto merge of #108075 - WaffleLapkin:de-arena-allocates-you-OwO, r=Nilstriebbors-1/+1
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-1/+1
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-1/+7
2023-02-16Replace some `then`s with some `then_some`sMaybe Waffle-1/+1
2023-02-16`if $c:expr { Some($r:expr) } else { None }` =>> `$c.then(|| $r)`Maybe Waffle-1/+1
2023-02-15Copy `ty::AssocItem` all other the placeMaybe Waffle-1/+1
2023-01-17Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726Matthias Krüger-1/+1
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-1/+1
2023-01-14fix various subst_identity vs skip_binderKyle Matsuda-5/+6
2023-01-14change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_re...Kyle Matsuda-9/+9
2023-01-14change usages of impl_trait_ref to bound_impl_trait_refKyle Matsuda-8/+8
2022-12-19implement the skeleton of the updated trait solverlcnr-0/+49
2022-11-27Prefer doc comments over `//`-comments in compilerMaybe Waffle-1/+1
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-1/+3
2022-11-23Use ObligationCtxt intead of dyn TraitEngineSantiago Pastorino-6/+6
2022-11-14Rollup merge of #104229 - compiler-errors:overlap-full-path, r=davidtwcoMatthias Krüger-73/+70
2022-11-10Don't print full paths in overlap errorsMichael Goulet-73/+70
2022-11-09Remove save_and_restore_in_snapshot_flagMichael Goulet-26/+24
2022-11-08Reduce the scope of allow(rustc::potential_query_instability) in rustc_trait_...CastilloDel-2/+2
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 12:28:11 +0000