summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select/mod.rs
AgeCommit message (Expand)AuthorLines
2023-05-24Use `Option::is_some_and` and `Result::is_ok_and` in the compilerMaybe Waffle-2/+2
2023-05-19Auto merge of #110100 - compiler-errors:no-infer-pred-must-hold, r=jackh726bors-3/+11
2023-05-17Exclude inherent projections from some alias ty matchesLeón Orell Valerian Liehr-1/+3
2023-05-12do not allow inference in `pred_known_to_hold_modulo_regions`Michael Goulet-1/+2
2023-05-12EvaluateToAmbig if evaluate_root_obligation does inferenceMichael Goulet-3/+10
2023-05-12Note base types of coercionMichael Goulet-8/+13
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-1/+1
2023-05-04Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors-1/+1
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-2/+2
2023-04-27rename `needs_subst` to `has_param`Boxy-1/+1
2023-04-27rename `needs_infer` to `has_infer`Boxy-11/+12
2023-04-26Make some region folders a little stricter.Nicholas Nethercote-4/+4
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-1/+1
2023-04-20Remove WithOptconstParam.Camille GILLOT-2/+1
2023-04-17Spelling - compilerJosh Soref-1/+1
2023-04-07Switched provisional evaluation cache map to FxIndexMap, and replaced map.dra...Andrew Xie-15/+9
2023-04-06Remove index from BrAnonJack Huey-2/+2
2023-04-03Never consider int and float vars for `FnPtr` candidatesNilstrieb-6/+6
2023-03-29Inline and remove `SelectionContext::fast_reject_trait_refs`.Nicholas Nethercote-16/+0
2023-03-29Introduce `DeepRejectCtxt::substs_refs_may_unify`.Nicholas Nethercote-2/+4
2023-03-28Rollup merge of #102472 - lcnr:static-in-eval, r=jackh726nils-78/+86
2023-03-23Use fulfillment in InferCtxt::evaluate_obligationMichael Goulet-0/+1
2023-03-23Rename AliasEq -> AliasRelateMichael Goulet-2/+2
2023-03-22stop special-casing `'static` in evaluatelcnr-78/+86
2023-03-21evaluate: improve and fix recursion depth handlinglcnr-52/+19
2023-03-21remove some trait solver helperslcnr-7/+6
2023-03-15always make `define_opaque_types` explicitlcnr-9/+17
2023-03-13Better names?Michael Goulet-1/+1
2023-03-11Use TyCtxt::trait_solver_next in some placesMichael Goulet-7/+6
2023-03-10updating commentlcnr-1/+1
2023-03-09improve readability of winnowinglcnr-39/+66
2023-03-08fix: evaluate with wrong obligation stackyifei-2/+2
2023-03-05Rollup merge of #108744 - compiler-errors:non_lifetime_binders-bad-copy-clone...Matthias Krüger-5/+6
2023-03-04Don't ICE when encountering bound var in builtin copy/clone boundsMichael Goulet-5/+6
2023-03-03Match unmatched backticks in comments in compiler/est31-1/+1
2023-03-03Match unmatched backticks in compiler/ that are part of rustdocest31-1/+1
2023-02-25Treat `str` as containing `[u8]` for auto trait purposesMichael Goulet-1/+3
2023-02-24Rename many interner functions.Nicholas Nethercote-2/+2
2023-02-22Rename ty_error_with_guaranteed to ty_error, ty_error to ty_error_miscMichael Goulet-1/+1
2023-02-22Use ty_error_with_guaranteed in many more placesMichael Goulet-2/+2
2023-02-22Remove type-traversal trait aliasesAlan Egerton-2/+2
2023-02-21Make hidden type registration opt-in, so that each site can be reviewed on it...Oli Scherer-8/+0
2023-02-18Don't ICE on bound types in sized conditionsMichael Goulet-4/+5
2023-02-17add predicate evaluation logicBoxy-2/+8
2023-02-17Add `Clause::ConstArgHasType` variantBoxy-0/+3
2023-02-17Auto merge of #107753 - kylematsuda:type-of, r=BoxyUwUbors-1/+1
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-1/+1
2023-02-16Clarify `DerivedObligationCause` may hold alias idAlan Egerton-1/+1
2023-02-16Auto merge of #108127 - matthiaskrgr:rollup-kpzfc6j, r=matthiaskrgrbors-5/+2
2023-02-16`if $c:expr { Some($r:expr) } else { None }` =>> `$c.then(|| $r)`Maybe Waffle-5/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 13:26:07 +0000