about summary refs log tree commit diff
path: root/compiler/rustc_traits/src/codegen.rs
AgeCommit message (Expand)AuthorLines
2025-09-09erase_regions to erase_and_anonymize_regionsBoxy-1/+1
2025-07-02Remove fast path from codegen_select, since Sized has no methodsMichael Goulet-9/+2
2025-06-25Remove some glob imports from the type systemMichael Goulet-2/+2
2025-06-03`FIXME(-Znext-solver)` triagelcnr-1/+0
2025-04-09re-use sized fast pathDavid Wood-2/+9
2025-03-12remove unnecessary variantlcnr-1/+1
2025-02-21don't leave assoc const unnormalized due to unconstrained paramsLukas Markeffsky-9/+7
2024-11-23Delay a bug when encountering an impl with unconstrained generics in codegen_...Michael Goulet-6/+15
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-4/+5
2024-10-29TypingMode :thinking:lcnr-2/+2
2024-09-03Add `warn(unreachable_pub)` to `rustc_traits`.Nicholas Nethercote-1/+1
2024-07-21Move all error reporting into rustc_trait_selectionMichael Goulet-1/+1
2024-07-09Split out overflow handling into its own moduleMichael Goulet-1/+1
2024-07-08Move trait selection error reporting to its own top-level moduleMichael Goulet-1/+1
2024-06-03Add cycle errors to ScrubbedTraitError to remove a couple more calls to new_w...Michael Goulet-4/+4
2024-06-03Move FulfillmentErrorCode to rustc_trait_selection tooMichael Goulet-2/+2
2024-06-03Opt-in diagnostics reporting to avoid doing extra work in the new solverMichael Goulet-1/+2
2024-05-02Use ObligationCtxt in favor of TraitEngine in many placesMichael Goulet-7/+6
2024-04-30Remove `extern crate tracing` from numerous crates.Nicholas Nethercote-0/+1
2024-04-29Remove `extern crate rustc_middle` from numerous crates.Nicholas Nethercote-0/+1
2024-03-07Merge `check_mod_impl_wf` and `check_mod_type_wf`Oli Scherer-1/+8
2024-01-12Remove redundant Code from FulfillmentErrorCode variantsMichael Goulet-1/+1
2023-07-06get rid of a bit more calls to poly_selectMichael Goulet-2/+2
2023-07-06Separate select calls that don't need a binderMichael Goulet-1/+1
2023-06-27Remove unnecessary DefineOpaqueTypes::Bubble from codegenMichael Goulet-13/+2
2023-06-06Make TraitEngine::new use the right solver, add compare modeMichael Goulet-1/+1
2023-05-25Move DefiningAnchorMichael Goulet-2/+2
2023-01-27Separate trait selection from ambiguity reporting.Camille GILLOT-1/+1
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-1/+1
2023-01-09Assert defining anchor is set in take_opaque_typesMichael Goulet-1/+1
2022-12-08Move codegen_select_candidate to a rustc_traitsMichael Goulet-0/+88