about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/auto_trait.rs
AgeCommit message (Expand)AuthorLines
2024-04-02rustdoc: heavily simplify synthesis of auto trait implsLeón Orell Valerian Liehr-11/+4
2024-04-01rustdoc: synthetic impls: auto traits: Fx{Hash↦Index}{Map,Set}León Orell Valerian Liehr-29/+18
2024-03-22Use != Positive rather than == NegativeMichael Goulet-1/+1
2024-03-22Split out ImplPolarity and PredicatePolarityMichael Goulet-4/+4
2024-03-18Avoid various uses of `Option<Span>` in favor of using `DUMMY_SP` in the few ...Oli Scherer-1/+1
2024-02-13Bump `indexmap`clubby789-4/+8
2024-02-02Normalize the whole PolyTypeOutlivesPredicate, more simplificationsMichael Goulet-1/+1
2024-01-30Auto merge of #119101 - compiler-errors:outlives, r=lcnrbors-1/+1
2024-01-30add missing potential_query_instability for keys and values in hashmapyukang-0/+1
2024-01-30Apply suggestions from reviewMichael Goulet-1/+1
2024-01-30Deeply normalize when processing registered region obligationsMichael Goulet-1/+1
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-1/+1
2023-12-17use Vec for region constraintsAli MJ Al-Nasrawy-1/+1
2023-12-10remove redundant importssurechen-2/+0
2023-12-07add unused `NormalizesTo` predicatelcnr-0/+1
2023-11-22Auto merge of #118120 - compiler-errors:closure-kind, r=lcnrbors-1/+0
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
2023-11-21Remove ClosureKind predicate kindMichael Goulet-1/+0
2023-11-13rename `ReLateBound` to `ReBound`lcnr-4/+4
2023-09-14move required_consts check to general post-mono-check functionRalf Jung-1/+1
2023-08-02Remove constness from `TraitPredicate`Deadbeef-2/+0
2023-07-30inline format!() args up to and including rustc_codegen_llvmMatthias Krüger-4/+4
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-2/+0
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-9/+9
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-8/+3
2023-07-06get rid of a bit more calls to poly_selectMichael Goulet-3/+3
2023-07-06Separate select calls that don't need a binderMichael Goulet-2/+2
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-1/+1
2023-07-03remove TypeWellFormedFromEnvMichael Goulet-3/+0
2023-06-26TypeWellFormedInEnvMichael Goulet-1/+1
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-5/+6
2023-06-19s/Clause/ClauseKindMichael Goulet-9/+9
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-1/+1
2023-06-17Move WF goal to clauseMichael Goulet-1/+1
2023-05-25Pull out logic from #111131, plus some new logic in EvalCtxt::normalize_opaqu...Michael Goulet-2/+4
2023-05-15Suppress "erroneous constant used" for constants tainted by errorsTomasz Miąsko-1/+1
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-2/+2
2023-04-21Break up long function in trait selection error reportingBryan Garza-1/+1
2023-04-20Remove WithOptconstParam.Camille GILLOT-2/+1
2023-04-13Rollup merge of #110220 - lcnr:regionzz, r=compiler-errorsMatthias Krüger-1/+2
2023-04-13Remove some unused type folders.Nicholas Nethercote-21/+0
2023-04-12region error cleanuplcnr-1/+2
2023-04-06Make elaborator genericMichael Goulet-5/+3
2023-03-26Don't elaborate non-obligations into obligationsMichael Goulet-2/+1
2023-03-23Rename AliasEq -> AliasRelateMichael Goulet-1/+1
2023-03-21remove some trait solver helperslcnr-2/+3
2023-03-15always make `define_opaque_types` explicitlcnr-1/+2
2023-02-24Rename many interner functions.Nicholas Nethercote-2/+2
2023-02-22Remove type-traversal trait aliasesAlan Egerton-3/+2
2023-02-17Add `Clause::ConstArgHasType` variantBoxy-0/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 13:55:52 +0000