summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2023-03-11Retry pred_known_to_hold_modulo_regions with fulfillment if ambiguousMichael Goulet-3/+5
2023-03-11fix: evaluate with wrong obligation stackyifei-2/+2
2023-03-03Auto merge of #108709 - matthiaskrgr:rollup-j2tjbyx, r=matthiaskrgrbors-24/+32
2023-03-03Rollup merge of #108681 - nnethercote:needs_process_obligation-comments, r=lqdMatthias Krüger-24/+32
2023-03-03Match unmatched backticks in comments in compiler/est31-2/+2
2023-03-03Match unmatched backticks in compiler/ that are part of rustdocest31-2/+2
2023-03-03Improve comments in `needs_process_obligation`.Nicholas Nethercote-24/+32
2023-02-28Descriptive error when users try to combine RPITIT/AFIT with specializationMichael Goulet-20/+4
2023-02-27Rollup merge of #108319 - compiler-errors:dont-project-to-specializable-rpiti...Matthias Krüger-5/+22
2023-02-25Special note for str in auto traitsMichael Goulet-0/+1
2023-02-25Treat `str` as containing `[u8]` for auto trait purposesMichael Goulet-1/+3
2023-02-24Rename many interner functions.Nicholas Nethercote-23/+24
2023-02-23Auto merge of #108369 - compiler-errors:ty-error-more, r=BoxyUwUbors-17/+19
2023-02-23Rollup merge of #108350 - compiler-errors:assoc-type-bound-dogfooding, r=oli-obkMatthias Krüger-2/+2
2023-02-23Don't project specializable RPITIT projectionMichael Goulet-5/+22
2023-02-23Auto merge of #108324 - notriddle:notriddle/assoc-fn-method, r=compiler-error...bors-2/+5
2023-02-22Rename ty_error_with_guaranteed to ty_error, ty_error to ty_error_miscMichael Goulet-12/+9
2023-02-22Use ty_error_with_guaranteed in many more placesMichael Goulet-11/+16
2023-02-22Remove type-traversal trait aliasesAlan Egerton-64/+70
2023-02-22diagnostics: if AssocFn has self argument, describe as methodMichael Howell-2/+5
2023-02-21Rollup merge of #108295 - compiler-errors:wtf-is-this, r=cjgillotMatthias Krüger-1/+7
2023-02-21Make hidden type registration opt-in, so that each site can be reviewed on it...Oli Scherer-9/+13
2023-02-21Specify what 'this' actually isMichael Goulet-1/+7
2023-02-21Associated type bounds in some places in the compilerMichael Goulet-2/+2
2023-02-19Auto merge of #108128 - clubby789:builtin-derived-attr, r=jackh726bors-1/+1
2023-02-19Rollup merge of #108203 - compiler-errors:rpitit-fix-defaults-2, r=jackh726Guillaume Gomez-33/+3
2023-02-18Don't ICE on bound types in sized conditionsMichael Goulet-4/+5
2023-02-18Remove default trait RPITIT candidatesMichael Goulet-33/+3
2023-02-18Auto merge of #108112 - nnethercote:clarify-iterator-interners, r=oli-obk,com...bors-6/+4
2023-02-17Auto merge of #108075 - WaffleLapkin:de-arena-allocates-you-OwO, r=Nilstriebbors-12/+12
2023-02-17Avoid double-interning some `BoundVariableKind`s.Nicholas Nethercote-2/+0
2023-02-17Replace more `mk_foo` calls with `infer_foo`.Nicholas Nethercote-2/+2
2023-02-17Use `IntoIterator` for `mk_fn_sig`.Nicholas Nethercote-2/+2
2023-02-17Replace `mk_foo` calls with `infer_foo` where possible.Nicholas Nethercote-1/+1
2023-02-17add predicate evaluation logicBoxy-7/+25
2023-02-17Add `Clause::ConstArgHasType` variantBoxy-0/+23
2023-02-17Auto merge of #107753 - kylematsuda:type-of, r=BoxyUwUbors-15/+32
2023-02-16changes from reviewKyle Matsuda-1/+3
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-15/+15
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-9/+24
2023-02-17Rollup merge of #108136 - eggyal:unmet_trait_alias_bound_on_generic_impl, r=c...Matthias Krüger-3/+3
2023-02-17Rollup merge of #107489 - compiler-errors:non_lifetime_binders, r=cjgillotMatthias Krüger-3/+10
2023-02-16Clarify `DerivedObligationCause` may hold alias idAlan Egerton-3/+3
2023-02-16Properly check for builtin derivesclubby789-1/+1
2023-02-16Auto merge of #108127 - matthiaskrgr:rollup-kpzfc6j, r=matthiaskrgrbors-30/+16
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