summaryrefslogtreecommitdiff
path: root/compiler/rustc_trait_selection
Commit message (Expand)AuthorAgeFilesLines
* Rollup merge of #111533 - clubby789:drop-tracking-error, r=oli-obkMatthias Krüger2023-05-161-2/+1
|\
| * Handle error body when in generator layoutclubby7892023-05-131-2/+1
* | Use error term if missing associated item in new solverMichael Goulet2023-05-161-1/+15
* | Rollup merge of #111602 - tmiasko:erroneous-constant-used, r=oli-obkNilstrieb2023-05-163-4/+4
|\ \
| * | Suppress "erroneous constant used" for constants tainted by errorsTomasz Miąsko2023-05-153-4/+4
| |/
* | Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker2023-05-153-7/+9
|/
* Note base types of coercionMichael Goulet2023-05-124-51/+50
* Auto merge of #111029 - Nilstrieb:when-the-errs-are-too-big, r=petrochenkovbors2023-05-112-7/+19
|\
| * Rename `expected_trait_ref` to `self_ty_trait_ref`Nilstrieb2023-05-091-2/+2
| * Shrink `SelectionError` a lotNilstrieb2023-05-092-5/+17
* | Consolidate the 'match assumption' type methods in GoalKindMichael Goulet2023-05-093-140/+47
* | Make alias bounds sound in the new solverMichael Goulet2023-05-093-2/+162
* | Rollup merge of #111252 - matthewjasper:min-spec-improvements, r=compiler-errorsDylan DPC2023-05-094-22/+59
|\ \ | |/ |/|
| * Report nicer lifetime errors for specializationMatthew Jasper2023-05-054-7/+39
| * Normalize consistently for specializationsMatthew Jasper2023-05-051-17/+22
* | Rollup merge of #109410 - fmease:iat-alias-kind-inherent, r=compiler-errorsMichael Goulet2023-05-0813-52/+254
|\ \
| * | IAT: Proper WF computationLeón Orell Valerian Liehr2023-05-042-54/+99
| * | IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr2023-05-0413-23/+180
| |/
* | Auto merge of #111161 - compiler-errors:rtn-super, r=cjgillotbors2023-05-071-1/+1
|\ \
| * | Rename things to reflect that they're not item specificMichael Goulet2023-05-031-1/+1
* | | Rollup merge of #110577 - compiler-errors:drop-impl-fulfill, r=lcnrMatthias Krüger2023-05-061-1/+2
|\ \ \
| * | | Use fulfillment to check Drop impl compatibilityMichael Goulet2023-05-041-1/+2
| | |/ | |/|
* | | forbid escaping bound vars in combinelcnr2023-05-053-117/+38
|/ /
* | Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors2023-05-0417-72/+77
|\ \
| * | Don't return a `Binder` from `TraitRef::identity`Maybe Waffle2023-04-262-6/+7
| * | Add new `ToPredicate` impls and `TraitRef` methods to remove some `ty::Binber...Maybe Waffle2023-04-264-21/+11
| * | Switch `ty::TraitRef::from_lang_item` from using `TyCtxtAt` to `TyCtxt` and a...Maybe Waffle2023-04-265-11/+15
| * | Remove some more useless `ty::Binder::dummy` callsMaybe Waffle2023-04-262-7/+4
| * | Remove some useless `ty::Binder::dummy` callsMaybe Waffle2023-04-252-26/+8
| * | Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle2023-04-2516-60/+91
* | | Rollup merge of #110791 - compiler-errors:negative-bounds, r=oli-obkDylan DPC2023-05-043-0/+24
|\ \ \ | |_|/ |/| |
| * | Make negative trait bounds work with the old trait solverMichael Goulet2023-05-022-0/+20
| * | Implement negative boundsMichael Goulet2023-05-021-0/+4
* | | Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote2023-05-037-90/+88
|/ /
* | Rollup merge of #108161 - WaffleLapkin:const_param_ty, r=BoxyUwUDylan DPC2023-05-021-15/+86
|\ \
| * | Impl `StructuralEq` & `ConstParamTy` for `str`, `&T`, `[T; N]` and `[T]`Maybe Waffle2023-04-271-1/+8
| * | Check the correct trait when checking `ConstParamTy` implsMaybe Waffle2023-04-271-1/+1
| * | Add a `ConstParamTy` traitMaybe Waffle2023-04-271-15/+79
| |/
* | Rollup merge of #110823 - compiler-errors:tweak-await-span, r=b-naberMatthias Krüger2023-05-011-41/+54
|\ \
| * | Make async removal span more resilient to macro expansionsMichael Goulet2023-04-271-6/+8
| * | tweak removal spanMichael Goulet2023-04-271-1/+8
| * | Tweak await spanMichael Goulet2023-04-271-41/+45
* | | Rollup merge of #110614 - compiler-errors:new-solver-overflow-response, r=lcnrDylan DPC2023-04-293-20/+79
|\ \ \ | |/ / |/| |
| * | Split out make_ambiguous_response_no_constraintsMichael Goulet2023-04-262-30/+53
| * | Clear response values for overflow in new solverMichael Goulet2023-04-262-9/+45
* | | rename `needs_subst` to `has_param`Boxy2023-04-273-3/+3
* | | rename `needs_infer` to `has_infer`Boxy2023-04-276-17/+18
|/ /
* | Make some region folders a little stricter.Nicholas Nethercote2023-04-262-8/+9
* | Rollup merge of #110671 - compiler-errors:polarity, r=lcnrMatthias Krüger2023-04-251-3/+69
|\ \
| * | Consider polarity in new solverMichael Goulet2023-04-241-3/+69
View Lorry Controller Status