about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-7/+9
2023-05-15Suppress "erroneous constant used" for constants tainted by errorsTomasz Miąsko-4/+4
2023-05-13Handle error body when in generator layoutclubby789-2/+1
2023-05-12do not allow inference in `pred_known_to_hold_modulo_regions`Michael Goulet-21/+23
2023-05-12EvaluateToAmbig if evaluate_root_obligation does inferenceMichael Goulet-3/+10
2023-05-12Note base types of coercionMichael Goulet-51/+50
2023-05-11Auto merge of #111029 - Nilstrieb:when-the-errs-are-too-big, r=petrochenkovbors-7/+19
2023-05-09Consolidate the 'match assumption' type methods in GoalKindMichael Goulet-140/+47
2023-05-09Make alias bounds sound in the new solverMichael Goulet-2/+162
2023-05-09Rename `expected_trait_ref` to `self_ty_trait_ref`Nilstrieb-2/+2
2023-05-09Shrink `SelectionError` a lotNilstrieb-5/+17
2023-05-09Rollup merge of #111252 - matthewjasper:min-spec-improvements, r=compiler-errorsDylan DPC-22/+59
2023-05-08Rollup merge of #109410 - fmease:iat-alias-kind-inherent, r=compiler-errorsMichael Goulet-52/+254
2023-05-07Auto merge of #111161 - compiler-errors:rtn-super, r=cjgillotbors-1/+1
2023-05-06Rollup merge of #110577 - compiler-errors:drop-impl-fulfill, r=lcnrMatthias Krüger-1/+2
2023-05-05Report nicer lifetime errors for specializationMatthew Jasper-7/+39
2023-05-05Normalize consistently for specializationsMatthew Jasper-17/+22
2023-05-05forbid escaping bound vars in combinelcnr-117/+38
2023-05-04Use fulfillment to check Drop impl compatibilityMichael Goulet-1/+2
2023-05-04IAT: Proper WF computationLeón Orell Valerian Liehr-54/+99
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-23/+180
2023-05-04Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors-72/+77
2023-05-03Rename things to reflect that they're not item specificMichael Goulet-1/+1
2023-05-04Rollup merge of #110791 - compiler-errors:negative-bounds, r=oli-obkDylan DPC-0/+24
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-90/+88
2023-05-02Make negative trait bounds work with the old trait solverMichael Goulet-0/+20
2023-05-02Implement negative boundsMichael Goulet-0/+4
2023-05-02Rollup merge of #108161 - WaffleLapkin:const_param_ty, r=BoxyUwUDylan DPC-15/+86
2023-05-01Rollup merge of #110823 - compiler-errors:tweak-await-span, r=b-naberMatthias Krüger-41/+54
2023-04-29Rollup merge of #110614 - compiler-errors:new-solver-overflow-response, r=lcnrDylan DPC-20/+79
2023-04-27Make async removal span more resilient to macro expansionsMichael Goulet-6/+8
2023-04-27tweak removal spanMichael Goulet-1/+8
2023-04-27Tweak await spanMichael Goulet-41/+45
2023-04-27Impl `StructuralEq` & `ConstParamTy` for `str`, `&T`, `[T; N]` and `[T]`Maybe Waffle-1/+8
2023-04-27Check the correct trait when checking `ConstParamTy` implsMaybe Waffle-1/+1
2023-04-27Add a `ConstParamTy` traitMaybe Waffle-15/+79
2023-04-27rename `needs_subst` to `has_param`Boxy-3/+3
2023-04-27rename `needs_infer` to `has_infer`Boxy-17/+18
2023-04-26Split out make_ambiguous_response_no_constraintsMichael Goulet-30/+53
2023-04-26Clear response values for overflow in new solverMichael Goulet-9/+45
2023-04-26Don't return a `Binder` from `TraitRef::identity`Maybe Waffle-6/+7
2023-04-26Add new `ToPredicate` impls and `TraitRef` methods to remove some `ty::Binber...Maybe Waffle-21/+11
2023-04-26Switch `ty::TraitRef::from_lang_item` from using `TyCtxtAt` to `TyCtxt` and a...Maybe Waffle-11/+15
2023-04-26Remove some more useless `ty::Binder::dummy` callsMaybe Waffle-7/+4
2023-04-26Make some region folders a little stricter.Nicholas Nethercote-8/+9
2023-04-25Rollup merge of #110671 - compiler-errors:polarity, r=lcnrMatthias Krüger-3/+69
2023-04-25Rollup merge of #110556 - kylematsuda:earlybinder-explicit-item-bounds, r=com...Matthias Krüger-2/+2
2023-04-25Remove some useless `ty::Binder::dummy` callsMaybe Waffle-26/+8
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-60/+91
2023-04-25Rollup merge of #110563 - bryangarza:refactor-trait-selection-error-reporting...Matthias Krüger-438/+678