about summary refs log tree commit diff
path: root/compiler/rustc_ty_utils/src/implied_bounds.rs
AgeCommit message (Expand)AuthorLines
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
2022-12-20rustc: Remove needless lifetimesJeremy Stucki-1/+1
2022-09-09RPITIT placeholder itemsMichael Goulet-0/+1
2022-08-17implied_bounds: clarify our assumptionslcnr-0/+60