about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2024-08-06diagnostics: `Box<dyn Trait>` suggestion with multiple matching implMichael Howell-15/+9
2024-08-06fix rebaseEsteban Küber-2/+3
2024-08-06Add `help` about using `cargo tree`Esteban Küber-0/+1
2024-08-06On trait bound mismatch, detect multiple crate versions in dep treeEsteban Küber-39/+124
2024-08-06Cache supertrait outlives of impl header for soundness checkMichael Goulet-26/+16
2024-08-05Auto merge of #128689 - matthiaskrgr:rollup-ukyn8wq, r=matthiaskrgrbors-1/+1
2024-08-05Don't re-elaborated already elaborated caller bounds in method probeMichael Goulet-1/+1
2024-08-05Elaborate supertraits in dyn candidatesMichael Goulet-0/+1
2024-08-05Enforce supertrait outlives obligations hold when confirming implMichael Goulet-2/+32
2024-08-02More information for fully-qualified suggestion when there are multiple implsEsteban Küber-21/+49
2024-07-31Rollup merge of #128438 - Bryanskiy:empty-array-dropck, r=lcnrMatthias Krüger-2/+9
2024-07-31Add special-case for [T, 0] in dropckBryanskiy-2/+9
2024-07-30Auto merge of #128083 - Mark-Simulacrum:bump-bootstrap, r=albertlarsan68bors-4/+1
2024-07-29only accept adt type during infer source visitorbohan-4/+4
2024-07-29Reformat `use` declarations.Nicholas Nethercote-452/+412
2024-07-28step cfg(bootstrap)Mark Rousskov-4/+1
2024-07-26Rollup merge of #128201 - compiler-errors:closure-clone, r=oli-obkTrevor Gross-2/+15
2024-07-26Auto merge of #121676 - Bryanskiy:polarity, r=petrochenkovbors-5/+5
2024-07-26Make coroutine-closures possible to be clonedMichael Goulet-2/+15
2024-07-26Rollup merge of #126090 - compiler-errors:supertrait-assoc-ty-unsoundness, r=...Matthias Krüger-114/+194
2024-07-25Support ?Trait bounds in supertraits and dyn Trait under a feature gateBryanskiy-5/+5
2024-07-25Rollup merge of #128160 - compiler-errors:auto, r=jackh726Matthias Krüger-0/+6
2024-07-24Don't ICE when auto trait has assoc ty in old solverMichael Goulet-0/+6
2024-07-24Do not assemble candidates for auto traits of opaque types in their defining ...Oli Scherer-1/+6
2024-07-24Do not try to reveal hidden types when trying to prove Freeze in the defining...Oli Scherer-7/+11
2024-07-24Don't use global caches if opaques can be definedOli Scherer-1/+7
2024-07-23Rollup merge of #128076 - compiler-errors:infer_ctxt_ext, r=lcnrMatthias Krüger-248/+233
2024-07-23Suggest adding Result return type for associated method in E0277.surechen-5/+36
2024-07-22Get rid of infer_ctxt_extMichael Goulet-248/+233
2024-07-22Get rid of can_eq_shallowMichael Goulet-2/+3
2024-07-21Fix toolsMichael Goulet-1/+1
2024-07-21Move all error reporting into rustc_trait_selectionMichael Goulet-105/+12060
2024-07-21Move need_type_info tooMichael Goulet-1/+1
2024-07-21Auto merge of #127722 - BoxyUwU:new_adt_const_params_limitations, r=compiler-...bors-24/+87
2024-07-20Rollup merge of #127987 - estebank:impl-trait-sugg, r=cjgillotMatthias Krüger-14/+34
2024-07-19More accurate suggestion for `-> Box<dyn Trait>` or `-> impl Trait`Esteban Küber-14/+34
2024-07-19Rollup merge of #127856 - RalfJung:interpret-cast-sanity, r=oli-obkMatthias Krüger-8/+12
2024-07-19Auto merge of #125915 - camelid:const-arg-refactor, r=BoxyUwUbors-2/+14
2024-07-18Remove tag field from relationsMichael Goulet-8/+4
2024-07-18const_to_pat: cleanup leftovers from when we had to deal with non-structural ...Ralf Jung-175/+0
2024-07-18valtree construction: keep track of which type was valtree-incompatibleRalf Jung-4/+4
2024-07-18interpret: add sanity check in dyn upcast to double-check what codegen doesRalf Jung-8/+12
2024-07-17Fix relationsMichael Goulet-2/+2
2024-07-17Split part of `adt_const_params` into `unsized_const_params`Boxy-33/+23
2024-07-17Forbid `!Sized` types and referencesBoxy-22/+95
2024-07-16Add `ConstArgKind::Path` and make `ConstArg` its own HIR nodeNoah Lev-2/+14
2024-07-16Rollup merge of #127501 - compiler-errors:invert-infer-error-mod-struture, r=...Trevor Gross-7/+8
2024-07-16Fix the issue of invalid suggestion for a reference of iteratoryukang-1/+3
2024-07-15Move rustc_infer::infer::error_reporting to rustc_infer::error_reporting::inferMichael Goulet-7/+8
2024-07-15Make sure trait def ids match before zipping args in note_function_argument_o...Michael Goulet-0/+1