about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2023-02-16Auto merge of #108020 - nnethercote:opt-mk_region, r=compiler-errorsbors-7/+6
2023-02-16Replace some `then`s with some `then_some`sMaybe Waffle-4/+4
2023-02-16`if $c:expr { Some($r:expr) } else { None }` =>> `$c.then(|| $r)`Maybe Waffle-30/+16
2023-02-16Rollup merge of #108101 - matthiaskrgr:noclonecopy, r=compiler-errorsDylan DPC-1/+1
2023-02-16Be better about bound varsMichael Goulet-3/+10
2023-02-15don't clone types that are copyMatthias Krüger-1/+1
2023-02-15Rollup merge of #108047 - oli-obk:machine->🞋, r=RalfJungMatthias Krüger-1/+1
2023-02-15Rollup merge of #108010 - compiler-errors:can_eq-returns-bool, r=lcnrMatthias Krüger-10/+11
2023-02-15Copy `ty::AssocItem` all other the placeMaybe Waffle-12/+12
2023-02-15Use target instead of machine for mir interpreter integer handling.Oli Scherer-1/+1
2023-02-15Auto merge of #107940 - BoxyUwU:const_ty_assertion_use_semantic_equality, r=c...bors-2/+22
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-7/+6
2023-02-14Rollup merge of #108029 - oli-obk:🞋_usize, r=RalfJungMatthias Krüger-1/+1
2023-02-14Auto merge of #103695 - LYF1999:yf/103563, r=lcnrbors-1/+46
2023-02-14s/eval_usize/eval_target_usize/ for clarityOli Scherer-1/+1
2023-02-13Make can_eq and can_sub return booleansMichael Goulet-10/+11
2023-02-13fix: Unexpected trait bound not satisfied in HRTByifei-1/+46
2023-02-13Rename folder traits' `tcx` method to `interner`Alan Egerton-16/+16
2023-02-13Make folding traits generic over the InternerAlan Egerton-7/+7
2023-02-13Make visiting traits generic over the InternerAlan Egerton-7/+7
2023-02-13Workaround issue #107747Alan Egerton-1/+4
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-17/+16
2023-02-13Reduce direct `mk_ty` usage.Nicholas Nethercote-5/+5
2023-02-13Pre-intern some commonly used type variables.Nicholas Nethercote-1/+1
2023-02-12rename query and use `NoSolution`Boxy-4/+5
2023-02-11make `relate`'s const ty assertion use semantic equalityBoxy-2/+21
2023-02-11Auto merge of #107919 - Dylan-DPC:rollup-fkl9swa, r=Dylan-DPCbors-7/+35
2023-02-11Rollup merge of #105019 - chenyukang:yukang/fix-104961-borrow, r=cjgillotDylan DPC-7/+35
2023-02-10emit `AliasEq` when relating type and const aliasesBoxy-0/+15
2023-02-10add `AliasEq` to `PredicateKind`Boxy-0/+25
2023-02-10Rollup merge of #107831 - nnethercote:query-refactoring, r=oli-obkMatthias Krüger-4/+3
2023-02-09Fix subst issue with object_ty_for_traitMichael Goulet-5/+3
2023-02-09Avoid some `tls::with` calls.Nicholas Nethercote-4/+3
2023-02-09fix #104961, Add parentheses properly for borrowing suggestionyukang-7/+35
2023-02-08Rollup merge of #107780 - compiler-errors:instantiate-binder, r=lcnrMatthias Krüger-23/+23
2023-02-08Rollup merge of #107769 - compiler-errors:pointer-like, r=eholkMatthias Krüger-1/+1
2023-02-07Replacing bound vars is actually instantiating a binderMichael Goulet-23/+23
2023-02-07Rename PointerSized to PointerLikeMichael Goulet-1/+1
2023-02-07Rollup merge of #107555 - edward-shen:edward-shen/dup-trait-suggestion, r=com...Matthias Krüger-0/+2
2023-02-06Rollup merge of #106477 - Nathan-Fenner:nathanf/refined-error-span-trait-impl...Matthias Krüger-1/+3
2023-02-06Modify existing bounds if they existEdward Shen-0/+2
2023-02-03Autotrait bounds on dyn-safe trait methodsDavid Tolnay-10/+50
2023-02-01Improve pretty-printing of `HirIdValidator` errorsArpad Borsos-1/+1
2023-01-31Rollup merge of #107486 - compiler-errors:bound-ty-keep-name, r=oli-obkGuillaume Gomez-2/+2
2023-01-31Rollup merge of #107467 - WaffleLapkin:uneq, r=oli-obkGuillaume Gomez-14/+17
2023-01-31Auto merge of #106399 - estebank:type-err-span-label, r=nagisabors-3/+9
2023-01-31Rollup merge of #107479 - compiler-errors:probe-can-call-ocx, r=BoxyUwUYuki Okushi-1/+1
2023-01-30Track bound types like bound regionsMichael Goulet-2/+2
2023-01-30Tweak E0271 wordingEsteban Küber-2/+6
2023-01-30Modify primary span label for E0308Esteban Küber-1/+3