about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/effects.rs
AgeCommit message (Expand)AuthorLines
2025-07-08Remove `const_eval_select` hackOli Scherer-5/+2
2025-07-08Constify `Fn*` traitsOli Scherer-1/+53
2025-07-03Rollup merge of #134006 - klensy:typos, r=nnethercoteJana Dönszelmann-2/+2
2025-07-03setup CI and tidy to use typos for spellchecking and fix few typosklensy-2/+2
2025-06-30Assemble const bounds via normal item bounds in old solver tooMichael Goulet-1/+66
2025-06-26Change const trait bound syntax from ~const to [const]Oli Scherer-8/+8
2025-06-05Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of NoneOli Scherer-2/+2
2025-04-30Rollup merge of #140516 - rperier:type-ir-to-type-middle, r=lcnrMatthias Krüger-2/+2
2025-04-30Use less rustc_type_ir in the compiler codebaseRomain Perier-2/+2
2025-04-29Treat `ManuallyDrop` as `~const Destruct`Oli Scherer-0/+3
2025-04-02Auto merge of #139018 - oli-obk:incremental-trait-impls, r=compiler-errorsbors-1/+1
2025-04-02Fetch the destructor constness lazilyOli Scherer-1/+1
2025-03-31increment depth of nested obligationslcnr-8/+0
2025-02-24trait_sel: resolve vars in host effectsDavid Wood-0/+2
2025-01-08Implement const Destruct in old solverMichael Goulet-1/+105
2025-01-06Add derived causes for host effect predicatesMichael Goulet-3/+18
2024-12-22Fix item bounds in old solverMichael Goulet-28/+137
2024-12-12Move impl constness into impl trait headerOli Scherer-1/+3
2024-11-23no more Reveal :(lcnr-1/+1
2024-11-22Bail in effects in old solver if self ty is ty varMichael Goulet-0/+5
2024-10-30Merge HostPolarity and BoundConstnessMichael Goulet-2/+3
2024-10-29rebaselcnr-2/+3
2024-10-28Hack out effects support for old solverMichael Goulet-0/+152
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-10-25 20:15:14 +0000