about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/trait_def.rs
AgeCommit message (Expand)AuthorLines
2025-08-04Check for rustc_has_incoherent_inherent_impls in incoherent_impls query.Camille GILLOT-0/+7
2025-07-17parse `const trait Trait`Deadbeef-1/+1
2025-04-02Remove a function that has no necessary callersOli Scherer-15/+0
2025-04-02Remove a `hir_*` helper that was just forwarding to a queryOli Scherer-1/+1
2025-02-22Greatly simplify lifetime captures in edition 2024Michael Goulet-2/+2
2025-02-18Move methods from `Map` to `TyCtxt`, part 2.Nicholas Nethercote-1/+1
2025-02-17Move some `Map` methods onto `TyCtxt`.Nicholas Nethercote-2/+2
2024-12-20split up `#[rustc_deny_explicit_impl]` attributeLukas Markeffsky-2/+2
2024-09-24Separate collection of crate-local inherent impls from error reportingMichael Goulet-17/+3
2024-09-02Use `DeepRejectCtxt` to quickly reject `ParamEnv` candidatesBryanskiy-5/+7
2024-07-29Reformat `use` declarations.Nicholas Nethercote-3/+2
2024-07-18Move query providersMichael Goulet-6/+33
2024-07-09Auto merge of #127200 - fee1-dead-contrib:trait_def_const_trait, r=compiler-e...bors-0/+3
2024-07-07Add fundamental to trait defMichael Goulet-1/+6
2024-07-03Add `constness` to `TraitDef`Deadbeef-0/+3
2024-06-06Revert "Rollup merge of #124976 - petrochenkov:usedcrates, r=oli-obk"Rémy Rakic-2/+2
2024-05-23Auto merge of #125434 - nnethercote:rm-more-extern-tracing, r=jackh726bors-0/+1
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_middle`.Nicholas Nethercote-0/+1
2024-05-22rustc: Use `tcx.used_crates(())` moreVadim Petrochenkov-2/+2
2024-05-20Implement BOXED_SLICE_INTO_ITERMichael Goulet-1/+6
2024-05-17Rename Unsafe to SafetySantiago Pastorino-1/+1
2024-04-29Remove `extern crate rustc_macros` from `rustc_middle`.Nicholas Nethercote-1/+1
2024-04-25Remove special-casing for SimplifiedType for next solverMichael Goulet-23/+4
2024-01-17Make crate_inherent_impls fallible and stop using `track_errors` for itOli Scherer-3/+15
2024-01-11Register even erroneous implsOli Scherer-4/+0
2023-09-10Point out if a local trait has no implementationsMichael Goulet-0/+4
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-1/+1
2023-06-20Merge attrs, better validationMichael Goulet-4/+6
2023-06-20Make rustc_deny_explicit_impl only local as wellMichael Goulet-0/+3
2023-06-20Add rustc_do_not_implement_via_objectMichael Goulet-0/+5
2023-04-19Remove find_map_relevant_implMichael Goulet-44/+18
2023-03-23Don't split up TreatProjections and TreatParams anymoreMichael Goulet-15/+11
2023-03-13Better names?Michael Goulet-6/+6
2023-03-13Treat projections with infer as placeholder during fast reject in new solverMichael Goulet-17/+41
2023-03-05Improve documentation and argument naming of some TyCtxt methodsGuillaume Gomez-13/+20
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-1/+1
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-1/+1
2023-02-14add a `#[rustc_coinductive]` attributelcnr-22/+9
2022-11-27Prefer doc comments over `//`-comments in compilerMaybe Waffle-2/+2
2022-09-01tracing::instrument cleanupOli Scherer-1/+0
2022-07-19Add E0790 as more specific variant of E0283aticu-0/+4
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+1
2022-05-18fix `simplify_type`lcnr-5/+5
2022-03-31Create trait_def table.Camille GILLOT-11/+2
2022-03-30rework implementation for inherent impls for builtin typeslcnr-0/+18
2022-03-03Rollup merge of #94057 - lcnr:simplify_type-uwu, r=nikomatsakisMatthias Krüger-6/+6
2022-03-02rename ErrorReported -> ErrorGuaranteedmark-2/+2
2022-02-21update docs for `simplify_type`lcnr-6/+6
2022-02-18Rollup merge of #93634 - matthiaskrgr:clippy_complexity_jan_2022, r=oli-obkMatthias Krüger-1/+1