about summary refs log tree commit diff
path: root/compiler/rustc_ty_utils/src/implied_bounds.rs
AgeCommit message (Expand)AuthorLines
2025-09-12Introduce trait_item_ofCameron Steffen-1/+1
2025-08-11Propagate TraitImplHeader to hirCameron Steffen-3/+5
2025-04-09Auto merge of #139552 - matthiaskrgr:rollup-b194mk8, r=matthiaskrgrbors-12/+19
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-1/+1
2025-04-07Restrict some queries by def-kind moreMichael Goulet-12/+19
2025-03-15Squash fold into tyMichael Goulet-2/+1
2025-03-12Move methods from `Map` to `TyCtxt`, part 4.Nicholas Nethercote-1/+1
2025-02-22Greatly simplify lifetime captures in edition 2024Michael Goulet-2/+2
2025-02-08Rustfmtbjorn3-4/+4
2024-11-28uplift fold_regions to rustc_type_irlcnr-1/+3
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-4/+4
2024-08-26Stop using a special inner body for the coroutine by-move body for async clos...Michael Goulet-1/+2
2024-07-29Reformat `use` declarations.Nicholas Nethercote-1/+2
2024-05-24Remove `DefId` from `EarlyParamRegion` (tedium/diagnostics)Boxy-5/+1
2024-05-13Remove `extern crate rustc_middle` from `rustc_ty_utils`.Nicholas Nethercote-0/+1
2024-05-09Rename Generics::params to Generics::own_paramsMichael Goulet-1/+2
2024-03-12Change `DefKind::Static` to a struct variantOli Scherer-1/+1
2024-03-08Rename some functions to represent their generalized behaviorMichael Goulet-1/+1
2024-02-27wf-check RPITslcnr-12/+1
2023-12-12Move some methods from `tcx.hir()` to `tcx`zetanumbers-1/+1
2023-11-26merge `DefKind::Coroutine` into `DefKind::Closure`bohan-2/+1
2023-11-20Reduce exposure of some items.Nicholas Nethercote-1/+1
2023-11-14finish `RegionKind` renamelcnr-9/+9
2023-10-20s/Generator/Coroutine/Oli Scherer-1/+1
2023-10-13Format all the let chains in compilerMichael Goulet-63/+66
2023-09-26Don't store lazyness in DefKindMichael Goulet-2/+2
2023-08-08Auto merge of #114602 - compiler-errors:rpit-outlives-sadness, r=oli-obkbors-22/+13
2023-08-08Install bidirectional outlives predicates for RPITITs (and RPITs) correctlyMichael Goulet-22/+13
2023-08-08Unconditionally record lifetime mappingMichael Goulet-1/+1
2023-08-07Store the laziness of type aliases in the DefKindLeón Orell Valerian Liehr-2/+2
2023-07-29some nits, bless testMichael Goulet-5/+27
2023-07-29Implement assumed_wf_types for RPITITs' implementationsMichael Goulet-33/+58
2023-07-29Take RPITITs inherit the assumed_wf_types of their parent fnMichael Goulet-0/+37
2023-07-23fix some clippy::style findingsMatthias Krüger-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-4/+4
2023-07-08Replace RPITIT current impl with new strategy that lowers as a GATSantiago Pastorino-1/+0
2023-07-03use `deeply_normalize` for `assumed_wf_types`lcnr-20/+56
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-2/+3
2023-05-07use implied bounds when checking opaque typesAli MJ Al-Nasrawy-1/+12
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-1/+0
2023-02-24Rename many interner functions.Nicholas Nethercote-3/+3
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 `of_trait` to DefKind::Impl.Camille GILLOT-1/+1
2023-01-26fix up subst_identity vs skip_binder; add some FIXMEs as identified in reviewKyle Matsuda-2/+2
2023-01-26change fn_sig query to use EarlyBinder; remove bound_fn_sig query; add EarlyB...Kyle Matsuda-2/+2
2023-01-26replace usages of fn_sig query with bound_fn_sigKyle Matsuda-2/+2
2023-01-14fix various subst_identity vs skip_binderKyle Matsuda-2/+2
2023-01-14change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_re...Kyle Matsuda-1/+1
2023-01-14change usages of impl_trait_ref to bound_impl_trait_refKyle Matsuda-7/+9
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-10-27 10:42:40 +0000