about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/trait_def.rs
AgeCommit message (Expand)AuthorLines
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
2022-02-14fast_reject: remove `StripReferences`lcnr-8/+4
2022-02-03compiler: clippy::complexity fixesMatthias Krüger-1/+1
2022-02-01implement lint for suspicious auto trait implslcnr-0/+17
2022-01-09Apply suggestions from code reviewWaffle Maybe-1/+1
2022-01-09Implement `#[rustc_must_implement_one_of]` attributeMaybe Waffle-1/+7
2022-01-06rustc_middle: Add a method for getting a `SimplifiedType` definition/IDVadim Petrochenkov-2/+2
2021-12-14add some commentslcnr-24/+11
2021-12-14extend `simplify_type`lcnr-3/+7
2021-09-21use indexmap instead of hashmaplcnr-13/+3
2021-07-01Rename all_crate_nums query to crates and remove useless wrapperbjorn3-1/+1
2021-05-12Use () for HIR queries.Camille GILLOT-10/+1
2021-04-16Implement #[rustc_skip_array_during_method_dispatch]Josh Stone-0/+7
2021-03-30Only look at blanket impls in `get_blanket_impls`Joshua Nelson-0/+6
2021-02-15Trait impls are Items, therefore HIR owners.Camille GILLOT-5/+4
2021-01-16Enforce that query results implement DebugAaron Hill-1/+1
2020-10-09Reimplement for_each_relevant_impl on top of find_map...Dániel Buga-30/+17
2020-10-09Add find_map_relevant_implDániel Buga-0/+35
2020-09-06Fix documentation for TyCtxt::all_implsSasha-1/+1
2020-08-30mv compiler to compiler/mark-0/+234