about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2023-06-20Merge attrs, better validationMichael Goulet-0/+8
2023-06-19Rollup merge of #112783 - compiler-errors:nlb-fnptr-reject-ice, r=fee1-deadMatthias Krüger-5/+3
2023-06-19s/Clause/ClauseKindMichael Goulet-122/+131
2023-06-19Don't ICE on bound var in reject_fn_ptr_implsMichael Goulet-5/+3
2023-06-18Continue folding in query normalizer on weak aliasesMichael Goulet-2/+6
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-17/+19
2023-06-17Move WF goal to clauseMichael Goulet-18/+25
2023-06-17Remove even more redundant builtin candidatesMichael Goulet-15/+27
2023-06-17Simplify even more candidatesMichael Goulet-27/+36
2023-06-17Simplify an ObjectData fieldMichael Goulet-4/+8
2023-06-17Simplify some impl source candidatesMichael Goulet-19/+15
2023-06-17Remove some ImplSource candidatesMichael Goulet-19/+16
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-13/+70
2023-06-16fix: inline `predicate_may_hold_fatal`bohan-14/+6
2023-06-15Auto merge of #104455 - the8472:dont-drain-on-drop, r=Amanieubors-4/+4
2023-06-14Rollup merge of #112605 - compiler-errors:negative-docs, r=spastorinoMatthias Krüger-83/+85
2023-06-14Auto merge of #112400 - WaffleLapkin:vtable_stats, r=compiler-errorsbors-3/+3
2023-06-14Auto merge of #110662 - bryangarza:safe-transmute-reference-types, r=compiler...bors-21/+109
2023-06-14s/drain_filter/extract_if/ for Vec, Btree{Map,Set} and LinkedListThe 8472-1/+1
2023-06-14remove drain-on-drop behavior from vec::DrainFilter and add #[must_use]The 8472-3/+3
2023-06-14Improve docs/clean up negative overlap functionsMichael Goulet-83/+85
2023-06-13Rollup merge of #111885 - compiler-errors:rust-call-abi-sized, r=eholkMatthias Krüger-1/+7
2023-06-12Safe Transmute: Refactor error handling and Answer typeBryan Garza-30/+46
2023-06-12Collect VTable stats & add `-Zprint-vtable-sizes`Maybe Waffle-3/+3
2023-06-07Rollup merge of #112122 - compiler-errors:next-coherence, r=lcnrDylan DPC-20/+39
2023-06-06Note why rust-call abi requires sized oblMichael Goulet-1/+7
2023-06-06Make TraitEngine::new use the right solver, add compare modeMichael Goulet-16/+32
2023-06-06Add -Ztrait-solver=next-coherenceMichael Goulet-0/+3
2023-06-06New trait solver is a property of inference contextMichael Goulet-6/+6
2023-06-06Rollup merge of #112325 - notriddle:notriddle/issue-111932, r=compiler-errorsMatthias Krüger-2/+2
2023-06-05diagnostics: do not suggest type name tweaks on type-inferred closure argsMichael Howell-2/+2
2023-06-05Rollup merge of #112318 - oli-obk:assoc_ty_sized_bound_for_object_safety, r=c...Matthias Krüger-51/+43
2023-06-05Rollup merge of #112303 - Nilstrieb:as-deref, r=compiler-errorsMatthias Krüger-2/+3
2023-06-05Resolve vars in result from scrape_region_constraintsMichael Goulet-3/+12
2023-06-05Merge method, type and const object safety checksOli Scherer-51/+43
2023-06-05Avoid going through queries if a value of type `AssocItem` is already availableOli Scherer-1/+1
2023-06-05Normalize in infcx instead of globally for `Option::as_deref` suggestionNilstrieb-1/+2
2023-06-05Properly compare types for `Option::as_deref` suggestionNilstrieb-1/+1
2023-06-03Rollup merge of #111659 - y21:suggest-as-deref, r=cjgillotMatthias Krüger-9/+95
2023-06-03do not use ty_adt_id from internal traity21-3/+2
2023-06-02No more TyCtxt::lazy_normalizationMichael Goulet-1/+3
2023-06-02Rollup merge of #112165 - fee1-dead-contrib:rn-defualtness, r=compiler-errorsMatthias Krüger-1/+1
2023-06-02Auto merge of #112198 - compiler-errors:rollup-o2xe4of, r=compiler-errorsbors-57/+133
2023-06-01Implement custom diagnostic for ConstParamTyMichael Goulet-1/+112
2023-06-01Impl ConstParamTy for tuples, make PartialStructuralEq a supertrait tooMichael Goulet-1/+2
2023-06-01remove search_for_adt_const_param_violationMichael Goulet-55/+19
2023-06-01Use translatable diagnostics in `rustc_const_eval`Deadbeef-1/+1
2023-06-01Rename `impl_defaultness` to `defaultness`Deadbeef-1/+1
2023-05-31Auto merge of #111076 - notriddle:notriddle/silence-private-dep-trait-impl-su...bors-0/+1
2023-05-31move hack to `normalize_param_env_or_error`Boxy-3/+57