about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/auto_trait.rs
AgeCommit message (Expand)AuthorLines
2025-07-31Overhaul `Constraint`.Nicholas Nethercote-20/+24
2025-07-15Implement other logicstiif-0/+1
2025-05-26RenameMichael Goulet-3/+3
2025-05-26Avoid obligation construction dance with query region constraintsMichael Goulet-3/+5
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-1/+1
2025-01-28Move outlives env computation into methodsMichael Goulet-1/+3
2024-12-26nit: Remove redundant functionMichael Goulet-2/+1
2024-11-23no more Reveal :(lcnr-2/+0
2024-11-19rustdoc: yeet `TypingEnv::from_param_env`lcnr-9/+4
2024-11-12Consolidate type system const evaluation under `traits::evaluate_const`Boxy-16/+12
2024-10-29TypingMode :thinking:lcnr-2/+3
2024-10-24Implement const effect predicate in new solverMichael Goulet-1/+2
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-1/+1
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-08-21Simplify some redundant field namesMichael Goulet-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-7/+6
2024-07-18valtree construction: keep track of which type was valtree-incompatibleRalf Jung-2/+2
2024-06-05Add `Ty` to `ConstKind::Value`Boxy-2/+1
2024-06-05Basic removal of `Ty` from places (boring)Boxy-1/+2
2024-06-03Align Term methods with GenericArg methodsMichael Goulet-1/+1
2024-05-16Rename ToPredicate for UpcastMichael Goulet-1/+1
2024-05-13split out AliasTy -> AliasTermMichael Goulet-6/+6
2024-04-23Rollup merge of #124168 - oli-obk:define_opaque_types12, r=lcnrMatthias Krüger-1/+1
2024-04-22Use `DefiningOpaqueTypes::Yes`, as the `InferCtxt` we use has no opaque types...Oli Scherer-1/+1
2024-04-20merge two impl blocksLukas Markeffsky-2/+0
2024-04-20remove `InferCtxt::clear_caches`Lukas Markeffsky-3/+0
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-10-26 16:51:07 +0000