summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/mod.rs
AgeCommit message (Expand)AuthorLines
2024-04-11Revert "remove `pred_known_to_hold_modulo_regions`"Rémy Rakic-3/+47
2024-03-05Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult`Jason Newcomb-4/+4
2024-02-20Add newtype for first input typeclubby789-1/+1
2024-02-19split `project` into multiple fileslcnr-3/+3
2024-02-19remove `pred_known_to_hold_modulo_regions`lcnr-47/+3
2024-02-12Dejargnonize substShoyu Vanilla-4/+4
2024-01-30Deeply normalize when processing registered region obligationsMichael Goulet-0/+1
2024-01-09Avoid silencing relevant follow-up errorsOli Scherer-0/+6
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-1/+1
2023-12-14update use of feature flagslcnr-2/+2
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-1/+1
2023-11-14finish `RegionKind` renamelcnr-1/+1
2023-10-30Detect object safety errors when assoc type is missingEsteban Küber-1/+1
2023-10-22use visibility to check unused imports and delete some stmtsbohan-5/+0
2023-10-04Reorder fullfillment errors to keep more interesting ones firstEsteban Küber-1/+1
2023-09-13make the eval() functions on our const types return the resulting valueRalf Jung-1/+1
2023-08-02Remove constness from `TraitPredicate`Deadbeef-1/+1
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-15/+4
2023-07-22rustdoc: handle cross-crate RPITITs correctlyLeón Orell Valerian Liehr-3/+6
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-6/+6
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-12/+6
2023-07-12Flip cfg's for bootstrap bumpMark Rousskov-2/+2
2023-07-07Require TAITs to be mentioned in the signatures of functions that register hi...Oli Scherer-1/+1
2023-07-03Remove chalk from the compilerMichael Goulet-3/+0
2023-07-03reviewlcnr-1/+6
2023-07-03add deep normalization via the new solverlcnr-0/+2
2023-07-01Auto merge of #113154 - lcnr:better-probe-check, r=compiler-errorsbors-1/+1
2023-06-29change snapshot tracking in fulfillment contextslcnr-1/+1
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-15/+9
2023-06-21Don't substitute a GAT that has mismatched generics in OpaqueTypeCollectorMichael Goulet-4/+4
2023-06-19s/Clause/ClauseKindMichael Goulet-1/+1
2023-06-15Auto merge of #104455 - the8472:dont-drain-on-drop, r=Amanieubors-1/+1
2023-06-14s/drain_filter/extract_if/ for Vec, Btree{Map,Set} and LinkedListThe 8472-1/+1
2023-06-12Collect VTable stats & add `-Zprint-vtable-sizes`Maybe Waffle-1/+1
2023-06-01remove search_for_adt_const_param_violationMichael Goulet-3/+1
2023-05-31move hack to `normalize_param_env_or_error`Boxy-3/+57
2023-05-29EarlyBinder::new -> EarlyBinder::bindlcnr-1/+1
2023-05-28Replace EarlyBinder(x) with EarlyBinder::new(x)Kyle Matsuda-1/+1
2023-05-27Add warn-by-default lint for local binding shadowing exported glob re-export ...许杰友 Jieyou Xu (Joe)-0/+2
2023-05-22Structurally normalize in the new solverMichael Goulet-0/+2
2023-05-19Auto merge of #110100 - compiler-errors:no-infer-pred-must-hold, r=jackh726bors-20/+21
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-2/+3
2023-05-12do not allow inference in `pred_known_to_hold_modulo_regions`Michael Goulet-20/+21
2023-05-09Rollup merge of #111252 - matthewjasper:min-spec-improvements, r=compiler-errorsDylan DPC-1/+3
2023-05-08Rollup merge of #109410 - fmease:iat-alias-kind-inherent, r=compiler-errorsMichael Goulet-1/+2
2023-05-07Auto merge of #111161 - compiler-errors:rtn-super, r=cjgillotbors-1/+1
2023-05-05Report nicer lifetime errors for specializationMatthew Jasper-1/+3
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-1/+2
2023-05-04Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors-1/+1
2023-05-03Rename things to reflect that they're not item specificMichael Goulet-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 17:41:29 +0000