about summary refs log tree commit diff
path: root/compiler/rustc_ty_utils/src
AgeCommit message (Expand)AuthorLines
2023-03-06Implement inferred_outlives_of for impl side RPITITs assoc typeSantiago Pastorino-0/+3
2023-03-06Implement explicit_predicates_of for impl side RPITITs assoc typeSantiago Pastorino-0/+6
2023-03-06Implement generics_of for impl side RPITITs assoc typeSantiago Pastorino-6/+34
2023-03-06Implement param_env for RPITITs assoc typeSantiago Pastorino-2/+15
2023-03-06Properly implement explicit_item_bounds for RPITITs trait assoc tySantiago Pastorino-3/+0
2023-03-06Add tcx::lower_impl_trait_in_trait_to_assoc_ty to avoid accessing through ses...Santiago Pastorino-2/+2
2023-03-05Auto merge of #108351 - petrochenkov:rmdit, r=cjgillotbors-2/+1
2023-03-02Feed queries on impl side for RPITITs when using lower_impl_trait_in_trait_to...Santiago Pastorino-5/+65
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-2/+1
2023-03-01Make associated_item_def_ids for traits use an unstable option to also return...Santiago Pastorino-5/+89
2023-03-01Fix typo in docsSantiago Pastorino-1/+1
2023-03-01Use DefIdMap instead of FxHashMap for impl_item_implementor_ids query.Michael Woerister-3/+2
2023-02-28Shift vars for default RPITIT methods correctlyMichael Goulet-1/+24
2023-02-24Rename many interner functions.Nicholas Nethercote-40/+37
2023-02-22Rename ty_error_with_guaranteed to ty_error, ty_error to ty_error_miscMichael Goulet-1/+1
2023-02-22Auto merge of #108340 - eggyal:remove_traversal_trait_aliases, r=oli-obkbors-7/+5
2023-02-22Remove type-traversal trait aliasesAlan Egerton-7/+5
2023-02-22errors: generate typed identifiers in each crateDavid Wood-1/+5
2023-02-21Rollup merge of #108141 - spastorino:add_rpitit_queries, r=compiler-errorsDylan DPC-2/+101
2023-02-19Document associated_item methodsSantiago Pastorino-0/+11
2023-02-19Make associated_items_for_impl_trait_in_trait handle impl traits on implsSantiago Pastorino-18/+60
2023-02-19Add associated_item_for_impl_trait_in_trait querySantiago Pastorino-6/+18
2023-02-19Add associated_items_for_impl_trait_in_trait querySantiago Pastorino-2/+36
2023-02-19Rollup merge of #108203 - compiler-errors:rpitit-fix-defaults-2, r=jackh726Guillaume Gomez-2/+59
2023-02-18Assume we can normalize trait default method RPITITs in param-env insteadMichael Goulet-2/+59
2023-02-18make first component of dyn* use pointer layout+type, and adjust DynStar commentRalf Jung-1/+1
2023-02-18Auto merge of #108112 - nnethercote:clarify-iterator-interners, r=oli-obk,com...bors-3/+3
2023-02-17Auto merge of #108075 - WaffleLapkin:de-arena-allocates-you-OwO, r=Nilstriebbors-1/+1
2023-02-17Use `IntoIterator` for `mk_fn_sig`.Nicholas Nethercote-1/+1
2023-02-17Remove the `InternIteratorElement` impl for `&'a T`.Nicholas Nethercote-2/+2
2023-02-17Replace `mk_foo` calls with `infer_foo` where possible.Nicholas Nethercote-1/+1
2023-02-17Auto merge of #107753 - kylematsuda:type-of, r=BoxyUwUbors-16/+24
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-19/+17
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-19/+29
2023-02-17Rollup merge of #108133 - kylematsuda:earlybinder-cleanups, r=compiler-errorsMatthias Krüger-3/+5
2023-02-16Auto merge of #108127 - matthiaskrgr:rollup-kpzfc6j, r=matthiaskrgrbors-5/+2
2023-02-16make issue33140_self_ty return Option<EarlyBinder<Ty>>Kyle Matsuda-3/+5
2023-02-16Auto merge of #108020 - nnethercote:opt-mk_region, r=compiler-errorsbors-3/+2
2023-02-16`if $c:expr { Some($r:expr) } else { None }` =>> `$c.then(|| $r)`Maybe Waffle-5/+2
2023-02-15Copy `ty::AssocItem` all other the placeMaybe Waffle-1/+1
2023-02-15Auto merge of #108006 - cjgillot:def-impl, r=oli-obkbors-1/+1
2023-02-15Rollup merge of #107163 - mikebenfield:parameters-pr, r=TaKO8KiDylan DPC-11/+11
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-3/+2
2023-02-14Add `of_trait` to DefKind::Impl.Camille GILLOT-1/+1
2023-02-14s/eval_usize/eval_target_usize/ for clarityOli Scherer-1/+2
2023-02-13layout: deal with placeholders, ICE on bound typeslcnr-5/+2
2023-02-07Auto merge of #106180 - RalfJung:dereferenceable-generators, r=nbdd0121bors-19/+20
2023-02-07Auto merge of #107693 - petrochenkov:metable, r=oli-obkbors-3/+6
2023-02-06also do not add noalias on not-Unpin BoxRalf Jung-5/+4
2023-02-06make &mut !Unpin not dereferenceableRalf Jung-6/+9